The axiom of choice is incompatible with the axiom of determinacy.
The axiom of determinacy allows proof that ZF set theory is consistent.
The axiom of choice allows the creation of unmeasurable sets. There is no intuitive example of such a set, which is bad.
The axiom of choice allows the Banach–Tarski_paradox which is ridicululous until you remember that unmeasurable sets were ridiculous anyway.
The axiom of determinacy can be proved with infinite logic, which is cool.
So my vote would be against the axiom of choice. Sorry if that destroys your field but is there anything with a real application that requires the axiom of choice? Fourier analysis doesn't.
The joys of Wikipedia.
Thursday 5 February 2009
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment