Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO)

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

Date: Wed, 23 Jun 2004 05:55:18 -0500

On Wed, 23 Jun 2004 10:09:25 GMT, "Peter Olcott"
<olcott@worldnet.att.net> wrote:

> > q <=> -1 ?
>>
>> Herc
>>
>
>That's what I am saying.
>Feeding the counter-example program to the Halt() function as
>a parameter is just like feeding negative one to a SquareRoot()
>function.

It's remarkable, the way you repeat yourelf without paying
any attention to explanations of why you're wrong. As has
been said _many_ times, the two are not the same at all.
A large difference is that "what is the real square root
of -1" does not _have_ an answer, while for any program
P, "does P halt" _does_ have a correct answer, either yes
or no.

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

David C. Ullrich

Relevant Pages