Re: [PO] halting problem reading comprehension

From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 08/30/04 

Date: Mon, 30 Aug 2004 23:21:21 GMT

"Mitch Harris" <harrisq@tcs.inf.tu-dresden.de> wrote in message news:2pgnu3Fk5lgnU1@uni-berlin.de...
> 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?

Although there may be other standards that are also
sufficient, I know that this one is sufficient. If you
can show one input that I can not possibly correctly
process, then my claim there there is no such input
has been fully refuted.

>
> > 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 ...
    (comp.theory)
  • 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)