1,792
edits
Changes
Jump to navigation
Jump to search
Line 533:
Line 533: + +
→Axiom of Choice: I don't agree with the last couple of paragraphs
Can you check out the [[Axiom of Choice]] entry, and particularly the symbolic representation? I've improved it and still plan to add how it leads to a contradiction in the Banach–Tarski paradox, on which we could also use an entry.--[[User:Aschlafly|Aschlafly]] 00:34, 27 June 2007 (EDT)
Can you check out the [[Axiom of Choice]] entry, and particularly the symbolic representation? I've improved it and still plan to add how it leads to a contradiction in the Banach–Tarski paradox, on which we could also use an entry.--[[User:Aschlafly|Aschlafly]] 00:34, 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)