Re: [PO] halting problem reading comprehension

From: Mitch Harris (harrisq_at_tcs.inf.tu-dresden.de)
Date: 08/30/04


Date: Mon, 30 Aug 2004 15:21:07 +0200

Peter Olcott wrote:
> "Simon G Best" <s.g.best@btopenworld.com> wrote in message news:4133078A.3090606@btopenworld.com...
>>Mitch Harris wrote:
>>>Simon G Best <s.g.best@btopenworld.com> wrote:
>
> I have set a simple and precise standard for refuting my position
> that does meet the burden of proof of prving a negative.

What if your standard doesn't actually do that?

> If you
> want to join in with this feel free. The standard is simply to find
> an input that my method can not correctly process.

Oh. What is your method again? I think it is something like
"in the diagonalization process, don't allow the Halt
analyzer to call itself". Is that right? Or rather don't
allow Diag to call itself (since Halt is really an arbitrary
TM -not- calling itself; it is Diag callling diag that is
considered). How about that?

> I am current
> working with news_to_me@comcast.net (underscrose added for
> emphasis) on this basis for one of my models.

He's the authority.

-- 
Mitch Harris
(remove q to reply)


Relevant Pages

  • Re: [PO] halting problem reading comprehension
    ... What if your standard doesn't actually do that? ... > an input that my method can not correctly process. ... allow Diag to call itself (since Halt is really an arbitrary ... it is Diag callling diag that is ...
    (sci.logic)
  • Re: [PO] halting problem reading comprehension
    ... >> I have set a simple and precise standard for refuting my position ... >> an input that my method can not correctly process. ... > allow Diag to call itself (since Halt is really an arbitrary ...
    (comp.theory)
  • Re: [PO] halting problem reading comprehension
    ... >> I have set a simple and precise standard for refuting my position ... >> an input that my method can not correctly process. ... > allow Diag to call itself (since Halt is really an arbitrary ...
    (sci.logic)
  • Re: [PO] halting problem reading comprehension
    ... Diag is the TM ... >>that yours cannot possibly correctly process (for those who ... >>hypothetical existence of a TM for Halt). ... it just needs some qualification. ...
    (sci.logic)
  • Re: [PO] halting problem reading comprehension
    ... Diag is the TM ... >>that yours cannot possibly correctly process (for those who ... >>hypothetical existence of a TM for Halt). ... it just needs some qualification. ...
    (comp.theory)