Reverse Mathematics: Proofs from the Inside Out - Softcover

Stillwell, John

Softcover

ISBN 10: 0691196419 ISBN 13: 9780691196411

Verlag: Princeton University Press, 2019

Inhaltsangabe

The first book surveying the history and ideas behind reverse mathematics

Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. In Reverse Mathematics, John Stillwell offers a historical and representative view, emphasizing basic analysis and giving a novel approach to logic. 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.

Über diesen Titel

Über die Autorin bzw. den Autor

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 (Princeton).

Von der hinteren Coverseite

"Reverse mathematics is the mathematical logician's version of zoology or botany, a classification of mathematical theorems in terms of the strength of the axioms needed to prove them. Stillwell carefully situates the field in the broader context of the history of mathematics and its foundations, and does a fine job of making the whole endeavor accessible to a general mathematical audience."--Jeremy Avigad, Carnegie Mellon University

"Filling an important niche, this book gives readers a good picture of the basics of reverse mathematics while suggesting several directions for further reading and study. It provides a context for the questions investigated by reverse mathematics and makes an extended argument for their significance within contemporary mathematical practice."--Denis Hirschfeldt, University of Chicago

"Reverse mathematics is a major research direction in the foundations of mathematics and mathematical logic, and the insights obtained from reverse mathematics will interest a wide mathematically minded audience. Stillwell's book is self-contained and includes much background material in analysis, mathematical logic, combinatorics, and computability. I heartily commend this very readable and accessible book."--Stephen Simpson, Vanderbilt University

Details zur Ausgabe

• Verlag: Princeton University Press
• Erscheinungsdatum: 2019
• Sprache: Englisch
• ISBN 10: 0691196419
• ISBN 13: 9780691196411
• Einband: Tapa blanda
• Anzahl der Seiten: 200
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar