Changes

532 bytes added ,  00:08, April 8, 2012
restore as before, because complex numbers are not simply ordered pairs; complex numbers do depend on a unique square root of -1
Line 1: Line 1: −
An '''elementary proof''' or '''elementary technique''' in mathematics is a [[proof]] that uses only [[real numbers]] or [[real analysis]] rather than the use of [[complex analysis]].<ref>http://mathworld.wolfram.com/ElementaryProof.html</ref>  
+
An '''elementary proof''' or '''elementary technique''' in mathematics is a [[proof]] that uses only [[real numbers]] or [[real analysis]] rather than the use of [[complex analysis]]<ref>http://mathworld.wolfram.com/ElementaryProof.html</ref> or reliance on less rigorous axioms, such as the [[Axiom of Choice]].  An elementary proof typically cannot be improved by expressing it in simpler form.
   −
The [[Prime Number Theorem]] has long been proven using complex analysis ([[Riemann Zeta function]]), but in 1949 and 1950 an elementary proof by [[Paul Erdos]] and [[Atle Selberg]] earned Selberg the highest prize in math, the [[Fields Medal]]. In contrast, [[Andrew Wiles]]' proof of [[Fermat's Last Theorem]] did not use elementary techniques.<ref name="Occam">http://www.occampress.com/fermat.pdf Page 5</ref>
+
The [[Prime Number Theorem]] has long been proven using complex analysis ([[Riemann Zeta function]]), but in 1949 and 1950 an elementary proof by [[Paul Erdos]] and [[Atle Selberg]] earned Selberg the highest prize in math, the [[Fields Medal]]. In contrast, [[Andrew Wiles]]' proof of [[Fermat's Last Theorem]] is not an elementary proof.<ref name="Occam">http://www.occampress.com/fermat.pdf Page 5</ref>
   −
===References===
+
== Significance of Elementary Proofs ==
    +
Elementary proofs are preferred over non-elementary proofs for at least two reasons:
 +
 +
*elementary proofs minimize the underlying assumptions, as in avoiding the assumption that there is a unique, algebraically manipulable square root of negative one
 +
*elementary proofs are typically impossible to simplify further in a logically significant manner
 +
 +
==References==
 
{{reflist}}
 
{{reflist}}
    
[[Category:Mathematics]]
 
[[Category:Mathematics]]
Anthony, Irenaeus, Siteadmin, apieditor, Bureaucrats, Check users, nsAm_Govt_101RO, nsAm_Govt_101RW, nsAm_Govt_101_ta, nsJudgesRO, nsJudgesRW, nsJudges_talkRO, nsJudges_talkRW, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, oversight, Administrators
126,194

edits