July 19th, 2016, 06:44 PM  #21  
Math Team Joined: Dec 2013 From: Colombia Posts: 7,305 Thanks: 2443 Math Focus: Mainly analysis and algebra  Well, I would say that both an enumeration and a sequence are types of list and that Cantor uses both, but this is now becoming a semantic argument of little importance to people who understand the proof (among whom I include you). To me, the most elegant formulation of the proof uses explicit indices in both the enumeration and the sequences and does away entirely with the proof by contradiction which is the root of many misunderstandings in favour of a subsidiary theorem that no countable set of sequences/real numbers contains every such sequence/real number. The contrapositive of this is the statement that the reals are not countable. Quote:
So his "proof" fails not because there is no mapping with the naturals: because it is a list the mapping exists and the set is countably infinite; but because the set he creates is not the set he believes it to be: the real numbers. $\frac13$, $(\pi3)$ and $\sqrt2 1$ are not in it. He is unable or unwilling to see this fact. Last edited by v8archie; July 19th, 2016 at 06:51 PM.  

Tags 
decimal, fractions, numbers, ordering, real 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Cardinality of the set of decimal numbers  Pengkuan  Math  8  March 13th, 2016 04:38 AM 
decimal numbers  crystalnaidoo  Math  3  April 29th, 2015 06:46 PM 
Periodic decimal fractions  Dacu  Algebra  4  February 22nd, 2015 07:52 AM 
Complex numbers and ordering  Eureka  Complex Analysis  22  January 25th, 2013 01:53 AM 
Sum of decimal numbers  zolden  Number Theory  1  December 11th, 2008 08:14 PM 