Can you find anything wrong with this solution to the Halting Problem?
From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 07/10/04
 Next message: Hans Hüttel: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Previous message: Robert J. Kolker: "Re: Infinity can not exist"
 Next in thread: Hans Hüttel: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Reply: Hans Hüttel: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Reply: Kent Paul Dolan: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Reply: Isaac To: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Reply: Alex Hunsley: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Sat, 10 Jul 2004 17:00:40 GMT
Only direct refutation or confirmation of this message will
be replied to, anything else will be considered offtopic and
ignored.
http://www.netaxs.com/people/nerp/automata/halting2.html
I am using this as the basis of my discussion so that the
specific constituent parts of the Halting Problem can be
explicitly referred to by their counterpart in this example.
>From what I understand this version of the Halting Problem
is sufficiently analogous to the original.
I am not sure that this "solution" is correct. There may be one or
more errors or loopholes that I have failed to discover. Since the
basic conclusion of the Halting Problem is that it is impossible
to construct a WillHalt() function that will correctly determine
whether or not any other program will halt or not, I have
freely modified the other aspects of the problem definition
to refute this single conclusion.
(1) The LoopIfHalts() function can not see the screen.
(2) The only access that the LoopIfHalts() function has to the
WillHalt() function is through a function call.
***************************************************
To solve the Halting Problem all that is needed is for the meaning
of the return value from Willhalt() be kept from the LoopIfHalts()
function. The WillHalt() function arranges a coded reply to the
human user.
It could be as simple as one and zero. The meaning of true would
be assigned to either one or zero, the meaning of false would be
assigned to the other. Before the program takes the input of the
LoopIfHalts() function it outputs either a one or a zero to the
screen. Whichever (1 or 0) is output, holds the meaning of true.
Whichever one it outputs is generated by a hardware noise based
random number generator. (thus it is impossible to predict which
of these two will be generated) Now the LoopIfHalts() function
has no way to thwart the WillHalt() function, and the human user
can understand the result.
***************************************************
 Next message: Hans Hüttel: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Previous message: Robert J. Kolker: "Re: Infinity can not exist"
 Next in thread: Hans Hüttel: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Reply: Hans Hüttel: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Reply: Kent Paul Dolan: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Reply: Isaac To: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Reply: Alex Hunsley: "Re: Can you find anything wrong with this solution to the Halting Problem?"
 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
