Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO)

From: Daryl McCullough (daryl_at_atc-nycorp.com)
Date: 06/24/04 

Date: 24 Jun 2004 05:26:24 -0700

In article <4moCc.124060$Gx4.66500@bgtnsc04-news.ops.worldnet.att.net>, Peter
Olcott says...
>
>> Actually, Peter screwed up the counterexample. If you
>
>I just copied the original, allowing the reader to make
>any slight adjustments that may be required.

Thus showing that you aren't really thinking about what
you are posting.

>> are asking "Does LoopIfHalts halt?" you need to specify
>> the inputs. It has two input parameters, M and w. What
>> is Peter wanting M and w to be? Presumably, he wants
>> M to be the code for LoopIfHalts. But then what's w?
>>
>> I think what he meant to write was something more like:
>>
>> function LoopIfHalts(M):
>> if WillHalt (M, M) then
>> while true do {}
>> else
>> return false;
>
>function LoopIfHalts(bool YouSayItHalts):
> if YouSayItHalts then
> while true do {}
> else
> return false;
>
>Is this simple enough for you?

I wrote down the correct counterexample. Why do you
want to replace it by an incorrect one?

Yours makes no sense. 

--
Daryl McCullough
Ithaca, NY

Relevant Pages

  • Re: It is + adjective + gerund
    ... > Sorry if I've annoyed you, Peter. ... > this usage might be ungrammatical or, at any rate, substandard. ... > that you'd offered the cellphone sentence as a counterexample, ... > implicitly to acknowledge that the cellphone sentence is not a true ...
    (sci.lang)
  • Re: "To run is good exercise"?!
    ... > Geoff wrote: ... >> Peter T. Daniels wrote: ... >>> To provide a counterexample, ... > To make things absolutely clear (for the sake of people like Peter who ...
    (sci.lang)
  • Re: Cherry picking (Was: Re: flaunt/flout redux)
    ... > Peter T. Daniels wrote: ... > provided at least one counterexample. ... For the third time, look at any pornography store, and you ...
    (sci.lang)
  • Re: Ginas multiplication problem - what I got out of it
    ... > Peter believes 'All has to be knowable' which means that he believes ... > 'All proofs of unknowability must be wrong'. ... The counterexample is just a 'screwing-up' of Halt, ...
    (sci.logic)
  • Re: Alan Turings Halting Problem is incorrectly formed (PART-TWO)
    ... >If YouSayItHalts is supposed to be a function, and if it is supposed to ... >be able to predict whether I will say that LoopIfHalts halts, ... I think what Peter meant was something like this: ... provide the answer you give as input to the program LoopIfHalts ...
    (comp.theory)