Knihu momentálně nemáme skladem
Více o knize
The book explores the application of mathematical logic through two distinct approaches: set theory and proof theory. In the first part, Gaisi Takeuti utilizes Scott-Solovay's Boolean-valued models to enhance analysis with complete Boolean algebras of projections. The second part focuses on classical and complex analysis within Peano's arithmetic, demonstrating that any theorem from analytic number theory can also be derived in Peano's framework, employing Gentzen's cut elimination theorem to strengthen the connections between these mathematical disciplines.
Nákup knihy
Two Applications of Logic to Mathematics, Gaisi Takeuti
- Jazyk
- Rok vydání
- 2015
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Two Applications of Logic to Mathematics
- Jazyk
- anglicky
- Autoři
- Gaisi Takeuti
- Vydavatel
- Princeton University Press
- Rok vydání
- 2015
- Vazba
- měkká
- Počet stran
- 148
- ISBN13
- 9780691610221
- Kategorie
- Matematika
- Anotace
- The book explores the application of mathematical logic through two distinct approaches: set theory and proof theory. In the first part, Gaisi Takeuti utilizes Scott-Solovay's Boolean-valued models to enhance analysis with complete Boolean algebras of projections. The second part focuses on classical and complex analysis within Peano's arithmetic, demonstrating that any theorem from analytic number theory can also be derived in Peano's framework, employing Gentzen's cut elimination theorem to strengthen the connections between these mathematical disciplines.