Reverse Mathematics: Proofs from the Inside Out
4.5/5
()
About this ebook
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.
Read more from John Stillwell
Elements of Mathematics: From Euclid to Gödel Rating: 4 out of 5 stars4/5The Story of Proof: Logic and the History of Mathematics Rating: 0 out of 5 stars0 ratings
Related to Reverse Mathematics
Related ebooks
Elliptic Tales: Curves, Counting, and Number Theory Rating: 4 out of 5 stars4/5The Best Writing on Mathematics 2019 Rating: 0 out of 5 stars0 ratingsWhat Is Mathematical Logic? Rating: 3 out of 5 stars3/5The Best Writing on Mathematics 2017 Rating: 0 out of 5 stars0 ratingsJourney into Mathematics: An Introduction to Proofs Rating: 4 out of 5 stars4/5Essential Discrete Mathematics for Computer Science Rating: 0 out of 5 stars0 ratingsIntroductory Discrete Mathematics Rating: 4 out of 5 stars4/5The Skeleton Key of Mathematics: A Simple Account of Complex Algebraic Theories Rating: 0 out of 5 stars0 ratingsNaive Set Theory Rating: 4 out of 5 stars4/5A Passion for Mathematics: Numbers, Puzzles, Madness, Religion, and the Quest for Reality Rating: 4 out of 5 stars4/5How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics Rating: 4 out of 5 stars4/5e: The Story of a Number Rating: 4 out of 5 stars4/5The Princeton Companion to Mathematics Rating: 5 out of 5 stars5/5The Princeton Companion to Applied Mathematics Rating: 5 out of 5 stars5/5Prelude to Mathematics Rating: 4 out of 5 stars4/5Men of Mathematics Rating: 4 out of 5 stars4/5A History of Pi Rating: 3 out of 5 stars3/5How to Solve It: A New Aspect of Mathematical Method Rating: 4 out of 5 stars4/5Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World Rating: 4 out of 5 stars4/5Mathematics for the Nonmathematician Rating: 4 out of 5 stars4/5The Mathematics of Various Entertaining Subjects: Research in Recreational Math Rating: 4 out of 5 stars4/5Introduction to Proof in Abstract Mathematics Rating: 5 out of 5 stars5/5Summing It Up: From One Plus One to Modern Number Theory Rating: 5 out of 5 stars5/5An Imaginary Tale: The Story of √-1 Rating: 4 out of 5 stars4/5In Praise of Simple Physics: The Science and Mathematics behind Everyday Questions Rating: 4 out of 5 stars4/5The Art of the Infinite: The Pleasures of Mathematics Rating: 4 out of 5 stars4/5The Story of Mathematics: From creating the pyramids to exploring infinity Rating: 4 out of 5 stars4/5Number Theory: A Historical Approach Rating: 4 out of 5 stars4/5Mathematics and the Physical World Rating: 4 out of 5 stars4/5
Mathematics For You
Algebra - The Very Basics Rating: 5 out of 5 stars5/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5Introducing Game Theory: A Graphic Guide Rating: 4 out of 5 stars4/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Game Theory: A Simple Introduction Rating: 4 out of 5 stars4/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5Calculus For Dummies Rating: 4 out of 5 stars4/5Geometry For Dummies Rating: 5 out of 5 stars5/5Basic Math Notes Rating: 5 out of 5 stars5/5Quantum Physics for Beginners Rating: 4 out of 5 stars4/5The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5ACT Math & Science Prep: Includes 500+ Practice Questions Rating: 3 out of 5 stars3/5My Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5The Everything Everyday Math Book: From Tipping to Taxes, All the Real-World, Everyday Math Skills You Need Rating: 5 out of 5 stars5/5The Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5The Elements of Euclid for the Use of Schools and Colleges (Illustrated) Rating: 0 out of 5 stars0 ratingsRelativity: The special and the general theory Rating: 5 out of 5 stars5/5See Ya Later Calculator: Simple Math Tricks You Can Do in Your Head Rating: 4 out of 5 stars4/5The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsA Mind for Numbers | Summary Rating: 4 out of 5 stars4/5GED® Math Test Tutor, 2nd Edition Rating: 0 out of 5 stars0 ratingsHow Not To Be Wrong | Summary Rating: 5 out of 5 stars5/5Calculus Made Easy Rating: 4 out of 5 stars4/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5Is God a Mathematician? Rating: 4 out of 5 stars4/5Algebra I For Dummies Rating: 4 out of 5 stars4/5
Reviews for Reverse Mathematics
6 ratings1 review
- Rating: 5 out of 5 stars5/5Extremely interesting new angle about proofs and axioms. Excellent and fairly readable.