Talk:Hausdorff Paradox

From ProofWiki
Jump to navigation Jump to search

Reckon it might be worth providing a link (perhaps as a footnote) as to the meaning of $\mathbb{SO} \left({3}\right)$, even if it hasn't been defined yet. --prime mover (talk) 09:15, 11 March 2009 (UTC)

I'm going to try and put everything that relies on the Axiom of Choice into the Axiom of Choice Category. --Cynic (talk) 01:59, 22 February 2010 (UTC)
I'm not an expert, but I don't think this proof is clear enough. E.g., should (a)-(d) be mutually exclusive, i.e. should it say "can be written as exactly one of the following..."?
Should "These sets are defined due to the uniqueness of the properties (a) to (d)" be rather "These sets are disjoint due to the uniqueness of the properties (a) to (d)"?
Can we a more explicit definition of A, B, and C, e.g. $A$ ends in $\phi$, $B$ ends in $\psi$, $C$ ends in $\psi^2$? --Unhandyandy
Indeed, this whole page is written at a higher level (that is: lacking in detail) than we prefer in $\mathsf{Pr} \infty \mathsf{fWiki}$, written as it was back inn the early days before we knew what we were doing. So yes, this proof is very far from being clear enough. Anything that we collectively can do to clarify and make it rigorous is to be encouraged. --prime mover (talk) 06:24, 1 March 2023 (UTC)
Incidentally, please sign your posts (on Talk pages, that is). --prime mover (talk) 06:25, 1 March 2023 (UTC)