Two applications of logic to mathematics
Auteur :
Takeuti, Gaisi
Éditeur :
Princeton University Press
ISBN :
9780691638379
Date de publication :
19 avr. 2016
Dimensions :
23,5 x 15,2 cm
Poids :
369 g
Format :
B315
Langue :
Anglais
Pays d'origine :
USA
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to