Reverse Mathematics :Proofs from the Inside Out

4.38 ( 13 Ratings by Goodreads)
Reverse Mathematics

Reverse Mathematics :Proofs from the Inside Out

(Author)
4.38 (13 Ratings by Goodreads)
hardback
Published: 9 January, 2018
Standard worldwide delivery by Thu, June 18 - Tue, June 23
Order within 0
Condition: NEW
$39.31
RRP $40.29
You save $0.98 (2%)
Price includes shipping
Available 5 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by John Stillwell

View All Books by John Stillwell
Classical Topology and Combinatorial Group Theory
Classical Topology and Combinatorial Group Theory
John Stillwell
$97.55
New
Add to basket
Reverse Mathematics
Reverse Mathematics
John Stillwell
$26.70
New
Add to basket
The Story of Proof
The Story of Proof
John Stillwell
$49.78 $53.72
New
Add to basket
Roads to Infinity
Roads to Infinity
John Stillwell
$59.04 $65.79
New
Add to basket
Elements of Mathematics
Elements of Mathematics
John Stillwell
$27.57
New
Add to basket
Algebraic Number Theory for Beginners
Algebraic Number Theory for Beginners
John Stillwell
$43.88
New
Add to basket
The Four Pillars of Geometry
The Four Pillars of Geometry
John Stillwell
$49.97
New
Add to basket
The Real Numbers
The Real Numbers
John Stillwell
$46.53 $48.33
New
Add to basket
A Concise History of Mathematics for Philosophers
A Concise History of Mathematics for Philosophers
John Stillwell
$29.05
New
Add to basket
Yearning for the Impossible
Yearning for the Impossible
John Stillwell
$49.43 $52.36
New
Add to basket

Description

This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.
See more

More Details

Type Book
ISBN13 9780691177175
ISBN10 0691177171
Number Of Pages 200
Item Weight 454 g
Publisher / Reseller Princeton University Press
Format hardback
See More +

Media Reviews

"If you are not familiar with this relatively new research about the foundations and and minimal assumptions needed to develop the massive mathematical structure, this provides a good informal guideline."---Adhemar Bultheel, European Mathematical Society
"John Stillwell’s book gives a clear and engaging introduction to an intriguing area of mathematics: reverse mathematics."---Martyn Prigmore, Mathematics Today
"The book is rich in examples and historical perspectives, is clearly argued and immaculately presented."---Graham Hoare, Mathematical Gazette

Show more

Author's Bio

John Stillwell is professor of mathematics at the University of San Francisco and an affiliate of the School of Mathematical Sciences at Monash University, Australia. His many books include Mathematics and Its History and Elements of Mathematics: From Euclid to Godel (Princeton).

Show more