Changes

Jump to navigation Jump to search
322 bytes added ,  14:51, June 27, 2007
reply to Axiom of Choice
Line 535: Line 535:     
: I don't agree with the last couple of paragraphs. If "The formulation of a constructive Axiom of Choice is one of three major problems which challenge 21st century logicians", then what are the other 2? [[User:RSchlafly|RSchlafly]] 02:03, 27 June 2007 (EDT)
 
: I don't agree with the last couple of paragraphs. If "The formulation of a constructive Axiom of Choice is one of three major problems which challenge 21st century logicians", then what are the other 2? [[User:RSchlafly|RSchlafly]] 02:03, 27 June 2007 (EDT)
 +
 +
:: I don't know, as that was added by someone else.  But I don't think anyone doubts that a constructive Axiom of Choice is a goal that has not yet been realized.
 +
 +
:: I'm going to add how the Axiom of Choice leads to a contradiction in the Banach-Tarski "paradox".--[[User:Aschlafly|Aschlafly]] 10:51, 27 June 2007 (EDT)
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,208

edits

Navigation menu