346
edits
Changes
Jump to navigation
Jump to search
mLine 27:
Line 27: − +
→Diagonalization
::You had to enumerate all the decimal representations of the reals (i.e. well-order them by the natural numbers). There is no natural way to do this without the axiom of choice. [[User:Foxtrot|Foxtrot]] 22:25, 14 June 2008 (EDT)
::You had to enumerate all the decimal representations of the reals (i.e. well-order them by the natural numbers). There is no natural way to do this without the axiom of choice. [[User:Foxtrot|Foxtrot]] 22:25, 14 June 2008 (EDT)
:::And that is why the contradiction occurs, because there is no way of ordering the without the axiom of choice, you assume you can a watch it fail. [[User:DanielB|DanielB]] 22:30, 14 June 2008 (EDT)
:::And that is why the contradiction occurs, because there is no way of ordering the without the axiom of choice, you assume you can and watch it fail. [[User:DanielB|DanielB]] 22:30, 14 June 2008 (EDT)