Re: Disproof of the Halting Problem's Conclusion

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

Date: Thu, 22 Jul 2004 23:12:45 GMT

"Kevin Stern" <K-Stern@neiu.edu> wrote in message news:ca77e32d.0407220430.5cf051f2@posting.google.com...
> I'm disappointed that you did not respond to the remainder of my post
> - that's really where the meat is. Did you get a chance to read it?
>
> Regarding the response that you did provide: this is what I said,
> sir, I said that you've defined a programming language that allows
> only a subset of all possible programs. In particular, assuming that

No. I have defined the solution to the Halting Problem such that
the programs that make a solution impossible aren't possible.
This includes any program that tests the return value of Halt().

> Halt(x, y) is recursive, you do not allow the very obviously recursive
> program:
>
> Counter{
> if Halt(Counter, '') then Loop
> else stop
> }

Relevant Pages