Re: Can you find anything wrong with this solution to the Halting Problem?

From: >parr\(*> (KurlyGina_at_tenretnitb.moc)
Date: 07/24/04 

Date: Sat, 24 Jul 2004 00:08:35 +0000 (UTC)

"Peter Olcott" <olcott@worldnet.att.net> wrote in message
news:1dPJc.100638$OB3.80962@bgtnsc05-news.ops.worldnet.att.net...
| http://home.att.net/~olcott/halts.html
|
| Just walk through an execution trace table and see for yourself.
| Use the concrete examples provided on this link. See how the
| execution trace table differs when the WillHalt() function is run
| using the LoopIfHalts() function as input, on each of these two
| different variations of the WillHalt() function.
|
| (1) bool WillHalt(M, w)
| (2) void WillHalt(M, w)
|
| In the first case WillHalt can not correctly determine if
LoopIfHalts()
| will halt or not. In the second case LoopIfHalts() won't even
compile
| because it is a syntax error to check the return value of a
function that
| has no return value.

Sorry Peter, That did not answer my question. 

--
)>==ss$$%PARR(º>   Parr

Relevant Pages