Re: Cantor's diagonal proof wrong?

From: Rasmus Villemoes (burner+usenet_at_imf.au.dk)
Date: 11/14/04


Date: Sun, 14 Nov 2004 18:14:39 +0100

curt@kcwc.com (Curt Welch) writes:

> So, let me create a mapping. I'll start with the mapping from the integers
> to the reals in the range 0 to 0.99999....
>
> I R
>
> 0 0.0000...
> 1 0.1000...
> 2 0.2000...
>
> 10 0.0100...
>
> 123 0.3210...
>
> So you just reverse the digits in the integer to create the real. I claim
> this mapping is one to one and covers all the reals in that range.

The same (or at least nearly the same) mapping was used in an arXiv
article some time ago. A few weeks later, the author posted another
article with a corollary to the above 'theorem' (that the mapping
is bijective). The corollary stated "Not every integer is finite".

-- 
Rasmus Villemoes
<http://home.imf.au.dk/burner/>


Relevant Pages

  • Re: Zenkins paper on Cantor
    ... > as least as many reals not in that list as are in the list to start with. ... A bijection between the naturals and reals is not accepted by ... My perception _was_ that you could toss out antidiagonals all day and after ... the mapping must be that way. ...
    (comp.theory)
  • Re: Zenkins paper on Cantor
    ... > as least as many reals not in that list as are in the list to start with. ... A bijection between the naturals and reals is not accepted by ... My perception _was_ that you could toss out antidiagonals all day and after ... the mapping must be that way. ...
    (sci.math)
  • Re: Complex Analysis - polar form notation!?!?!?!
    ... reals" idea. ... If the polar coordinates r and @ are used ... there need not be such an intermediate mapping. ... ordered pair to the element z in the complex plane. ...
    (sci.math)
  • Re: Cantors diagonal proof wrong?
    ... > So you just reverse the digits in the integer to create the real. ... > this mapping is one to one and covers all the reals in that range. ... And because the table is infinite, we will always be able to find ...
    (sci.math)
  • Re: Calculus XOR Probability
    ... But this mapping denumerates only some of the reals (0,1] and omits ... What set of naturals is TO using as his domain for this function. ... and the number of unit intervals on the real line is Big'un, ...
    (sci.math)

Quantcast