The program of reverse mathematics asks which set-existence axioms are necessary to prove particular theorems of mathematics in subsystems of second-order arithmetic. This study was initiated by Harvey Friedman and was studied in detail by Stephen Simpson and others; Simpson (1999) gives a detailed discussion of the program. The set-existence axioms in question correspond informally to axioms saying that the powerset of the natural numbers is closed under various reducibility notions. The weakest such axiom studied in reverse mathematics is recursive comprehension, which states that the powerset of the naturals is closed under Turing reducibility.
Read more about this topic: Recursion Theory, Areas of Research
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)
“In mathematics he was greater
Than Tycho Brahe, or Erra Pater:
For he, by geometric scale,
Could take the size of pots of ale;
Resolve, by sines and tangents straight,
If bread and butter wanted weight;
And wisely tell what hour o’ th’ day
The clock doth strike, by algebra.”
—Samuel Butler (1612–1680)