Re: Foundation for a Formal Refutation of the Original Halting Problem?

From: Mitch Harris (harrisq_at_tcs.inf.tu-dresden.de)
Date: 08/05/04 

Date: Thu, 05 Aug 2004 09:49:13 +0200

Simon G Best wrote:
> Peter Olcott wrote:
>
>> "Simon G Best" <s.g.best@btopenworld.com> wrote in message
>>> That's not a "NIST /standard/ definition" (emphasis mine). It's just a
>>
>> http://www.nist.gov/dads/HTML/haltingProblem.html
>> According to NIST it is. (see what the acronymn NIST stands for)
>
> Where? There's nothing on that page that says it's a "NIST standard
> definition".

You might be able to clear this difficulty up by:

1 - reading the main page:

   http://www.nist.gov/dads/

2 - contacting the author

   http://hissa.nist.gov/~black/

and asking about the "officialness" and "provenance" of the
definitions.

I don't see anything on the pages that claims that it is a
standard definition, but there is the title of the
organization to consider. Similar reasoning would work with
other online resources like Mathworld, Wikipedia, Stanford
Encyclopedia of Philosophy, etc, etc. (with varying degrees
of authority).

If I were to want an authority on the matter, I would
consult one of the many textbooks that discuss automata
theory. 

-- 
Mitch Harris
(remove q to reply)

Relevant Pages
Quantcast