Two Applications of Logic to Mathematics

by Gaisi Takeuti

Book Overview

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 analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical...

• Format: Paperback
• Language: English
• ISBN: 0691610223
• ISBN13: 9780691610221
• Release Date: March 2015
• Publisher: Princeton University Press
• Length: 148 Pages
• Weight: 0.48 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"