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

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

Date: Sun, 20 Jun 2004 21:17:12 GMT

> : PREMISES:
> : (1) The Halting Problem was specified in such a way that a solution
> : was defined to be impossible.
>
> That is false.
> The problem has to do with the possible existence of something.
> If it turns out that the something doesn't exist, that does NOT
> mean that "the solution to the problem was defined to be impossible".

Yet this is not the case with the solution to the Halting Problem
(and square circles). In both these cases it is not merely that no
solution has been found to satisfy the requirements of the problem.
In BOTH these cases the problem is defined in such a way that
no solutions are possible. The lack of solution is directly derived
from the definition of the problem itself.

Relevant Pages