Cargando…

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

Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice.

Detalles Bibliográficos
Autor principal: Baldwin, John T
Lenguaje:eng
Publicado: Cambridge University Press 2018
Materias:
Acceso en línea:http://cds.cern.ch/record/2312886
Descripción
Sumario:Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice.