Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #50243

Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ]

From Ben <ben.usenet@bsb.me.uk>
Newsgroups comp.theory
Subject Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ]
Date 2022-05-11 20:51 +0100
Organization A noiseless patient Spider
Message-ID <87mtfn7sqf.fsf@bsb.me.uk> (permalink)
References <xpmdnb7bu_9vxOf_nZ2dnUU7_8zNnZ2d@giganews.com> <87mtfpl73u.fsf@bsb.me.uk> <s_mdnY6QA4NWoub_nZ2dnUU7_83NnZ2d@giganews.com> <878rr88asc.fsf@bsb.me.uk> <6tSdnf7lqsyFWub_nZ2dnUU7_83NnZ2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> Here is the same trace that also shows the recursive simulation memory
> allocations. I erase them because they are distracting.

You are admitting you are posting edited traces?  Who would have guessed
that!  Are you still editing them?  There's still no evidence of nested
simulation.

> (a) The correct simulation of the input to H(P,P) never halts.

The correct simulation of P(P) halts.

> (b) The correct simulation of the input to H1(P,P) halts.

No one cares about H1.  It's H that's wrong.

> (c) The direct execution of P(P) halts.

And H(P,P) == false.

> (b) and (c) are computationally equivalent.

According to you, one halts and the other does not.  They are clearly
not equivalent.

> (a) and (b) are NOT computationally equivalent.

No one cares about H1.  It's H(P,P)==false even though P(P) halts that's
wrong.

-- 
Ben.
"le génie humain a des limites, quand la bêtise humaine n’en a pas"
Alexandre Dumas (fils)

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] olcott <NoOne@NoWhere.com> - 2022-05-10 07:26 -0500
  Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] wij <wyniijj2@gmail.com> - 2022-05-10 07:55 -0700
  Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Ben <ben.usenet@bsb.me.uk> - 2022-05-10 16:50 +0100
    Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] olcott <NoOne@NoWhere.com> - 2022-05-10 23:47 -0500
      Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Richard Damon <Richard@Damon-Family.org> - 2022-05-11 07:16 -0400
      Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Ben <ben.usenet@bsb.me.uk> - 2022-05-11 14:21 +0100
        Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] olcott <NoOne@NoWhere.com> - 2022-05-11 09:24 -0500
          Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Ben <ben.usenet@bsb.me.uk> - 2022-05-11 20:51 +0100
          Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Richard Damon <Richard@Damon-Family.org> - 2022-05-11 19:42 -0400
    Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] olcott <NoOne@NoWhere.com> - 2022-05-11 09:07 -0500
      Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Ben <ben.usenet@bsb.me.uk> - 2022-05-11 20:54 +0100
        Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] olcott <NoOne@NoWhere.com> - 2022-05-11 16:35 -0500
          Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Ben <ben.usenet@bsb.me.uk> - 2022-05-12 01:25 +0100
            Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] olcott <NoOne@NoWhere.com> - 2022-05-11 19:38 -0500
              Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Richard Damon <Richard@Damon-Family.org> - 2022-05-11 20:59 -0400
              Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] Ben <ben.usenet@bsb.me.uk> - 2022-05-12 02:24 +0100
                Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ]( will keep repeating until understood ) olcott <NoOne@NoWhere.com> - 2022-05-11 21:46 -0500
                Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ]( will keep repeating until understood ) Richard Damon <Richard@Damon-Family.org> - 2022-05-11 23:10 -0400
                Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ]( will keep repeating until understood ) Ben <ben.usenet@bsb.me.uk> - 2022-05-12 21:32 +0100
  Re: Proof that H(P,P)==0 is correct [ refuting the halting problem proofs ] wij <wyniijj2@gmail.com> - 2022-05-13 12:38 -0700

csiph-web