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-12 02:24 +0100
Organization	A noiseless patient Spider
Message-ID	<87a6bn5yrs.fsf@bsb.me.uk> (permalink)
References	(2 earlier) <doSdnZX9dO2SXub_nZ2dnUU7_8zNnZ2d@giganews.com> <87h75v7slr.fsf@bsb.me.uk> <bfWdnfqTUoqJseH_nZ2dnUU7_83NnZ2d@giganews.com> <87wner61gs.fsf@bsb.me.uk> <pq-dnaM1atBxy-H_nZ2dnUU7_8zNnZ2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> On 5/11/2022 7:25 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>> 
>>> On 5/11/2022 2:54 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 5/10/2022 10:50 AM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> (a) Verify that the execution trace of P by H is correct by comparing
>>>>>>> this execution trace to the ax86 source-code of P.
>>>>>>
>>>>>> P called with what argument?  I assume P.
>>>>>>
>>>>>>> (b) Verify that this execution trace shows that P is stuck in
>>>>>>> infinitely nested simulation (a non-halting behavior).
>>>>>>
>>>>>> Something is wrong in your code if P(P), or a simulation of P(P), does
>>>>>> not halt, since you told us that it does.  Post the code and someone
>>>>>> will help you find the bug.
>>>>>
>>>>> If you had the technical skill you could verify that it is 100%
>>>>> impossible for there to be anything wrong with the code on the basis
>>>>> of that of the verifiably correct execution trace that it derives.
>>>> You trace clearly and accurately shows that what you call the
>>>> "simulation of the input" is wrong.
>>>
>>> That is utter nonsense.
>>
>> The whole exchange is ridiculous.  You post traces you now admit are
>> edited. 
>
> I normally have that debug info disabled so it need not be edited.
> You needed to see that it really is recursive simulation (because you
> didn't believe me) so I left these details in.

No, I said it is not a nested simulation -- i.e. a simulation of a
function that then simulates a simulation and so on.  It clearly isn't.
The trace is not a trace of what you claim your H is doing.  That's why
you are hiding H and why you will never publish it.

>> You won't post the code for H because you know it's wrong.  
>
> That is a ridiculously stupid thing to say when it is so dead obvious
> that I proved that the code is correct on the basis of the 14 lines of
> correct simulation that it produces.

Yet you still hide the code!  You know it's wrong.  If you really
thought you had anything of value, you would have have published
everything.  Keeping secrets is a dead give-away.

> These things have been DEAD OBVIOUS for six months and everyone here
> is too stupid, dishonest or ignorant to acknowledge them.

Yet you have published nothing!  It is, according to you, obvious that
you are right, so why are you not published and famous?  Is every
journal editor and CS professor (the people editors get to review
papers) also stupid and dishonest?  And how could you possibly know?

The truth is you simply can't find a way to make H(P,P) == false even
though P(P) halts sound anything other than preposterous, so what could
you possibly publish?  No one will take traces over the code and you
know that when you show the code the game is up.

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

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