What is a mathematical theory?
Since Hilbert' s and Skolem's work in foundations of mathematics we got used to mathematizing the concept of a theory as a theory formalized in first order logic.
- Autores:
-
Mycielski, Jan
- 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/48783
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/48783
http://bdigital.unal.edu.co/42240/
- Palabra clave:
- Hilbert' s
Skolem's
foundations of mathematics
theory
logic
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional