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

Groups > comp.theory > #50258

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

Show all headers | View raw

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.  You won't post the code for H because you know it's wrong.  All
the rest of your posts are just frantic attempts to take the focus away
from the facts you have already admitted: that H(P,P) == false even
though P(P) halts.

H is unable to do the job it is supposed to do: correctly determine the
halting or otherwise of certain function calls.  There are no arguments
that can be passed to H so that H can tell us that the function call
P(P) halts.

You have used the same diversion again and again.  When confronted with
a huge mistake, you post even more errors to try draw attention away
from the big mistake.  All the errors in your recent posts are of no
significance compared to the fact that H does not do the job is it
supposed to do.

-- 
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