Troll-flatulence mistaken for Ghost [was: Can returning a value change the value itself (in the Halting Problem)]

From: >parr\(*> (LauryKing_at_BTInternetnospam.com)
Date: 08/21/04


Date: Sat, 21 Aug 2004 23:06:57 +0000 (UTC)


"Peter Olcott" <olcott@worldnet.att.net> wrote in message
news:rKzVc.230526$OB3.129707@bgtnsc05-news.ops.worldnet.att.net...
|
| "The Ghost In The Machine" <ewill@aurigae.athghost7038suus.net>
wrote in message news:ljdgv1-p97.ln1@lexi2.athghost7038suus.net...
| > So can you construct WillHalt() on the modified TM? (Or at
| > least an algorithmic representation thereof?)
|
| No, and neither can anyone else. At least not yet. No one
| has even tried because it was "known" to be impossible.
| Now that undecidability has been refuted people may again
| to begin to work on this no longer hopeless cause.

Pet Pet Pet Peter, you seem to forget that |-|erc has already beaten
you to it.

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


Relevant Pages