Mathematical Logic and the Foundations of Mathematics
Detalles de publicación: New York : D. Van Nostrand Company Limited London, 1963Edición: 1raDescripción: 435 páginasISBN:- fcnm1403
- 511.3I/K65
Contenidos:
1.Traditional Logic. 2.Symbolic Logic I- The propositional calculus. 3.Symbolic logic II- The restricted calculus of predicates. 4.Further development of symboli logic. 5.The critical moment in mathematics in the nineteenth century. 6.The logistic identification of mathematics with logic. 7.Formalized mathematics and metamathematics. 8.Gödel theorems on the inherent limitations of formal systems. 9.Intuitionism. 10.Recursive arithmetic. 11.The axiomatic theory of sets. 12.The epistemological status of mathematics. 13.The application of mathematics to the natural world. 14.Logic and the activity of thinking.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|
| Libro | Biblioteca Especializada FCNM Tercer Piso | 511.3I/K65 (Navegar estantería(Abre debajo)) | Disponible | Externo | FCNM2379 |
1.Traditional Logic. 2.Symbolic Logic I- The propositional calculus. 3.Symbolic logic II- The restricted calculus of predicates. 4.Further development of symboli logic. 5.The critical moment in mathematics in the nineteenth century. 6.The logistic identification of mathematics with logic. 7.Formalized mathematics and metamathematics. 8.Gödel theorems on the inherent limitations of formal systems. 9.Intuitionism. 10.Recursive arithmetic. 11.The axiomatic theory of sets. 12.The epistemological status of mathematics. 13.The application of mathematics to the natural world. 14.Logic and the activity of thinking.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.