From: John K Clark (email@example.com)
Date: Tue Oct 13 2009 - 00:30:30 MDT
On Tue, 13 Oct 2009 "Mu In Taiwan" <firstname.lastname@example.org> 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 email@example.com -- http://www.fastmail.fm - Does exactly what it says on the tin
This archive was generated by hypermail 2.1.5 : Fri May 24 2013 - 04:01:19 MDT