March 19th, 2018, 06:49 PM  #11 
Senior Member Joined: Aug 2012 Posts: 2,076 Thanks: 593  
March 19th, 2018, 06:51 PM  #12 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,502 Thanks: 2511 Math Focus: Mainly analysis and algebra  This might have merit if Cantor had described an algorithm. He didn't. He simply defined an infinite sequence. If you accept that the natural numbers can be defined inductively and taken as a set  a precondition of Cantor's work  you must also accept his definition of a particular infinite sequence. His definition is no different to defining a sequence $(s_n)$ as $s_n= n \pmod{2}$ or a function $f(x)=x^2$. The sequence is welldefined for every $n$ and requires no iterative process to produce any element you like. Similarly for the function. It's defined perfectly well for all $x$ with no need for any iterative process. 
March 19th, 2018, 07:07 PM  #13 
Senior Member Joined: Oct 2009 Posts: 608 Thanks: 186  True. I might still call it a transfinite sequence though. But while you are right, the original post didn't say anything about sequences or binary digits, it just said infinity is endless, which I showed is wrong. A sequence is almost by definition endless, true.

March 19th, 2018, 07:33 PM  #14 
Global Moderator Joined: Dec 2006 Posts: 19,865 Thanks: 1833 
The notation 1, 2, 4, 5, 6, . . . , 3 leaves it unclear what numbers are implied by the dots.

March 19th, 2018, 07:45 PM  #15 
Senior Member Joined: Aug 2012 Posts: 2,076 Thanks: 593  That's an example of $\omega + 1$. All the naturals are there and $3$ is stuck at the end. By definition it's not a sequence. It's an example of an infinite order type  a wellorder in fact  with a smallest and largest element. I'm not sure how else I'd notate it.

March 19th, 2018, 08:09 PM  #16 
Senior Member Joined: Sep 2016 From: USA Posts: 502 Thanks: 280 Math Focus: Dynamical systems, analytic function theory, numerics  Then it's a good thing this isn't what infinity means! Even better than Cantor's argument never mentions infinity nor is it required. Cantor proves that if you provide a countable list of reals (which may be infinite but isn't required), then you have missed at least one. Nobody has to "get to the end" of anything or "go" anywhere. By all means though, please feel free to redefine every definition you don't like, replace it with a definition you do like, and then use these bad definitions to argue against proven theorems as if you are still talking about the same objects. It's better than the alternative, which is to stop making all these ridiculous threads and open a gd book. Last edited by skipjack; March 20th, 2018 at 05:15 AM. 
March 19th, 2018, 08:33 PM  #17 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,502 Thanks: 2511 Math Focus: Mainly analysis and algebra 
Let's face it: if the OP were even close to being a valid criticism of Cantor, it would be astonishing, not to say utterly negligent of all mathematicians over the last couple of hundred years, that it hadn't been raised before. Even the tiniest grain of selfawareness and critical thinking would have killed this thread before it even got started. 
March 20th, 2018, 07:08 AM  #18  
Senior Member Joined: Apr 2015 From: Planet Earth Posts: 140 Thanks: 25  Quote:
Infinite, adjective: (1) extending indefinitely, endless.While related, these are not quite the same thing. Axiom of Infinity: THERE EXISTS a set $\mathbb N$ that:While it is an abstraction, so is the existence of all other mathematical objects. This one's existence is no more abstract than the concept of a point ("that which has no extent") in geometry. It escapes you because you keep trying to treat it as something it is not. +++++ You can choose not to accept this Axiom in your preferred Mathematics if you want to. But then, you cannot discuss whether Cantor's proposition ("there exists an infinite set $\mathbb M$ which cannot be put into a bijection with $\mathbb N$") is, or is not, valid. If you deny the existence of $\mathbb N$, of course it can't be put into a bijection. Even with itself. So it seems you do accept it, at some subconscious level, since you insist on discussing it and asserting properties for it. Clearly, the set itself is infinite by the definition given above. BUT IT IS ENDLESS. Cantor's great insight was to not try to describe what you find at the end it does not possess, like you are doing, but to accept it as a whole and describe how its "the quality of being infinite/endless" fits in a valid Mathematics. You seem to think "infinity" describes either a member of $\mathbb N$, or a property approached in the endless sequence. There is no number in $\mathbb N$, as identified by step #2 of the Axiom, that can be called "endless," or associated with the quality of being endless. People who talk about limits are describing them in terms of properties of the members of the set. This seems to be your misunderstanding  you want "infinity" to mean the end of what is defined to be an endless iteration. It isn't. So get this straight: Cantor does not apply the word "infinity" to a natural number, or to anything that even looks like a natural number. It is applied to a property of the set $\mathbb N$ itself called "cardinality." That property describes how sets can be compared to one another. For finite sets, the proerty can be likened to a natural number in the set. But we aren't dealing with a finite set. We are dealing with one that is, by definition, "endless" or "infinite." Since the set DOES EXIST, and can be compared to other sets, it needs the property "cardinality." But the only quality that can be applied is "endless" or "infinite," so it is a kind of "infinity" by the definitions you oversimplified. And it is a property of the set, not any member of it.  
March 20th, 2018, 08:04 AM  #19 
Senior Member Joined: Mar 2015 From: New Jersey Posts: 1,602 Thanks: 115  I assumed respondents would be familiar with Cantors infinite sequences {wiki), This sequence is either finite, 1001101010011, or infinite 1001101010011................. (endless). Endless means you can't get to the end, ie, you can't complete CDA. I assume all irrelevant replies (such as parts of speechI said synomous) are a confirmation of this. 
March 20th, 2018, 08:15 AM  #20  
Math Team Joined: Dec 2013 From: Colombia Posts: 7,502 Thanks: 2511 Math Focus: Mainly analysis and algebra  Quote:
There's nobody as stupid as someone who refuses to learn.  

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

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Cantor's Diagonal Argument  zylo  Real Analysis  1  March 9th, 2018 09:34 AM 
Cantor's Diagonal Argument. Infinity is Not a Number  zylo  Topology  147  August 14th, 2016 08:40 PM 
Cantor's Diagonal Argument and Infinity  zylo  Topology  59  May 21st, 2016 08:13 AM 
Cantor's Diagonal Argument  zylo  Math  22  January 26th, 2016 09:05 PM 
Cantorīs diagonal argument  netzweltler  Applied Math  191  November 7th, 2010 02:39 PM 