Re: Foundation for a Formal Refutation of the Original Halting Problem?

From: Owen Jacobson (angstrom_at_lionsanctuary.net)
Date: 08/04/04 

Date: Wed, 04 Aug 2004 05:29:57 GMT

On Wed, 04 Aug 2004 05:00:47 +0000, Owen Jacobson wrote:

> Fun fact: ...

Fun fact #2: I didn't proofread nearly closely enough. No errors that
change the meat of what I'm saying, but a few possible head-scratchers.

> Peter's own example program...

...which my newsreader *INSISTS* on mangling when I post it. It should
read:

> Peter Olcott, Message-ID:
> <UiAPc.166937$OB3.76613@bgtnsc05-news.ops.worldnet.att.net>
>> 08) void LoopIfHalts(string SourceCode, string DataInput)
>> 09) {
>> 10) if (WillHalt(SourceCode, DataInput))
>> 11) while(true)
>> 12) ;
>> 13) else
>> 14) return;
>> 15) }
>>
>> 16) cout << WillHalt(LoopIfHalts, LoopIfHalts);

> This is Turing's proof, with examples expressed in C++ for ease of
> reading. I invite all and sundry to highly errors, by quoting them and
                                       ^^^^^^
                                     highlight
> then describing, as precisely as possible, the error. 

-- 
Some say the Wired doesn't have political borders like the real world,
but there are far too many nonsense-spouting anarchists or idiots who
think that pranks are a revolution.

Relevant Pages

  • Re: Foundation for a Formal Refutation of the Original Halting Problem?
    ... change the meat of what I'm saying, but a few possible head-scratchers. ... ...which my newsreader *INSISTS* on mangling when I post it. ...
    (sci.logic)
  • Re: Why do people buy kosher?
    ... there is because it seems like their ought to be meat. ... I'm saying that people in practice do think about the meat if the pot ... :> I'm taking a riff on that theme by saying that halakhah is ignoring ...
    (soc.culture.jewish.moderated)
  • Re: OT: May I be your dowager? (Martians)
    ... *sort* by subject headers. ... A thread cannot be influenced by one's newsreader settings. ... So, meat of suckling pigs is cooked in "vin brusco", ... The cooked meat is then covered with olive oil. ...
    (rec.food.cooking)
  • Re: UN says eat less meat to curb global warming.
    ... were saying: ... "Meat must be rationed to four portions a week, says report on climate ...
    (uk.transport)
  • Re: Shortage of sperm donors
    ... saying something like "I've heard Charlotte Green say 'penis' - I ... Who's newsreader on TNQ this week I wonder? ...
    (uk.media.radio.archers)