Re: Alan Turing's Halting Problem is incorrectly formed

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

Date: Mon, 07 Jun 2004 12:17:05 GMT

> Apparently |-|erc is looking for a third state in his halting test.
> Not unreasonable if done right -- I'd advocate a "IHaveNoIdea"
> return state, which basically means the heuristics in the
> testing procedure failed; there's no contradiction that way -- but
> I don't think |-|erc's done it quite right here. :-)

And then what exactly happens when the original Halt function
is fed an English Poem as its input data? Does the English Poem
Halt? Does it not Halt? Perhaps it is Neither!

Relevant Pages