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

From: Daryl McCullough (daryl_at_atc-nycorp.com)
Date: 06/25/04 

Date: 25 Jun 2004 16:35:51 -0700

Peter Olcott says...
>
>> He doesn't fail to understand that---it's just that such mappings
>> are *irrelevant* to the halting problem. The halting problem is
>
>He was trying to tell me that there is no such thing as an incorrect
>TM.

And that's true. TMs are a *general* model of computation, not
a model of *practical* computation, or a model of *useful* computation.

A real computer program can be incorrect if it fails to do what it
is intended to do. But TMs abstract away from the intentions of the
programmer. 

--
Daryl McCullough
Ithaca, NY
Quantcast