Drexel dragonThe Math ForumDonate to the Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » sci.math.* » sci.math

Topic: Matheology § 258
Replies: 29   Last Post: Apr 27, 2013 7:43 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 18,071
Registered: 1/29/05
Matheology § 258
Posted: Apr 23, 2013 4:01 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Matheology § 258

So what about Cantor?s much celebrated non-denumerable real? Where is
it? Did Cantor produce such a real number? No, he merely sketched out
the logic for a nonterminal procedure that would produce an infinitely
long digit string representing a real number that would not be in the
input stream of enumerated reals. Cantor?s procedure, and with it his
celebrated nondenumerable, infinitely long real number, will appear
with 100% certainty in the denumerable list of procedures. {{That's
the point: Every diagonal number can be distinguished at a finite
position from every other number. But if all strings are there to any
finite dephts, as is easily visualized in the Binary Tree, then there
is no chance for distinction at a finite position - and other
positions are not available.}}
There is no non-denumerable real, and every source of real numbers
is denumerable [...] Implications throughout mathematics that build
upon Cantor?s Diagonal Proof must now be carefully reconsidered.
So Who Won? Professor Leopold Kronecker was right. Irrationals are
not real {{ - at least they have no real strings of digits, and only
countably many of them can be defined in a language that can be
spoken, learned and understood}}. God made all the integers and Man
made all the rest {{and in addition something more - unfortunately.}}
[Brian L. Crissey: "Kronecker 1, Cantor 0: The End of a Hundred Years?

Regards, WM

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum 1994-2015. All Rights Reserved.