27 Apr
2014
27 Apr
'14
5:32 p.m.
On Sun, Apr 27, 2014 at 1:56 PM, Dan Asimov <dasimov@earthlink.net> wrote:
After learning that the Axiom of Choice is equivalent to "The cartesian product of nonempty sets is nonempty", I decided that any counterintuitive consequences of AC were problems with my intuition, not with AC.
If that's the case, I don't see why it's not constructive: in order to demonstrate that the sets you're taking the product over are nonempty, you have to construct at least one element of each. Once you've got the elements, constructing the list is trivial. -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com