Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Cantor's diagonal argument.
Replies: 24   Last Post: Oct 12, 2001 5:16 PM

 Messages: [ Previous | Next ]
 Andy Averill Posts: 14 Registered: 12/13/04
Re: Cantor's diagonal argument.
Posted: Oct 3, 2001 2:58 PM

"Giles Redgrave" <g.d.redgrave@elostirion.freeserve.co.uk> wrote in message
> I'm having a problem understanding Cantor's diagonal argument (CDA).
> Specifically it's use in proving the uncountability of the reals from
> 0 to 1.
>
> I don't understand why you can't apply CDA to the natural numbers
> themselves. If we list the natural numbers padding to the left with
> zeros like so:
>
> ...000
> ...001
> ...002
> ...003
> .
> .
> .
>
> and apply CDA by adding one to the nth digit (from the right) of n and
> constructing our new number from these digits.
>
> We then have a number (consisting of an infinite series of ones)

What kind of integer has an infinite series of ones? Integers must have a
finite number of digits.

> To put it another way, what is wrong with mapping of the natural
> numbers to the reals by reversing the digits of the natural numbers
> and placing them after a decimal point like so:
>
> 0 -> 0
> 1 -> 0.1
> 2 -> 0.2
> ...
> 10 -> 0.01
> 11 -> 0.11
> ...
> 123456 -> 0.654321
> ...
>
> This is driving me mad. Can someone point out what's wrong with this
> argument because I can't think of a real that can not be generated by
> the above mapping and I can't see why applying CDA to the natural

You've only included decimal numbers that terminate (that is, they only
contain a finite number of digits after the decimal point). Many real
numbers (for example 1/3 = .333333....) require an infinite number of digits
to represent them.

-----= Posted via Newsfeeds.Com, Uncensored Usenet News =-----
http://www.newsfeeds.com - The #1 Newsgroup Service in the World!
-----== Over 80,000 Newsgroups - 16 Different Servers! =-----

Date Subject Author
10/3/01 Giles Redgrave
10/3/01 Jan Kristian Haugland
10/3/01 Robin Chapman
10/3/01 Clive Tooth
10/3/01 Christian Bau
10/3/01 briggs@encompasserve.org
10/3/01 Randy Poe
10/4/01 Giles Redgrave
10/5/01 Giles Redgrave
10/5/01 Jan Kristian Haugland
10/5/01 Dave Seaman
10/5/01 Christian Bau
10/5/01 Daryl McCullough
10/5/01 Steven Taschuk
10/5/01 Virgil
10/5/01 Tralfaz
10/5/01 Virgil
10/5/01 John Savard
10/12/01 Steve Brian
10/12/01 Virgil
10/4/01 Nico Benschop
10/3/01 Steven Taschuk
10/3/01 Andy Averill
10/3/01 Virgil
10/5/01 John Savard