eBay |
Two Applications of Logic to Mathematics by Gaisi Takeuti (Paperback, 2015)
Be the first to write a review.
OUR TOP PICK
$43.54
+ $10.00 postageQuantity
2 available
Condition
Brand new
Sold by
roxy*books (283785)98.7% Positive Feedback
Delivery
Est. 10 Jul - 14 JulFrom United Kingdom
Returns
14 days money back
Buyer pays return postage
All listings for this product
item 1 - Two Applications of Logic to Mathematics Takeuti, Gaisi
AU $43.54 Buy It Now
item 3 - NEW Two Applications of Logic to Mathematics By Gaisi Takeuti Paperback
AU $51.25 Buy It Now
Best-selling in Textbooks
Options, Futures and Other Derivatives by John C. Hull (Mixed media product, 2011)
TRENDING PRICE
- AU $72.77New
Fluid Mechanics by Yunus A. Cengel, John Cimbala (Paperback, 2013)
TRENDING PRICE
- AU $74.56New
Dungeon Master's Guide (Dungeons & Dragons Core Rulebooks) by Wizards of the Coast (Hardback, 2014)
TRENDING PRICE
- AU $56.15New
Pharynx and Larynx Anatomical Chart by Anatomical Chart Co. (Fold-out book or chart, 2000)
TRENDING PRICE
- AU $20.26New
Save on Textbooks
Cambridge IELTS 9 Student's Book with Answers: Authenti - Paperback NEW ESOL, Ca
AU $37.95Trending at AU $73.95NEW Physics Principles with Applications 7E by Douglas C. Giancoli 9781292057125
AU $74.90Trending at AU $85.33Options, Futures and Other Derivatives 8E by John C. Hull ISBN:9780273759072 NEW
AU $68.00Trending at AU $72.77Services Marketing: An Asia-Pacific and Australian Perspective 6Eby Christopher.
AU $92.88Trending at AU $103.09Elementary and Middle School Mathematics Teaching Developmentally 9E Karen Karp
AU $74.00Trending at AU $85.00English Grammar in Use with Answers: A Self-study Reference and Practice Book...
AU $41.64Trending at AU $44.79Exam Ref 70-410: Installing and Configuring Windows Server 2012 R2 by Craig Zack
AU $46.32Trending at AU $48.00
About this product
Description
- DescriptionUsing 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 analysis including complex analysis in Pea's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in Pea's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs. Originally published in 1978. The Princeton Legacy Library uses the latest print-on-demand techlogy to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
Key Features
- Author(s)Gaisi Takeuti
- PublisherPrinceton University Press
- Date of Publication16/02/2015
- LanguageEnglish
- FormatPaperback
- ISBN-100691610223
- ISBN-139780691610221
- SubjectMathematics
- Series TitlePublications of the Mathematical Society of Japan
Publication Data
- Place of PublicationNew Jersey
- Country of PublicationUnited States
- First Published1978
- ImprintPrinceton University Press
- Content Noteblack & white illustrations
Dimensions
- Weight199 g
- Width155 mm
- Height235 mm
- Spine8 mm
This item doesn't belong on this page.
Thanks, we'll look into this.