John T. Baldwin

Model Theory and the Philosophy of Mathematical Practice

• Gebundenes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 366
• Erscheinungstermin: 22. März 2019
• Englisch
• Abmessung: 250mm x 175mm x 24mm
• Gewicht: 810g
• ISBN-13: 9781107189218
• ISBN-10: 1107189217
• Artikelnr.: 48915977

Autorenporträt

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.