Changes

Jump to navigation Jump to search

Axiom of Choice (view source)

Revision as of 01:51, July 16, 2007

272 bytes added ,  01:51, July 16, 2007
added reference to Wiles' proof of Fermat's Last Theorem
Line 30: Line 30:     
The formulation of a constructive Axiom of Choice is one of three major problems which challenge 21st century logicians. {{fact}}
 
The formulation of a constructive Axiom of Choice is one of three major problems which challenge 21st century logicians. {{fact}}
 +
 +
== Use of the Axiom of Choice ==
 +
 +
Although not publicized or widely recognized even among mathematicians, the highly publicized proof of [[Fermat's Last Theorem]] relies on the Axiom of Choice.<ref>http://jimcaprioli.blogspot.com/2005/04/fermats-last-theorem.html</ref>
 +
    
== Sources ==
 
== Sources ==
Aschlafly
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,196

edits

Retrieved from "https://www.conservapedia.com/Special:MobileDiff/234755"

Navigation menu