Re: What is the Result from Invoking this Halt Function?

From: Marc Goodman (marc.goodman_at_comcast.net)
Date: 08/11/04 

Date: Wed, 11 Aug 2004 07:11:53 GMT

Peter Olcott wrote:
>>>Two people now agree that I have correctly refuted the above statement.
>>
>>Who were those people?
>>Hands up!
>
>
> One was Marc Goodman.

True. But you do realize I only said that because I don't
think it matters AT ALL whether or not you refute an informal
definition, right? I mean, how uninteresting a result can
you get? "I found a hole in the informal definition of the
halting problem on the NIST web site."

I was also the one who wrote Paul Black at NIST and asked
him to tighten his definition a little, BTW. He thought
it worked fine for his intended purpose, so he just added
the line that says, "This is an informal wording of what
Turing proved. Please do not refer to this page if you
claim to refute his proof."

Relevant Pages
Loading