Model Theory and the Philosophy of Mathematical Practice
-10%
portes grátis
Model Theory and the Philosophy of Mathematical Practice
Formalization without Foundationalism
Baldwin, John T.
Cambridge University Press
01/2018
362
Dura
Inglês
9781107189218
15 a 20 dias
780
Descrição não disponível.
Part I. Refining the Notion of Categoricity: 1. Formalization; 2. The context of formalization; 3. Categoricity; Part II. The Paradigm Shift: 4. What was model theory about?; 5. What is contemporary model theory about?; 6. Isolating tame mathematics; 7. Infinitary logic; 8. Model theory and set theory; Part III. Geometry: 9. Axiomatization of geometry; 10. ?, area, and circumference of circles; 11. Complete: the word for all seasons; Part IV. Methodology: 12. Formalization and purity in geometry; 13. On the nature of definition: model theory; 14. Formalism-freeness; 15. Summation.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Part I. Refining the Notion of Categoricity: 1. Formalization; 2. The context of formalization; 3. Categoricity; Part II. The Paradigm Shift: 4. What was model theory about?; 5. What is contemporary model theory about?; 6. Isolating tame mathematics; 7. Infinitary logic; 8. Model theory and set theory; Part III. Geometry: 9. Axiomatization of geometry; 10. ?, area, and circumference of circles; 11. Complete: the word for all seasons; Part IV. Methodology: 12. Formalization and purity in geometry; 13. On the nature of definition: model theory; 14. Formalism-freeness; 15. Summation.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
