Re: Alan Turing's Halting Problem is incorrectly formed

From: David C. Ullrich (ullrich_at_math.okstate.edu)
Date: 06/08/04 

Date: Tue, 08 Jun 2004 07:45:43 -0500

On Tue, 08 Jun 2004 12:24:30 GMT, "Peter Olcott"
<olcott@worldnet.att.net> wrote:

>> Exactly what _is_ invalid about "Does there exist a Turing
>> machine which will determine whether or not another Turing
>> machine halts with a certain input?"
>
>if (Halts(Program))
> while(true); // loop forever
>
>forms a contradiction.

Which shows that the answer to the question is "no",
not that the question is invalid or ill-formed.

************************

David C. Ullrich

Relevant Pages