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 |
Navegando Biblioteca Especializada FCNM estanterías, Ubicación en estantería: Tercer Piso Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 510P/T69 Fluxos de Matrizes | 511.3F/H11 (S.C) Immersions tendues de surfaces dans E3 | 511.3I/C76 Introduction to Elementary Functions | 511.3I/K65 Mathematical Logic and the Foundations of Mathematics | 511.3I/L54 Symbolic Logic | 511.3I/Z19 Elementary Mathematics | 511.3P/D35 Métodos numéricos para escoamentos em alta velocidade |
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.