Re: Disproof of the Halting Problem's Conclusion
From: Daryl McCullough (daryl_at_atc-nycorp.com)
Date: 07/22/04
- Next message: Jón Fairbairn: "Re: Question about Gentzen's LK system and cut elimination"
- Previous message: Daryl McCullough: "Re: Disproof of the Halting Problem's Conclusion"
- In reply to: Peter Olcott: "Re: Disproof of the Halting Problem's Conclusion"
- Next in thread: Chris Menzel: "Re: Disproof of the Halting Problem's Conclusion"
- Reply: Chris Menzel: "Re: Disproof of the Halting Problem's Conclusion"
- Reply: Isaac To: "Re: Disproof of the Halting Problem's Conclusion"
- Reply: Peter Olcott: "Re: Disproof of the Halting Problem's Conclusion"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 22 Jul 2004 05:17:22 -0700
Peter Olcott says...
>It ONLY proves that bool WillHalt() does not exist.
>It proves NOTHING about void WillHalt().
There are two possibilities here: (1) Your hypothetical
void WillHalt can be simulated by a Turing Machine, or
(2) It can't.
In case (1), your program has no relevance to
Turing's proof, since he was proving that no *Turing*
machine program can solve the halting problem. In
case (2), your program fails; it can't solve
the halting problem any better than bool WillHalt() can.
The key point, which I would think you would understand
as a computer programmer, is this:
If there is a program P1 that sends its outputs to the screen,
then there is a modified program P2 that returns its outputs
as a return value.
Exactly *how* you make your outputs is irrelevant.
-- Daryl McCullough Ithaca, NY
- Next message: Jón Fairbairn: "Re: Question about Gentzen's LK system and cut elimination"
- Previous message: Daryl McCullough: "Re: Disproof of the Halting Problem's Conclusion"
- In reply to: Peter Olcott: "Re: Disproof of the Halting Problem's Conclusion"
- Next in thread: Chris Menzel: "Re: Disproof of the Halting Problem's Conclusion"
- Reply: Chris Menzel: "Re: Disproof of the Halting Problem's Conclusion"
- Reply: Isaac To: "Re: Disproof of the Halting Problem's Conclusion"
- Reply: Peter Olcott: "Re: Disproof of the Halting Problem's Conclusion"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
