Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms. The reverse mathematics program was foreshadowed by results in set theory such as the classical theorem that the axiom of choice and Zorn's lemma are equivalent over ZF set theory. The goal of reverse mathematics, however, is to study possible axioms of ordinary theorems of mathematics rather than possible axioms for set theory.
Reverse mathematics is usually carried out using subsystems of second-order arithmetic, where many of its definitions and methods are inspired by previous work in constructive analysis and proof theory. The use of second-order arithmetic also allows many techniques from recursion theory to be employed; many results in reverse mathematics have corresponding results in computable analysis.
The program was founded by Harvey Friedman (1975, 1976). A standard reference for the subject is (Simpson 2009).
Read more about Reverse Mathematics: General Principles, The Big Five Subsystems of Second Order Arithmetic, Additional Systems, ω-models and β-models
Famous quotes containing the words reverse and/or mathematics:
“Now listen, buddy, there are a few corny ideas you got to get out of your head if you’re going to fly an airplane. Most things are just the reverse from what people think. The higher you are the safer you are. The Earth down there, that, that’s your enemy because once you hit that, boy, you splatter.”
—Dalton Trumbo (1905–1976)
“Mathematics alone make us feel the limits of our intelligence. For we can always suppose in the case of an experiment that it is inexplicable because we don’t happen to have all the data. In mathematics we have all the data ... and yet we don’t understand. We always come back to the contemplation of our human wretchedness. What force is in relation to our will, the impenetrable opacity of mathematics is in relation to our intelligence.”
—Simone Weil (1909–1943)