A theory of variable types
Several publications in recent years have presented various formal theories T in which considerable portions of mathematical practice (particularly analysis) can be more or less directly formalized and which are proof-theoretically weak; cf. Feferman 1977, Takeuti 1978 and Friedman 1980.
- Autores:
-
Feferman, Solomon
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1985
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/48761
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/48761
http://bdigital.unal.edu.co/42218/
- Palabra clave:
- various formal theories
mathematical practice
particularly analysis
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | Several publications in recent years have presented various formal theories T in which considerable portions of mathematical practice (particularly analysis) can be more or less directly formalized and which are proof-theoretically weak; cf. Feferman 1977, Takeuti 1978 and Friedman 1980. |
|---|