Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
John T. Baldwin is Professor Emeritus in the Department of Mathematics, Statistics and Computer Science at the University of Illinois, Chicago. He has published widely on mathematics and philosophy, and he is the author of books including Fundamentals of Stability Theory (1988) and Categoricity (2009).
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG i.I. Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
