Model theory and the philosophy of mathematical practice: formalization without foundationalism
Auteur :
Baldwin, John T.
Éditeur :
Cambridge University Press
ISBN :
9781107189218
Date de publication :
25 janv. 2018
Dimensions :
25,4 x 17,8 x 2,3 cm
Poids :
780 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Surveys the history of modern model theory, emphasizing the significance, both for philosophy and for mathematical practice, of its mid-twentieth century transformation. Rich in both context and technical detail, this book will appeal to those working on the history and philosophy of mathematics.