Two applications of logic to mathematics
Auteur :
Takeuti, Gaisi
Éditeur :
Princeton University Press
ISBN :
9780691610221
Date de publication :
8 mars 2015
Dimensions :
23,5 x 15,2 cm
Poids :
198 g
Format :
Trade paperback (US)
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