Re: [PO] halting problem reading comprehension
From: Mitch Harris (harrisq_at_tcs.inf.tu-dresden.de)
Date: 08/30/04
- Next message: Simon G Best: "Re: [PO] Re: Can a regular Turing Machine provide Protected Memory?"
- Previous message: Nick Smallbone: "Re: Can a regular Turing Machine provide Protected Memory?"
- In reply to: Peter Olcott: "Re: [PO] halting problem reading comprehension"
- Next in thread: Peter Olcott: "Re: [PO] halting problem reading comprehension"
- Reply: Peter Olcott: "Re: [PO] halting problem reading comprehension"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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)
- Next message: Simon G Best: "Re: [PO] Re: Can a regular Turing Machine provide Protected Memory?"
- Previous message: Nick Smallbone: "Re: Can a regular Turing Machine provide Protected Memory?"
- In reply to: Peter Olcott: "Re: [PO] halting problem reading comprehension"
- Next in thread: Peter Olcott: "Re: [PO] halting problem reading comprehension"
- Reply: Peter Olcott: "Re: [PO] halting problem reading comprehension"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|