Friedman's Conjecture
Harvey Friedman conjectured, "Every theorem published in the Annals of Mathematics whose statement involves only finitary mathematical objects (i.e., what logicians call an arithmetical statement) can be proved in elementary arithmetic." The form of elementary arithmetic referred to in this conjecture can be formalized by a small set of axioms concerning integer arithmetic and mathematical induction. For instance, according to this conjecture, Fermat's Last Theorem should have an elementary proof; Wiles' proof of Fermat's Last Theorem is not elementary. However, there are other simple statements about arithmetic such as the existence of iterated exponential functions that cannot be proven in this theory.
Read more about this topic: Elementary Proof
Famous quotes containing the words friedman and/or conjecture:
“Corporate America will likely be motivated to support child care when it can be shown to have positive effects on that which management is concerned about—recruitment, retention and productivity. Indeed, employers relate to child care as a way to provide growth fostering environments for young managers.”
—Dana E. Friedman (20th century)
“There is something fascinating about science. One gets such wholesale returns of conjecture out of such a trifling investment of fact.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)