May 13th, 2016, 01:11 PM  #1 
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,230 Thanks: 93  Cantor's Diagonal Argument and Infinity
Cantor's argument fails because there is no natural number greater than every natural number.
Last edited by skipjack; May 20th, 2016 at 03:22 PM. 
May 13th, 2016, 01:38 PM  #2 
Global Moderator Joined: Dec 2006 Posts: 18,595 Thanks: 1492 
It doesn't fail, as it effectively uses and relies on that fact.

May 14th, 2016, 02:27 PM  #3  
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,230 Thanks: 93  Quote:
Assume T is countable and enumerate ALL of T Create Cantor's diagonal number. It is not in the list. Contradiction. Therefore the natural numbers are not countable. _______________________________________________ So what's the problem? Is Cantor's diagonal number in T, which would be a contradiction? NO, because it doesn't exist. By Cantor's construction, Cantor's diagonal number is greater than every number in the list. But there is no natural number greater than every natural number. Last edited by skipjack; May 14th, 2016 at 03:38 PM.  
May 14th, 2016, 03:56 PM  #4 
Global Moderator Joined: Dec 2006 Posts: 18,595 Thanks: 1492 
The "problem" you ask for is that what you've presented isn't Cantor's argument. Also, obtaining a contradiction shows that one of your assumptions must be wrong, but it needn't be (and isn't) the one that you picked. The assumption in your post that all countably infinite binary sequences are natural numbers is wrong. Last edited by skipjack; May 20th, 2016 at 03:27 PM. 
May 16th, 2016, 08:28 AM  #5 
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,230 Thanks: 93 
From: https://en.wikipedia.org/wiki/Cantor...gonal_argument "He assumes for contradiction that T was countable. Then all its elements could be written as an enumeration s1, s2, â€¦ , sn, â€¦ . Applying the previous theorem to this enumeration would produce a sequence s not belonging to the enumeration. However, s was an element of T and should therefore be in the enumeration. This contradicts the original assumption, so T must be uncountable." s is not an element of T because there is no natural number greater than every natural number. The proof fails. 
May 16th, 2016, 08:44 AM  #6 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,151 Thanks: 2390 Math Focus: Mainly analysis and algebra 
None of the elements of $T$ are natural numbers, they are infinite binary sequences in that formulation. Neither does Cantor claim his $s$ to be any "bigger" than any of the enumerated elements of $T$. Your argument (as previously stated ad nauseam) is that "the" enumeration is: 0000000... = 0This suffers from numerous problems:
Last edited by v8archie; May 16th, 2016 at 08:58 AM. 
May 16th, 2016, 09:11 AM  #7  
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,230 Thanks: 93  Quote:
Any other interpretation makes Cantor's diagonal argument meaningless. If $s_i$ is any sequence in the enumeration, it has a maximum length n followed by all zeros. No matter what n is, sooner or later Cantor's construction produces a nonzero element of s greater than n. There is no infinite sequence greater than any infinite sequence. If infinite means more than countably infinite, the countably infinite sequences will be a subset of the infinite sequences and those will be the only ones you can enumerate. Last edited by skipjack; May 23rd, 2016 at 04:59 PM.  
May 16th, 2016, 09:36 AM  #8 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,151 Thanks: 2390 Math Focus: Mainly analysis and algebra  This is trivially not all of T as you claim. Futhermore, the diagonal sequence is guaranteed to end in all zeros and thus Cantor's s ends in an infinite string of 1s which by your definition is not in the enumeration, as Cantor claims.
Last edited by skipjack; May 23rd, 2016 at 05:00 PM. 
May 16th, 2016, 09:42 AM  #9 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,151 Thanks: 2390 Math Focus: Mainly analysis and algebra  If this is your justification as to why all the elements of T are natural numbers, it is clearly a circular argument. You are also, yet again, confusing infinite sequences with an infinite number of sequences.
Last edited by skipjack; May 20th, 2016 at 03:39 PM. 
May 16th, 2016, 10:36 AM  #10 
Global Moderator Joined: Dec 2006 Posts: 18,595 Thanks: 1492  If you're unsure what Cantor meant by it, why not take the trouble to find out? If you think he wrote something that's incorrect, simply state the precise point at which his mistake occurs instead of repeating "if this means this... if this means that..." arguments that don't even mention the sequences that Cantor uses. If you can't specify the precise point at which Cantor (in your opinion) makes a mistake, you aren't justified in asserting that it's Cantor rather than you who has slipped up, especially if you insist on misquoting available accepted translations of Cantor's work. As Cantor initially explains his diagonal construction without any use of T, why not start by telling us whether you agree with that part of his work? If you disagree with that part, say where exactly he goes wrong and do so without mentioning T, as T is not used by Cantor in the first part of his work (the part where he isn't using proof by contradiction). 

Tags 
argument, cantor, diagonal, infinity 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Cantor's Diagonal Argument. Infinity is Not a Number  zylo  Topology  147  August 14th, 2016 08:40 PM 
Cantor's Diagonal Argument Reconsidered  zylo  Topology  12  March 24th, 2016 10:53 AM 
Cantor's Diagonal Argument  zylo  Math  22  January 26th, 2016 09:05 PM 
Help! Cantor's Diagonal Argument  mjcguest  Applied Math  9  July 25th, 2013 08:22 AM 
Cantor´s diagonal argument  netzweltler  Applied Math  191  November 7th, 2010 02:39 PM 