Elementary function arithmetic: Difference between revisions

Revision as of 21:20, 14 July 2010

Revision as of 21:25, 14 July 2010

Line 1:

In proof theory, [[Harvey Friedman]]' '''grand conjecture''' implies that many mathematical theorems, such as [[Fermat's last theorem]], can be proved in very weak systems.

HisThe original statement of the conejctureconjecture was posted on the FOM mailing list infrom {{harvtxt|Friedman|1999}} April 16.is:

"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 EFA. EFA is the weak

fragment of Peano Arithmetic based on the usual quantifier free axioms for

0,1,+,x,exp, together with the scheme of induction for all formulas in the

language all os whose quantifiers are bounded."

==References==