Model theory and the philosophy of mathematical practice : formalization without foundationalism /

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues f...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Baldwin, John T. (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Cambridge University Press, 2018.
Temas:
Model theory.
Logic, Symbolic and mathematical.
Théorie des modèles.
Logique symbolique et mathématique.
MATHEMATICS > General.
Teoría de modelos
Lógica matemática
Logic, Symbolic and mathematical
Model theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Formalization
  • The context of formalization
  • Categoricity
  • What was model theory about?
  • What is contemporary model theory about?
  • Isolating tame mathematics
  • Infinitary logic
  • Model theory and set theory
  • Axiomatization of geometry
  • Pi, area and circumference of circles
  • Complete: the word for all seasons
  • Formalization and purity in geometry
  • On the nature of definition: model theory
  • Formalism-freeness (mathematical properties)
  • Summation.

Ejemplares similares