Re: Cantor's diagonal proof wrong?

From: Lee Rudolph (lrudolph_at_panix.com)
Date: 11/14/04 

Date: 14 Nov 2004 16:09:50 -0500

"Jesse F. Hughes" <jesse@phiwumbda.org> writes:

>curt@kcwc.com (Curt Welch) writes:
>
>> The issue at the heart of it is that we define a lot of things in
>> math with algorithms. And if you specify an algorithm that runs
>> forever, and never halts, then it's not valid to talk about what
>> happens after it halts. It's the same mistake in logic one would
>> make if they claimed that time and space was infinite in this
>> universe, and then talked about what happens after a spaceship sent
>> out from earth, reached the edge of the universe.
>
>Yeah, what a logic error that would be. Clearly logic dictates that
>infinite things have no edges.

Good thing Occam's Razor is Ultrafinite(TM)!

Lee Rudolph

Relevant Pages

  • Re: Cantors diagonal proof wrong?
    ... > math with algorithms. ... > happens after it halts. ... reached the edge of the universe. ... "To [mathematicians] amateur mathematicians are worse than scum, ...
    (sci.math)
  • Re: "Algorithms" in Molecular Biology?
    ... do serious biologists talk in terms of "algorithms"? ... *universe* is an algorithm in execution. ... I'd guess molecular biology is as well. ... Lloyd, a professor at MIT, works in the vanguard of research in quantum ...
    (sci.bio.evolution)
  • Re: "Algorithms" in Molecular Biology?
    ... lies with understanding nature's ALGORITHMS. ... of the "computational universe" argument. ... would argue that all biological processes are manifested calculations; ... exemplify the John Wilkins algorithm. ...
    (sci.bio.evolution)
  • Re: Algorithms to generate permutations
    ... The universe is the result of a big algorithm, ... whether two arbitrary algorithms are equivalent. ... on another's patent. ... The question has never been about the true nature of invention or the ...
    (sci.crypt)
  • Re: (sketch of a) Proof that the set of Real Numbers doesnt exist
    ... There is a lot of Mathematics relating to algorithms, ... shorter to use infinite sets for proofing something about finite ones. ... about a logic where expressions could have infinite length. ... of this bunch of theorems. ...
    (sci.math)