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.
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
Cambridge University Press
2018
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2312886 |
Sumario: | Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice. |
---|