4,781
edits
Changes
Jump to navigation
Jump to search
Line 24:
Line 24: + +
→Diagonalization
:Okay I might leave the philisophical point, but where is the axiom of choice used in that proof? [[User:DanielB|DanielB]] 22:17, 14 June 2008 (EDT)
:Okay I might leave the philisophical point, but where is the axiom of choice used in that proof? [[User:DanielB|DanielB]] 22:17, 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)