Re: Cantor's diagonal proof wrong?

From: Jesse F. Hughes (jesse_at_phiwumbda.org)
Date: 11/14/04


Date: Sun, 14 Nov 2004 21:57:10 +0100

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.

-- 
Jesse F. Hughes
"To [mathematicians] amateur mathematicians are worse than scum, and
scarier than nuclear bombs."
                     -- James S. Harris on mathematicians' phobias 


Relevant Pages

  • Re: Cantors diagonal proof wrong?
    ... >> math with algorithms. ... >> happens after it halts. ... reached the edge of the universe. ... >infinite things have no edges. ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... > Albert Wagner wrote: ... >> 'mathematicians stock and trade'. ... > first computing machine was ever designed, algorithms for solving ... > with definite limits were developed long before computers. ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... > Albert Wagner wrote: ... >> 'mathematicians stock and trade'. ... > first computing machine was ever designed, algorithms for solving ... > with definite limits were developed long before computers. ...
    (sci.cognitive)
  • Re: Epistemology 201: The Science of Science
    ... > Albert Wagner wrote: ... >> 'mathematicians stock and trade'. ... > first computing machine was ever designed, algorithms for solving ... > with definite limits were developed long before computers. ...
    (sci.physics)
  • Re: Epistemology 201: The Science of Science
    ... > 'mathematicians stock and trade'. ... And a postulate is a postulate and a theorem is is theorem. ... first computing machine was ever designed, algorithms for solving ... with definite limits were developed long before computers. ...
    (sci.cognitive)