Rating: 4 out of 5 stars
4/5
Ebook139 pages3 hours
Reverse Mathematics: Proofs from the Inside Out
Rating: 4.5 out of 5 stars
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 The 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/5Quantum Physics for Beginners Rating: 4 out of 5 stars4/5Calculus For Dummies 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/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5Sneaky Math: A Graphic Primer with Projects Rating: 0 out of 5 stars0 ratingsCalculus Made Easy Rating: 4 out of 5 stars4/5The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsMental 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/5Introducing Game Theory: A Graphic Guide Rating: 4 out of 5 stars4/5The Math of Life and Death: 7 Mathematical Principles That Shape Our Lives Rating: 4 out of 5 stars4/5Relativity: The special and the general theory Rating: 5 out of 5 stars5/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5Algebra I For Dummies Rating: 4 out of 5 stars4/5Practice Makes Perfect Algebra II Review and Workbook, Second Edition Rating: 4 out of 5 stars4/5The Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5Precalculus: A Self-Teaching Guide 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/5Is God a Mathematician? Rating: 4 out of 5 stars4/5The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics Rating: 3 out of 5 stars3/5See Ya Later Calculator: Simple Math Tricks You Can Do in Your Head Rating: 4 out of 5 stars4/5Summary of The Black Swan: by Nassim Nicholas Taleb | Includes Analysis Rating: 5 out of 5 stars5/5
Related podcast episodes
Nicolas Bourbaki: Prof Marcus du Sautoy presents Nicolas Bourbaki, the mathematician that never was. 100% found this document usefulGeorg Cantor: Prof Marcus du Sautoy introduces Georg Cantor and his theory of transfinite numbers. 0% found this document usefulCarl Friedrich Gauss: How the Gaussian or normal distribution underpins modern medicine. 100% found this document usefulNewton and Leibniz: An astronaut and an investment analyst pay homage to the enormous power of the calculus. 100% found this document usefulMilo Beckman, "Math Without Numbers" (Dutton, 2020): An interview with Milo Beckman 0% found this document usefulEvariste Galois: How the maths begun by Evariste Galois describes the particles that make up our universe. 100% found this document usefulJoseph Fourier: How Joseph Fourier's mathematics transformed our understanding of heat, light and sound. 100% found this document usefulEverything You Know About Math is Wrong 0% found this document usefulHardy and Ramanujan: GH Hardy, whose work inspired the millions of codes that help to keep the internet safe. 100% found this document usefulIan Stewart, “The Joy of Mathematics” (Open Agenda, 2021): An interview with Ian Stewart 0% found this document usefulQuantified Probability Logics: How Boolean Algebras Met Real-Closed Fields: Colloquium Mathematical Philosophy 0% found this document usefulMaths and Storytelling: Melvyn Bragg examines whether it is possible to apply mathematical logic to literature. 0% found this document usefulMaths and Storytelling: Melvyn Bragg examines whether it is possible to apply mathematical logic to literature. 0% found this document usefulElectrodynamics: Modellansatz 069 0% found this document useful
Related articles
Math’s Beautiful Monsters NautilusArticle
Math’s Beautiful Monsters
Oct 26, 2017
Much like its creator, Karl Weierstrass’ monster came from nowhere. After four years at university spent drinking and fencing, Weierstrass had left empty handed. He eventually took a teaching course and spent most of the 1850s as a schoolteacher in B
10 min readMath’s Beautiful Monsters: How a destructive idea paved the way for modern math. NautilusArticle
Math’s Beautiful Monsters: How a destructive idea paved the way for modern math.
Apr 3, 2014
Much like its creator, Karl Weierstrass’ monster came from nowhere. After four years at university spent drinking and fencing, Weierstrass had left empty handed. He eventually took a teaching course and spent most of the 1850s as a schoolteacher in B
10 min readMathematicians Crack the Cursed Curve QuantaArticle
Mathematicians Crack the Cursed Curve
Dec 7, 2017
3 min readImaginary Numbers May Be Essential for Describing Reality QuantaArticle
Imaginary Numbers May Be Essential for Describing Reality
Mar 3, 2021
4 min readThe Math That Takes Newton Into the Quantum World NautilusArticle
The Math That Takes Newton Into the Quantum World
Feb 28, 2019
In my 50s, too old to become a real expert, I have finally fallen in love with algebraic geometry. As the name suggests, this is the study of geometry using algebra. Around 1637, René Descartes laid the groundwork for this subject by taking a plane,
9 min readMatrix Multiplication Inches Closer to Mythic Goal QuantaArticle
Matrix Multiplication Inches Closer to Mythic Goal
Mar 23, 2021
5 min readWhat Einstein May Have Gotten Wrong The AtlanticArticle
What Einstein May Have Gotten Wrong
Apr 12, 2020
12 min readThe Twin Prime Hero: Rags, riches, and fame in mathematics. NautilusArticle
The Twin Prime Hero: Rags, riches, and fame in mathematics.
Dec 29, 2016
Yitang “Tom” Zhang spent the seven years following the completion of his Ph.D. in mathematics floating between Kentucky and Queens, working for a chain of Subway restaurants, and doing odd accounting work. Now he is on a lecture tour that includes st
8 min readHow Gravity Is a Double Copy of Other Forces QuantaArticle
How Gravity Is a Double Copy of Other Forces
May 4, 2021
5 min readThe Aesthetic Beauty of Math The Paris ReviewArticle
The Aesthetic Beauty of Math
Jul 22, 2019
5 min readMathematicians Find a New Class of Digitally Delicate Primes QuantaArticle
Mathematicians Find a New Class of Digitally Delicate Primes
Mar 30, 2021
5 min readHow the Slowest Computer Programs Illuminate Math’s Fundamental Limits QuantaArticle
How the Slowest Computer Programs Illuminate Math’s Fundamental Limits
Dec 10, 2020
6 min read19 Women Leading Math and Physics NautilusArticle
19 Women Leading Math and Physics
Aug 9, 2017
2 min readWhat Makes the Hardest Equations in Physics So Difficult? QuantaArticle
What Makes the Hardest Equations in Physics So Difficult?
Jan 16, 2018
3 min readHow a Mathematical Model Rescued My Book About Math Literary HubArticle
How a Mathematical Model Rescued My Book About Math
Dec 17, 2019
5 min readMath After COVID-19 QuantaArticle
Math After COVID-19
Apr 28, 2020
4 min readThe Myth of 'I'm Bad at Math' The AtlanticArticle
The Myth of 'I'm Bad at Math'
Oct 28, 2013
4 min readFormer NFL Player Urschel Sells Virtue Of Math To Youngsters AppleMagazineArticle
Former NFL Player Urschel Sells Virtue Of Math To Youngsters
Dec 11, 2020
3 min readWhat Keeps Black Holes From Expanding Everywhere? The AtlanticArticle
What Keeps Black Holes From Expanding Everywhere?
Dec 10, 2018
Black holes are somehow able to grow constantly without changing their size. Physics might finally be able to explain why.
4 min readThis Guy Found An Easier Way To Solve Quadratic Equations Popular Mechanics South AfricaArticle
This Guy Found An Easier Way To Solve Quadratic Equations
Oct 19, 2020
3 min readVisionary Mathematician Vladimir Voevodsky Dies at 51 QuantaArticle
Visionary Mathematician Vladimir Voevodsky Dies at 51
Oct 11, 2017
3 min readWhy Do Some Mathematicians Think They’re Poets? Literary HubArticle
Why Do Some Mathematicians Think They’re Poets?
Jul 1, 2020
4 min readAt The Math Olympiad, Computers Prepare To Go For The Gold NautilusArticle
At The Math Olympiad, Computers Prepare To Go For The Gold
Sep 22, 2020
4 min readHow a Mathematical Superstition Stultified Algebra for Over a Thousand Years NautilusArticle
How a Mathematical Superstition Stultified Algebra for Over a Thousand Years
Jan 29, 2016
3 min readThe Common High-School Tool That's Banned in College The AtlanticArticle
The Common High-School Tool That's Banned in College
Dec 22, 2016
5 min readSum-of-Three-Cubes Problem Solved for ‘Stubborn’ Number 33 QuantaArticle
Sum-of-Three-Cubes Problem Solved for ‘Stubborn’ Number 33
Mar 26, 2019
4 min readA Math Teacher's Life Summed Up By The Gifted Students He Mentored NPRArticle
A Math Teacher's Life Summed Up By The Gifted Students He Mentored
Apr 7, 2019
6 min readThe Problem With Science Writing NautilusArticle
The Problem With Science Writing
Sep 23, 2016
4 min readHow Mathematicians Use Homology to Make Sense of Topology QuantaArticle
How Mathematicians Use Homology to Make Sense of Topology
May 11, 2021
1 min readHow I Rewired My Brain to Become Fluent in Math: The building blocks of understanding are memorization and repetition. NautilusArticle
How I Rewired My Brain to Become Fluent in Math: The building blocks of understanding are memorization and repetition.
Sep 15, 2016
I was a wayward kid who grew up on the literary side of life, treating math and science as if they were pustules from the plague. So it’s a little strange how I’ve ended up now—someone who dances daily with triple integrals, Fourier transforms, and t
11 min read
Reviews for Reverse Mathematics
Rating: 4.333333333333333 out of 5 stars
4.5/5
6 ratings1 review
- Rating: 5 out of 5 stars5/5Extremely interesting new angle about proofs and axioms. Excellent and fairly readable.
Book preview
Reverse Mathematics - John Stillwell
Enjoying the preview?
Page 1 of 1