12 Nov
2011
12 Nov
'11
8:34 p.m.
Even Gene's solution (as does mine) to the original puzzle uses the Axiom of Choice, in the step where a special set is chosen to include exactly one member of each coset of R/Q. I doubt that it can be avoided. --Dan << while impressed by Salamin's solutions for some abstract notion of "impressed"... (I.e. how much it boggles my mind) they seem to me to be too "nonconstructive."
Even though kleptomaniacs can't help themselves, they do.