Re: What is the Result from Invoking this Halt Function?

From: >parr\(*> (gniKyruaL_at_tenretnitb.moc)
Date: 08/09/04 

Date: Mon, 9 Aug 2004 21:27:03 +0000 (UTC)

"Peter Olcott" <olcott@worldnet.att.net> wrote in message
news:dNWPc.381378$Gx4.33038@bgtnsc04-news.ops.worldnet.att.net...
|
| "Daryl McCullough" <daryl@atc-nycorp.com> wrote in message
news:ceo8qv01dic@drn.newsguy.com...
| > Simon G Best says...
| >
| > Yes, this error, which Peter has made *repeatedly* without
bothering
| > to fix (even though the fix is trivial) is an important clue, I
think,
| > to Peter's problem. He's a programmer, so I'm sure he would never
| > write
| >
| > void LoopIfHalts(String M, String x) {
| > if (H(M,x)) {
| > while (true) {}
| > }
| > }
| >
| > LoopIfHalts(LoopIfHalts);
| >
| > He would *know* that makes no sense, because (1) LoopIfHalts
| > is defined to have two string arguments, and (2) LoopIfHalts
| > is not a string, it is a program, so it makes no sense to treat
| > it as if it were a string. (You need a coding function.)
|
| So I make several trivial errors that have no effect on my main
| point, from my single minded focus on this main point. So what?
|

Is your 'main point' based on this trivially erroneous code? If so,
your main point is in error.

If not, this erroneous code is off topic. It is a red herring which
you use to hide your ignorance of Turing's proof.

Correction. It is a red herring which you use to attempt to hide
your ignorance of Turing's proof. 

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

Relevant Pages
Loading