These fields are all optional and need only be supplied if you would like a direct reply. Subject Your email address Your real name

You must answer this! If you don't, my spam filtering will ensure that I never see your email. What's 8 plus five (in digits only)?

Please make your changes here and then
Editing tips and layout rules.
File: AxiomOfChoice [[[> This page has been _ TaggedAsMaths ]]] It confuses people as to why the AxiomOfChoice is contentious. Here are two posts to explain the points of view: * InDefenseOfTheAxiomOfChoice, and * APointAgainstTheAxiomOfChoice Roughly ... When we have two finite sets, $A$ and $B$, can form the set of pairs: * $\{ (a,b) : a\in A, b\in B \}$ The nice things about that is that the size of this set is the product of the sizes of $A$ and $B$, and we call this new set the /product/ of $A$ and $B$, and we denote it as $A\times B$. When we have three finite sets we can form $(A\times B)\times C$, or we can form $A\times (B\times C)$, or we can form the collection of triples: * $\{ (a,b,c) : a\in A, b\in B, c\in C \}$. These all have natural mappings between them, and again, the size of each of them is the product of the sizes of the contributing sets. We can avoid this "duplication" issue by a simple technical trick. If we assume that all the sets are disjoint then instead of forming pairs or triples, we can form a set, taking an element from each contributor. Thus: * $A\times B := \{ \{a,b\} : a\in A, b\in B \}$ Note that we require the sets all to be disjoint to make sure we get 2 (or $n$) element sets, and this easily generalises to any (finite) number of contributing sets. We can clearly form the product of finitely many sets even if some are infinite, that's not a problem, and one could easily assume that it all works without any problems even if we have infinitely many sets. And sometimes it does, but sometimes we get some results that might catch you by surprise. * The Banach-Tarski Paradox; * The Vitali set; There are more, but I refer you again to these posts: * InDefenseOfTheAxiomOfChoice, and * APointAgainstTheAxiomOfChoice