Re: Alan Turing's Halting Problem is incorrectly formed

From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 06/08/04 

Date: Tue, 08 Jun 2004 23:18:15 GMT

"David C. Ullrich" <ullrich@math.okstate.edu> wrote in message
news:96dbc0h5k8qc9jjoqfe8sfhqaojonde740@4ax.com...
> 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.

Its just as valid as the question:

What times is it yes or no?
(In other words its an absurd question)