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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Baldwin, John T. (Author)
Format: Electronic eBook
Language:Inglés
Published: New York, NY : Cambridge University Press, 2018.
Subjects:
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
Online Access:Texto completo
Table of Contents:
  • 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.

Similar Items