Re: [sl4] Complete drivel on this list: was: I am a Singularitian who does not believe in the Singularity.

From: John K Clark (
Date: Tue Oct 13 2009 - 00:30:30 MDT

On Tue, 13 Oct 2009 "Mu In Taiwan" <> said:

> > if it were not true *all* algorithms would be useless.
> 2. Absolute rubbish. There are algorithms and heuristics that are used
> despite our inability to predict their run-times accurately.

What I was saying was that if no algorithm halted then all algorithms
would be useless.

> your reply to me: "What Turing proved is that in general there is no way
> to prove that any given algorithm will halt."


> your immediately subsequent reply to Robin: "what Turing proved is that
> in general the only way to know what a random program will do is to watch it
> for eternity and see."

> These claims are inconsistent


 John K Clark

  John K Clark
-- - Does exactly what it says on the tin

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:04 MDT