Reverse Mathematics

John Stillwell ()
Additional contact information
John Stillwell: University of San Francisco

A chapter in Handbook of the History and Philosophy of Mathematical Practice, 2024, pp 1963-1988 from Springer

Abstract: Abstract Reverse mathematics is a new take on an old idea: asking which axioms are necessary to prove a given theorem. This question was first asked about the parallel axiom in Euclid’s geometry and later about the axiom of choice in set theory. Obviously, such questions can be asked in many fields of mathematics, but in recent decades, it has proved fruitful to focus on subsystems of second-order arithmetic, where much of mainstream mathematics resides. It has been found that many basic theorems of analysis and topology, as well as certain parts of infinite algebra and combinatorics, can be proved in such systems. And, remarkably, almost all the basic theorems fall into one of five particular systems: a base system RCA0 of “constructive mathematics” and four others defined by certain axioms about real numbers. Moreover, many of the theorems not provable in RCA0 turn out to be equivalent to one of these defining axioms, so we know precisely which axiom is needed to prove them. Thus, after some motivational remarks about the parallel axiom and the axiom of choice, we will concentrate on the study of RCA0 and its extensions, which is what “reverse mathematics” is generally taken to mean today.

Keywords: Reverse mathematics; Logic; Computability; Arithmetization; Analysis (search for similar items in EconPapers)
Date: 2024
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-40846-5_43

Ordering information: This item can be ordered from
http://www.springer.com/9783031408465

DOI: 10.1007/978-3-031-40846-5_43

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().