Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

It's all magic. :-) -- Larry Wall in <7282@jpl-devvax.JPL.NASA.GOV>


devel / comp.theory / Re: My honest reviewers: André, Ben, Mike, Dennis, Richard

SubjectAuthor
* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ keyolcott
+- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Python
+- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
 `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
   `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |+* Refuting the Peter Linz Halting Problem Proof --- Version(10) [Malcolm McLean
    ||`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    || `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [Malcolm McLean
    ||  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    ||   +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    ||   |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    ||   | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    ||   |  `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    ||   `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
    |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    | +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
    | |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    | | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    | |  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    | |   `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    | |    `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    | |     `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |   `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |    `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |     +- Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |     `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |      +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |      |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |      | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |      |  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |      |   `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |      `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |       `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |   +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |   |`- Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |   `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |+- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Python
    |   |        |    |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    |   `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |    `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    |     `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [Jeff Barnett
    |   |        |    |      |`- Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |      |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |      |  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      |   +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [Jeff Barnett
    |   |        |    |      |   |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      |   | `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |      |   |  `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      |   |   `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |      |   |    `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      |   |     `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |      |   |      `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      |   |       +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |      |   |       |`- Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |      |   |       `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
    |   |        |    |      |   `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
    |   |        |    |      `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    |       `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |        `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    |         `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |          +- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
    |   |        |    |          `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    |           `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |            +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    |            |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |            | +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [Dennis Bush
    |   |        |    |            | |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |            | | +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [Python
    |   |        |    |            | | |`* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |            | | | +- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Python
    |   |        |    |            | | | `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
    |   |        |    |            | | `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
    |   |        |    |            | +* Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse
    |   |        |    |            | |`- Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |            | `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Richard Damon
    |   |        |    |            `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |             +- Refuting the Peter Linz Halting Problem Proof --- Version(10) [Malcolm McLean
    |   |        |    |             `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |              `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |               `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    |                `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   |        |    |                 `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        |    `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [olcott
    |   |        `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [André G. Isaak
    |   `* Refuting the Peter Linz Halting Problem Proof --- Version(10) [Andy Walker
    `- Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key missing piecBen Bacarisse

Pages:12345678910111213141516171819202122232425262728293031323334353637383940
Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]

<q%J6K.214824$OT%7.78547@fx07.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30477&group=comp.theory#30477

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!feeder.usenetexpress.com!tr1.eu1.usenetexpress.com!feeder1.feed.usenet.farm!feed.usenet.farm!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx07.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com> <87a6cpyah6.fsf@bsb.me.uk> <B6-dnWRCiaTipsv_nZ2dnUU7_81g4p2d@giganews.com> <87bkx5vvi5.fsf@bsb.me.uk> <9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com> <87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com> <87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com> <87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com> <87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com> <8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com> <87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com> <87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com> <87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com> <87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 93
Message-ID: <q%J6K.214824$OT%7.78547@fx07.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Sat, 16 Apr 2022 21:24:38 -0400
X-Received-Bytes: 5273
 by: Richard Damon - Sun, 17 Apr 2022 01:24 UTC

On 4/16/22 9:11 PM, olcott wrote:
> On 4/16/2022 8:08 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/15/2022 5:03 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/15/2022 6:48 AM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> On 4/14/2022 7:12 PM, Ben wrote:
>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>>>> That a non input halts, converts the world to Fascism or opens
>>>>>>>>> a very
>>>>>>>>> popular brothel is totally unrelated to the easily confirmed
>>>>>>>>> fact that
>>>>>>>>> the input to H(P,P)* does not halt.
>>>>>>>>
>>>>>>>> The correct value of H(P,P) is determined by the halting status
>>>>>>>> of what
>>>>>>>> you call a non input:
>>>>>>>
>>>>>>> LIAR LIAR PANTS ON FIRE
>>>>>>
>>>>>> No.  The correct value of H(P,P) is not for you to choose.
>>>>>
>>>>> I have proven that the correctly simulated input to H(P,P) never halts
>>>>> therefore H would be necessarily correct to report this?
>>>> H(M,I) should be false if and only if M(I) does not halt.
>>>
>>> The fact that the input H(P,P) is non-halting completely refutes
>>> anything and everyone in the universe that says otherwise.
>>
>> It's a mantra now.
> If I was wrong then the correct simulation of the 27 bytes of machine
> code at machine address [000009d6] by H would show some correct
> execution trace from machine address [000009d6] ending at machine
> address [000009f0].
>
> _P()
> [000009d6](01) 55         push ebp
> [000009d7](02) 8bec       mov ebp,esp
> [000009d9](03) 8b4508     mov eax,[ebp+08]
> [000009dc](01) 50         push eax         // push P
> [000009dd](03) 8b4d08     mov ecx,[ebp+08]
> [000009e0](01) 51         push ecx         // push P
> [000009e1](05) e840feffff call 00000826    // call H
> [000009e6](03) 83c408     add esp,+08
> [000009e9](02) 85c0       test eax,eax
> [000009eb](02) 7402       jz 000009ef
> [000009ed](02) ebfe       jmp 000009ed
> [000009ef](01) 5d         pop ebp
> [000009f0](01) c3         ret              // Final state
> Size in bytes:(0027) [000009f0]
>
> That everyone refuses this challenge proves that it is beyond their
> technical capacity or that they are liars.

Note. you are also lying about people not responding. You are ignoring
them, just like you are ignoring the truth about what you are talking about.

Be careful about being guilty of Defamation.

>
>
> Halting problem undecidability and infinitely nested simulation (V5)
>
> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5
>
>
>

So what is at 826, with out that we can't run the machine.

But the trace WOULD be

[000009d6](01) 55 push ebp
[000009d7](02) 8bec mov ebp,esp
[000009d9](03) 8b4508 mov eax,[ebp+08]
[000009dc](01) 50 push eax // push P
[000009dd](03) 8b4d08 mov ecx,[ebp+08]
[000009e0](01) 51 push ecx // push P
[000009e1](05) e840feffff call 00000826 // call H
// Since you have defined that H returns Non-Halting, the above call
// WILL return the value 0.
[000009e6](03) 83c408 add esp,+08
[000009e9](02) 85c0 test eax,eax
[000009eb](02) 7402 jz 000009ef, eax is zero, so will jump

[000009ef](01) 5d pop ebp
[000009f0](01) c3 ret // Final state

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30479&group=comp.theory#30479

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 16 Apr 2022 20:33:14 -0500
Date: Sat, 16 Apr 2022 20:33:14 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
Why lie ? ]
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87a6cpyah6.fsf@bsb.me.uk> <B6-dnWRCiaTipsv_nZ2dnUU7_81g4p2d@giganews.com>
<87bkx5vvi5.fsf@bsb.me.uk> <9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com>
<87fsmer2y3.fsf@bsb.me.uk> <mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87o812ngky.fsf@bsb.me.uk> <beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com>
<87tuaslcxa.fsf@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <87tuaslcxa.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
Lines: 66
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-lDdMJr++fGqfl9p3v81tGA29QkNbPXEBGOnV3/ZoHQO6y2zM1BrZJxKAOe+54urUaqCLJ6tkXNtXXVc!js0qUNSwyyGg1Xuo6M9CMK9F57yozw6NA2GBpekJCEYGx8oIwQ49KK7gqK7zlxfdnLqD7+1CcGhC
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 4379
 by: olcott - Sun, 17 Apr 2022 01:33 UTC

On 4/16/2022 8:24 PM, Ben wrote:
> olcott <NoOne@NoWhere.com> writes:
>
>> On 4/15/2022 5:10 PM, Ben wrote:
>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>> On 4/15/2022 6:39 AM, Ben wrote:
>>>
>>>>> Anyway, you don't get to say what the correct answer is.
>>>>
>>>> Computer science says that...
>>> WHOOP! WHOOP! WHOOP! **wonky paraphrase alert**
>>
>> On 4/15/2022 10:02 AM, olcott wrote:
>>> Computer science says that any input to a halt decider that
>>> would never reach its own final state is non-halting.
>>
>> The above is the rest of the quote that you despicably removed.
>> You are such a complete Jackass.
>
> I'll remember to keep the wonky paraphrase intact in future. I was not
> accusing you of lying about what "computer science" says, just of not
> understanding what it says. This is true, I'm sure, of all your "so
> what you are saying is..." catastrophes. Hanlon's Razor and all that.
>

The key point is that because the input to H(P,P) is non-halting
H(P,P)==false is necessary correct.

If I was wrong then the correct simulation of the 27 bytes of machine
code at machine address [000009d6] by H would show some correct
execution trace from machine address [000009d6] ending at machine
address [000009f0].

_P()
[000009d6](01) 55 push ebp
[000009d7](02) 8bec mov ebp,esp
[000009d9](03) 8b4508 mov eax,[ebp+08]
[000009dc](01) 50 push eax // push P
[000009dd](03) 8b4d08 mov ecx,[ebp+08]
[000009e0](01) 51 push ecx // push P
[000009e1](05) e840feffff call 00000826 // call H
[000009e6](03) 83c408 add esp,+08
[000009e9](02) 85c0 test eax,eax
[000009eb](02) 7402 jz 000009ef
[000009ed](02) ebfe jmp 000009ed
[000009ef](01) 5d pop ebp
[000009f0](01) c3 ret // Final state
Size in bytes:(0027) [000009f0]

That everyone refuses this challenge proves that it is beyond their
technical capacity or that they are liars.

Halting problem undecidability and infinitely nested simulation (V5)

https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30480&group=comp.theory#30480

 copy link   Newsgroups: comp.theory
X-Received: by 2002:a37:a8d3:0:b0:69e:84e7:e35 with SMTP id r202-20020a37a8d3000000b0069e84e70e35mr1541566qke.525.1650160622355;
Sat, 16 Apr 2022 18:57:02 -0700 (PDT)
X-Received: by 2002:a81:6955:0:b0:2ec:e0ad:fb4d with SMTP id
e82-20020a816955000000b002ece0adfb4dmr4782036ywc.484.1650160622139; Sat, 16
Apr 2022 18:57:02 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!nntp.club.cc.cmu.edu!45.76.7.193.MISMATCH!3.us.feeder.erje.net!feeder.erje.net!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 16 Apr 2022 18:57:01 -0700 (PDT)
In-Reply-To: <_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
Injection-Info: google-groups.googlegroups.com; posting-host=71.168.165.242; posting-account=ejFcQgoAAACAt5i0VbkATkR2ACWdgADD
NNTP-Posting-Host: 71.168.165.242
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87a6cpyah6.fsf@bsb.me.uk> <B6-dnWRCiaTipsv_nZ2dnUU7_81g4p2d@giganews.com>
<87bkx5vvi5.fsf@bsb.me.uk> <9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com>
<87fsmer2y3.fsf@bsb.me.uk> <mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87o812ngky.fsf@bsb.me.uk> <beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com>
<87tuaslcxa.fsf@bsb.me.uk> <_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com>
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
Why lie ? ]
From: dbush.mo...@gmail.com (Dennis Bush)
Injection-Date: Sun, 17 Apr 2022 01:57:02 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 59
 by: Dennis Bush - Sun, 17 Apr 2022 01:57 UTC

On Saturday, April 16, 2022 at 9:33:22 PM UTC-4, olcott wrote:
> On 4/16/2022 8:24 PM, Ben wrote:
> > olcott <No...@NoWhere.com> writes:
> >
> >> On 4/15/2022 5:10 PM, Ben wrote:
> >>> olcott <No...@NoWhere.com> writes:
> >>>
> >>>> On 4/15/2022 6:39 AM, Ben wrote:
> >>>
> >>>>> Anyway, you don't get to say what the correct answer is.
> >>>>
> >>>> Computer science says that...
> >>> WHOOP! WHOOP! WHOOP! **wonky paraphrase alert**
> >>
> >> On 4/15/2022 10:02 AM, olcott wrote:
> >>> Computer science says that any input to a halt decider that
> >>> would never reach its own final state is non-halting.
> >>
> >> The above is the rest of the quote that you despicably removed.
> >> You are such a complete Jackass.
> >
> > I'll remember to keep the wonky paraphrase intact in future. I was not
> > accusing you of lying about what "computer science" says, just of not
> > understanding what it says. This is true, I'm sure, of all your "so
> > what you are saying is..." catastrophes. Hanlon's Razor and all that.
> >
> The key point is that because the input to H(P,P) is non-halting
> H(P,P)==false is necessary correct.
> If I was wrong then the correct simulation of the 27 bytes of machine
> code at machine address [000009d6] by H would show some correct
> execution trace from machine address [000009d6] ending at machine
> address [000009f0].
>
> _P()
> [000009d6](01) 55 push ebp
> [000009d7](02) 8bec mov ebp,esp
> [000009d9](03) 8b4508 mov eax,[ebp+08]
> [000009dc](01) 50 push eax // push P
> [000009dd](03) 8b4d08 mov ecx,[ebp+08]
> [000009e0](01) 51 push ecx // push P
> [000009e1](05) e840feffff call 00000826 // call H
> [000009e6](03) 83c408 add esp,+08
> [000009e9](02) 85c0 test eax,eax
> [000009eb](02) 7402 jz 000009ef
> [000009ed](02) ebfe jmp 000009ed
> [000009ef](01) 5d pop ebp
> [000009f0](01) c3 ret // Final state
> Size in bytes:(0027) [000009f0]
>
> That everyone refuses this challenge proves that it is beyond their
> technical capacity or that they are liars.
> Halting problem undecidability and infinitely nested simulation (V5)
>
> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5

You claim that because Ha(Pa,Pa) cannot simulate its input to a final state then it is correct to return false.

By the same logic, because Ha3(N,5) cannot simulate its input to a final state then it is correct to return false.

Agreed?

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30482&group=comp.theory#30482

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Followup: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 16 Apr 2022 21:17:52 -0500
Date: Sat, 16 Apr 2022 21:17:51 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
Why lie ? ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87a6cpyah6.fsf@bsb.me.uk> <B6-dnWRCiaTipsv_nZ2dnUU7_81g4p2d@giganews.com>
<87bkx5vvi5.fsf@bsb.me.uk> <9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com>
<87fsmer2y3.fsf@bsb.me.uk> <mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87o812ngky.fsf@bsb.me.uk> <beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com>
<87tuaslcxa.fsf@bsb.me.uk> <_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
<3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com>
Followup-To: comp.theory
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 71
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-8zCOqCXvuuK6LkoVoTgqtLSjxLa4wcckXLpwUY7OrZP6uluqu10mscziMENCjOjbAShRGhRwH33UN7m!Ro+Vwm4Gnar/NrGEw5spgYUYZW7T+b9IaixxezquG38xzX1fSbmWkdKLEhNCeNI4XLn4uR02zLEw
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 5039
 by: olcott - Sun, 17 Apr 2022 02:17 UTC

On 4/16/2022 8:57 PM, Dennis Bush wrote:
> On Saturday, April 16, 2022 at 9:33:22 PM UTC-4, olcott wrote:
>> On 4/16/2022 8:24 PM, Ben wrote:
>>> olcott <No...@NoWhere.com> writes:
>>>
>>>> On 4/15/2022 5:10 PM, Ben wrote:
>>>>> olcott <No...@NoWhere.com> writes:
>>>>>
>>>>>> On 4/15/2022 6:39 AM, Ben wrote:
>>>>>
>>>>>>> Anyway, you don't get to say what the correct answer is.
>>>>>>
>>>>>> Computer science says that...
>>>>> WHOOP! WHOOP! WHOOP! **wonky paraphrase alert**
>>>>
>>>> On 4/15/2022 10:02 AM, olcott wrote:
>>>>> Computer science says that any input to a halt decider that
>>>>> would never reach its own final state is non-halting.
>>>>
>>>> The above is the rest of the quote that you despicably removed.
>>>> You are such a complete Jackass.
>>>
>>> I'll remember to keep the wonky paraphrase intact in future. I was not
>>> accusing you of lying about what "computer science" says, just of not
>>> understanding what it says. This is true, I'm sure, of all your "so
>>> what you are saying is..." catastrophes. Hanlon's Razor and all that.
>>>
>> The key point is that because the input to H(P,P) is non-halting
>> H(P,P)==false is necessary correct.
>> If I was wrong then the correct simulation of the 27 bytes of machine
>> code at machine address [000009d6] by H would show some correct
>> execution trace from machine address [000009d6] ending at machine
>> address [000009f0].
>>
>> _P()
>> [000009d6](01) 55 push ebp
>> [000009d7](02) 8bec mov ebp,esp
>> [000009d9](03) 8b4508 mov eax,[ebp+08]
>> [000009dc](01) 50 push eax // push P
>> [000009dd](03) 8b4d08 mov ecx,[ebp+08]
>> [000009e0](01) 51 push ecx // push P
>> [000009e1](05) e840feffff call 00000826 // call H
>> [000009e6](03) 83c408 add esp,+08
>> [000009e9](02) 85c0 test eax,eax
>> [000009eb](02) 7402 jz 000009ef
>> [000009ed](02) ebfe jmp 000009ed
>> [000009ef](01) 5d pop ebp
>> [000009f0](01) c3 ret // Final state
>> Size in bytes:(0027) [000009f0]
>>
>> That everyone refuses this challenge proves that it is beyond their
>> technical capacity or that they are liars.
>> Halting problem undecidability and infinitely nested simulation (V5)
>>
>> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5
>
> You claim that because Ha(Pa,Pa) cannot simulate its input to a final state then it is correct to return false.
>
> By the same logic, because Ha3(N,5) cannot simulate its input to a final state then it is correct to return false.
>
> Agreed?

I agreed that you dodged my challenge.
I will stop responding until you meet my challenge.

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<4ee674bd-99d5-4109-9890-027349b41b5cn@googlegroups.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30483&group=comp.theory#30483

 copy link   Newsgroups: comp.theory
X-Received: by 2002:ac8:5c4d:0:b0:2e0:71b7:2829 with SMTP id j13-20020ac85c4d000000b002e071b72829mr3629564qtj.323.1650162815175;
Sat, 16 Apr 2022 19:33:35 -0700 (PDT)
X-Received: by 2002:a05:6902:84:b0:63d:4a3d:eb5 with SMTP id
h4-20020a056902008400b0063d4a3d0eb5mr4966656ybs.145.1650162814984; Sat, 16
Apr 2022 19:33:34 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sat, 16 Apr 2022 19:33:34 -0700 (PDT)
In-Reply-To: <jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>
Injection-Info: google-groups.googlegroups.com; posting-host=71.168.165.242; posting-account=ejFcQgoAAACAt5i0VbkATkR2ACWdgADD
NNTP-Posting-Host: 71.168.165.242
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87a6cpyah6.fsf@bsb.me.uk> <B6-dnWRCiaTipsv_nZ2dnUU7_81g4p2d@giganews.com>
<87bkx5vvi5.fsf@bsb.me.uk> <9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com>
<87fsmer2y3.fsf@bsb.me.uk> <mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87o812ngky.fsf@bsb.me.uk> <beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com>
<87tuaslcxa.fsf@bsb.me.uk> <_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
<3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com> <jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4ee674bd-99d5-4109-9890-027349b41b5cn@googlegroups.com>
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
Why lie ? ]
From: dbush.mo...@gmail.com (Dennis Bush)
Injection-Date: Sun, 17 Apr 2022 02:33:35 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 67
 by: Dennis Bush - Sun, 17 Apr 2022 02:33 UTC

On Saturday, April 16, 2022 at 10:17:59 PM UTC-4, olcott wrote:
> On 4/16/2022 8:57 PM, Dennis Bush wrote:
> > On Saturday, April 16, 2022 at 9:33:22 PM UTC-4, olcott wrote:
> >> On 4/16/2022 8:24 PM, Ben wrote:
> >>> olcott <No...@NoWhere.com> writes:
> >>>
> >>>> On 4/15/2022 5:10 PM, Ben wrote:
> >>>>> olcott <No...@NoWhere.com> writes:
> >>>>>
> >>>>>> On 4/15/2022 6:39 AM, Ben wrote:
> >>>>>
> >>>>>>> Anyway, you don't get to say what the correct answer is.
> >>>>>>
> >>>>>> Computer science says that...
> >>>>> WHOOP! WHOOP! WHOOP! **wonky paraphrase alert**
> >>>>
> >>>> On 4/15/2022 10:02 AM, olcott wrote:
> >>>>> Computer science says that any input to a halt decider that
> >>>>> would never reach its own final state is non-halting.
> >>>>
> >>>> The above is the rest of the quote that you despicably removed.
> >>>> You are such a complete Jackass.
> >>>
> >>> I'll remember to keep the wonky paraphrase intact in future. I was not
> >>> accusing you of lying about what "computer science" says, just of not
> >>> understanding what it says. This is true, I'm sure, of all your "so
> >>> what you are saying is..." catastrophes. Hanlon's Razor and all that.
> >>>
> >> The key point is that because the input to H(P,P) is non-halting
> >> H(P,P)==false is necessary correct.
> >> If I was wrong then the correct simulation of the 27 bytes of machine
> >> code at machine address [000009d6] by H would show some correct
> >> execution trace from machine address [000009d6] ending at machine
> >> address [000009f0].
> >>
> >> _P()
> >> [000009d6](01) 55 push ebp
> >> [000009d7](02) 8bec mov ebp,esp
> >> [000009d9](03) 8b4508 mov eax,[ebp+08]
> >> [000009dc](01) 50 push eax // push P
> >> [000009dd](03) 8b4d08 mov ecx,[ebp+08]
> >> [000009e0](01) 51 push ecx // push P
> >> [000009e1](05) e840feffff call 00000826 // call H
> >> [000009e6](03) 83c408 add esp,+08
> >> [000009e9](02) 85c0 test eax,eax
> >> [000009eb](02) 7402 jz 000009ef
> >> [000009ed](02) ebfe jmp 000009ed
> >> [000009ef](01) 5d pop ebp
> >> [000009f0](01) c3 ret // Final state
> >> Size in bytes:(0027) [000009f0]
> >>
> >> That everyone refuses this challenge proves that it is beyond their
> >> technical capacity or that they are liars.
> >> Halting problem undecidability and infinitely nested simulation (V5)
> >>
> >> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5
> >
> > You claim that because Ha(Pa,Pa) cannot simulate its input to a final state then it is correct to return false.
> >
> > By the same logic, because Ha3(N,5) cannot simulate its input to a final state then it is correct to return false.
> >
> > Agreed?
> I agreed that you dodged my challenge.
> I will stop responding until you meet my challenge.

I don't think you understand. I can see that Ha(Pa,Pa) is unable to simulate its input to completion. And if you believe that means that Ha(Pa,Pa) == false is correct, that would also means that Ha3(N,5) == false is correct.

Agreed?

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<t3fv1i$ahj$1@dont-email.me>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30484&group=comp.theory#30484

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: news.x.r...@xoxy.net (Richard Damon)
Newsgroups: comp.theory
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
Why lie ? ]
Date: Sat, 16 Apr 2022 22:46:10 -0400
Organization: A noiseless patient Spider
Lines: 91
Message-ID: <t3fv1i$ahj$1@dont-email.me>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87a6cpyah6.fsf@bsb.me.uk> <B6-dnWRCiaTipsv_nZ2dnUU7_81g4p2d@giganews.com>
<87bkx5vvi5.fsf@bsb.me.uk> <9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com>
<87fsmer2y3.fsf@bsb.me.uk> <mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87o812ngky.fsf@bsb.me.uk> <beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com>
<87tuaslcxa.fsf@bsb.me.uk> <_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 17 Apr 2022 02:46:10 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="0f1d9372bad9a33adf848f4e0a3f4f81";
logging-data="10803"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/FTBSYpCIa98AXXiTWAk2FEaEIjeIzjcQ="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.8.0
Cancel-Lock: sha1:HfjPLZI9uA0grgXrugu5TuQXry0=
In-Reply-To: <_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
Content-Language: en-US
 by: Richard Damon - Sun, 17 Apr 2022 02:46 UTC

On 4/16/22 9:33 PM, olcott wrote:
> On 4/16/2022 8:24 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/15/2022 5:10 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/15/2022 6:39 AM, Ben wrote:
>>>>
>>>>>> Anyway, you don't get to say what the correct answer is.
>>>>>
>>>>> Computer science says that...
>>>> WHOOP! WHOOP! WHOOP! **wonky paraphrase alert**
>>>
>>> On 4/15/2022 10:02 AM, olcott wrote:
>>>> Computer science says that any input to a halt decider that
>>>> would never reach its own final state is non-halting.
>>>
>>> The above is the rest of the quote that you despicably removed.
>>> You are such a complete Jackass.
>>
>> I'll remember to keep the wonky paraphrase intact in future.  I was not
>> accusing you of lying about what "computer science" says, just of not
>> understanding what it says.  This is true, I'm sure, of all your "so
>> what you are saying is..." catastrophes.  Hanlon's Razor and all that.
>>
>
> The key point is that because the input to H(P,P) is non-halting
> H(P,P)==false is necessary correct.

Except it halts if H(P,P) says non-halting.

>
>
> If I was wrong then the correct simulation of the 27 bytes of machine
> code at machine address [000009d6] by H would show some correct
> execution trace from machine address [000009d6] ending at machine
> address [000009f0].

Like BELOW!

Posted several times, without rebuttal, so you are just proved to be a
liar for saying no one has shown a correct exection trace.

>
> _P()
> [000009d6](01) 55         push ebp
> [000009d7](02) 8bec       mov ebp,esp
> [000009d9](03) 8b4508     mov eax,[ebp+08]
> [000009dc](01) 50         push eax         // push P
> [000009dd](03) 8b4d08     mov ecx,[ebp+08]
> [000009e0](01) 51         push ecx         // push P
> [000009e1](05) e840feffff call 00000826    // call H
> [000009e6](03) 83c408     add esp,+08
> [000009e9](02) 85c0       test eax,eax
> [000009eb](02) 7402       jz 000009ef
> [000009ed](02) ebfe       jmp 000009ed
> [000009ef](01) 5d         pop ebp
> [000009f0](01) c3         ret              // Final state
> Size in bytes:(0027) [000009f0]
>
> That everyone refuses this challenge proves that it is beyond their
> technical capacity or that they are liars.
>
> Halting problem undecidability and infinitely nested simulation (V5)
>
> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5
>
>
>

So what is at 826, with out that we can't run the machine.

But the trace WOULD be

[000009d6](01) 55 push ebp
[000009d7](02) 8bec mov ebp,esp
[000009d9](03) 8b4508 mov eax,[ebp+08]
[000009dc](01) 50 push eax // push P
[000009dd](03) 8b4d08 mov ecx,[ebp+08]
[000009e0](01) 51 push ecx // push P
[000009e1](05) e840feffff call 00000826 // call H
// Since you have defined that H returns Non-Halting, the above call
// WILL return the value 0.
[000009e6](03) 83c408 add esp,+08
[000009e9](02) 85c0 test eax,eax
[000009eb](02) 7402 jz 000009ef, eax is zero, so will jump

[000009ef](01) 5d pop ebp
[000009f0](01) c3 ret // Final state

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<cdL6K.286256$4JN7.143097@fx05.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30485&group=comp.theory#30485

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!peer03.ams4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx05.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
Why lie ? ]
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87a6cpyah6.fsf@bsb.me.uk> <B6-dnWRCiaTipsv_nZ2dnUU7_81g4p2d@giganews.com>
<87bkx5vvi5.fsf@bsb.me.uk> <9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com>
<87fsmer2y3.fsf@bsb.me.uk> <mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87o812ngky.fsf@bsb.me.uk> <beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com>
<87tuaslcxa.fsf@bsb.me.uk> <_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
<3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com>
<jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 75
Message-ID: <cdL6K.286256$4JN7.143097@fx05.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Sat, 16 Apr 2022 22:47:37 -0400
X-Received-Bytes: 4902
 by: Richard Damon - Sun, 17 Apr 2022 02:47 UTC

On 4/16/22 10:17 PM, olcott wrote:
> On 4/16/2022 8:57 PM, Dennis Bush wrote:
>> On Saturday, April 16, 2022 at 9:33:22 PM UTC-4, olcott wrote:
>>> On 4/16/2022 8:24 PM, Ben wrote:
>>>> olcott <No...@NoWhere.com> writes:
>>>>
>>>>> On 4/15/2022 5:10 PM, Ben wrote:
>>>>>> olcott <No...@NoWhere.com> writes:
>>>>>>
>>>>>>> On 4/15/2022 6:39 AM, Ben wrote:
>>>>>>
>>>>>>>> Anyway, you don't get to say what the correct answer is.
>>>>>>>
>>>>>>> Computer science says that...
>>>>>> WHOOP! WHOOP! WHOOP! **wonky paraphrase alert**
>>>>>
>>>>> On 4/15/2022 10:02 AM, olcott wrote:
>>>>>> Computer science says that any input to a halt decider that
>>>>>> would never reach its own final state is non-halting.
>>>>>
>>>>> The above is the rest of the quote that you despicably removed.
>>>>> You are such a complete Jackass.
>>>>
>>>> I'll remember to keep the wonky paraphrase intact in future. I was not
>>>> accusing you of lying about what "computer science" says, just of not
>>>> understanding what it says. This is true, I'm sure, of all your "so
>>>> what you are saying is..." catastrophes. Hanlon's Razor and all that.
>>>>
>>> The key point is that because the input to H(P,P) is non-halting
>>> H(P,P)==false is necessary correct.
>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>> code at machine address [000009d6] by H would show some correct
>>> execution trace from machine address [000009d6] ending at machine
>>> address [000009f0].
>>>
>>> _P()
>>> [000009d6](01) 55 push ebp
>>> [000009d7](02) 8bec mov ebp,esp
>>> [000009d9](03) 8b4508 mov eax,[ebp+08]
>>> [000009dc](01) 50 push eax // push P
>>> [000009dd](03) 8b4d08 mov ecx,[ebp+08]
>>> [000009e0](01) 51 push ecx // push P
>>> [000009e1](05) e840feffff call 00000826 // call H
>>> [000009e6](03) 83c408 add esp,+08
>>> [000009e9](02) 85c0 test eax,eax
>>> [000009eb](02) 7402 jz 000009ef
>>> [000009ed](02) ebfe jmp 000009ed
>>> [000009ef](01) 5d pop ebp
>>> [000009f0](01) c3 ret // Final state
>>> Size in bytes:(0027) [000009f0]
>>>
>>> That everyone refuses this challenge proves that it is beyond their
>>> technical capacity or that they are liars.
>>> Halting problem undecidability and infinitely nested simulation (V5)
>>>
>>> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5
>>>
>>
>> You claim that because Ha(Pa,Pa) cannot simulate its input to a final
>> state then it is correct to return false.
>>
>> By the same logic, because Ha3(N,5) cannot simulate its input to a
>> final state then it is correct to return false.
>>
>> Agreed?
>
> I agreed that you dodged my challenge.
> I will stop responding until you meet my challenge.
>

You have stopped responding to a lot of people because you have run out
of excuses.

You have been proven to be a liar and a fraud, and are going to be
remembered as such.

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<87ilr7lq16.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30502&group=comp.theory#30502

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben)
Newsgroups: comp.theory
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]
Date: Sun, 17 Apr 2022 15:53:41 +0100
Organization: A noiseless patient Spider
Lines: 14
Message-ID: <87ilr7lq16.fsf@bsb.me.uk>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk>
<yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk>
<apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk>
<vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com>
<87fsmer2y3.fsf@bsb.me.uk>
<mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87o812ngky.fsf@bsb.me.uk>
<beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com>
<87tuaslcxa.fsf@bsb.me.uk>
<_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
<3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com>
<jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>
<cdL6K.286256$4JN7.143097@fx05.iad>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org; posting-host="bd3602b82cb77c29e1d3d51f63320191";
logging-data="29291"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+WDO+HgMxk0ExiGsM6fRmwf6SzPt9gL4o="
Cancel-Lock: sha1:qmod0wHftHQAEg7SjK1IZAd9yc8=
sha1:e0FaWiDl9aw6q+zlDITcTlrIn3M=
X-BSB-Auth: 1.486a4a30efb39fea853d.20220417155341BST.87ilr7lq16.fsf@bsb.me.uk
 by: Ben - Sun, 17 Apr 2022 14:53 UTC

Richard Damon <Richard@Damon-Family.org> writes:

> You have stopped responding to a lot of people because you have run
> out of excuses.

Usually, when that happens, he goes away for a while, only to return
claiming to have "solved" Gödel's (1st) incompleteness theorem, Tarski's
proof that there is no truth predicate, or simply having sorted out the
flawed logic everyone's been using since... forever. When he decides to
stop wasting time talking to people he thinks are lying, he's got a ton
of papers to write!

--
Ben.

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<zuidnTsiDvc2tsH_nZ2dnUU7_8zNnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30503&group=comp.theory#30503

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 17 Apr 2022 10:00:59 -0500
Date: Sun, 17 Apr 2022 10:00:58 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
Why lie ? ]
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com> <87wnfstwnm.fsf@bsb.me.uk>
<yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com> <87k0brspnx.fsf@bsb.me.uk>
<apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com> <87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com> <8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com> <87lew7qk6k.fsf@bsb.me.uk>
<vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com> <87fsmer2y3.fsf@bsb.me.uk>
<mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com> <87o812ngky.fsf@bsb.me.uk>
<beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com> <87tuaslcxa.fsf@bsb.me.uk>
<_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
<3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com>
<jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>
<cdL6K.286256$4JN7.143097@fx05.iad> <87ilr7lq16.fsf@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <87ilr7lq16.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <zuidnTsiDvc2tsH_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 78
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-EEAlARfUm1+P/NgOZIUJJXjvnUvSen9Y9StaV9Tbj01lWMEGtLZkIX96H8N7A2T6RU2XBAODHV50SKf!umB8Jh+kAJtkT/3hA+fD48+WeKhC8Do/PVuNXpYm0b82tWKt5j32TaGgyVzql0dTMO09Zk/qPj65
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 4831
 by: olcott - Sun, 17 Apr 2022 15:00 UTC

On 4/17/2022 9:53 AM, Ben wrote:
> Richard Damon <Richard@Damon-Family.org> writes:
>
>> You have stopped responding to a lot of people because you have run
>> out of excuses.
>
> Usually, when that happens, he goes away for a while, only to return
> claiming to have "solved" Gödel's (1st) incompleteness theorem, Tarski's
> proof that there is no truth predicate, or simply having sorted out the
> flawed logic everyone's been using since... forever. When he decides to
> stop wasting time talking to people he thinks are lying, he's got a ton
> of papers to write!
>

I merely rewrite things more clearly to expose the liars:

If the input to H(P,P) is non-halting then H(P,P)==false is necessary
correct.

Does anyone have a rebuttal to that one, or do you acknowledge that it
is correct?

You must find an example where {an X is a Y} and Z is incorrect for
reporting {an X is a Y}.

If no one can show that the correctly simulated input to H(P,P) reaches
its final state and halts that proves that it is non-halting.

If I was wrong then the correct simulation of the 27 bytes of machine
code at machine address [000009d6] by H would show some correct
execution trace from machine address [000009d6] ending at machine
address [000009f0].

_P()
[000009d6](01) 55 push ebp
[000009d7](02) 8bec mov ebp,esp
[000009d9](03) 8b4508 mov eax,[ebp+08]
[000009dc](01) 50 push eax // push P
[000009dd](03) 8b4d08 mov ecx,[ebp+08]
[000009e0](01) 51 push ecx // push P
[000009e1](05) e840feffff call 00000826 // call H
[000009e6](03) 83c408 add esp,+08
[000009e9](02) 85c0 test eax,eax
[000009eb](02) 7402 jz 000009ef
[000009ed](02) ebfe jmp 000009ed
[000009ef](01) 5d pop ebp
[000009f0](01) c3 ret // Final state
Size in bytes:(0027) [000009f0]

That everyone refuses this challenge proves that it is beyond their
technical capacity or that they are liars.

Simply hypothesize BOTH cases of simulated input to H(P,P):
(a) Where H aborts and
(b) Where H never aborts
and then see where their execution traces would be.

The execution trace of both the aborted and not aborted paths is from
from machine address [000009d6] ending at machine address [0000009e1].

Therefore the simulated input to H(P,P) never makes it to [000009f0] and
halts.

Halting problem undecidability and infinitely nested simulation (V5)

https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]

<87y203ka8o.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30509&group=comp.theory#30509

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben)
Newsgroups: comp.theory
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]
Date: Sun, 17 Apr 2022 16:20:07 +0100
Organization: A noiseless patient Spider
Lines: 49
Message-ID: <87y203ka8o.fsf@bsb.me.uk>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87bkx5vvi5.fsf@bsb.me.uk>
<9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk>
<hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk>
<yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk>
<apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk>
<P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk>
<aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk>
<beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk>
<w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="bd3602b82cb77c29e1d3d51f63320191";
logging-data="29291"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19QG1R7oGZQ1LqlLvmFCIoYuaJviALBYTY="
Cancel-Lock: sha1:dINWJJnNkS+SExAXEUlmH2EQ6jA=
sha1:9SyYjbv+Lhl5LlCPR9GyKPfeY80=
X-BSB-Auth: 1.1e9ceb9df34bc3b561b3.20220417162007BST.87y203ka8o.fsf@bsb.me.uk
 by: Ben - Sun, 17 Apr 2022 15:20 UTC

olcott <NoOne@NoWhere.com> writes:

> On 4/16/2022 8:08 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/15/2022 5:03 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/15/2022 6:48 AM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> On 4/14/2022 7:12 PM, Ben wrote:
>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>>>> That a non input halts, converts the world to Fascism or opens a very
>>>>>>>>> popular brothel is totally unrelated to the easily confirmed fact that
>>>>>>>>> the input to H(P,P)* does not halt.
>>>>>>>>
>>>>>>>> The correct value of H(P,P) is determined by the halting status of what
>>>>>>>> you call a non input:
>>>>>>>
>>>>>>> LIAR LIAR PANTS ON FIRE
>>>>>>
>>>>>> No. The correct value of H(P,P) is not for you to choose.
>>>>>
>>>>> I have proven that the correctly simulated input to H(P,P) never halts
>>>>> therefore H would be necessarily correct to report this?
>>>>
>>>> H(M,I) should be false if and only if M(I) does not halt.
>>>
>>> The fact that the input H(P,P) is non-halting completely refutes
>>> anything and everyone in the universe that says otherwise.
>>
>> It's a mantra now.
>
> If I was wrong then the correct simulation of the 27 bytes of machine
> code...

If you were right you'd publish the code. It's secret because you know
you are wrong. You know that H(P,P) should decide what P(P) does, not
what something else (which you are continually obscuring) does.

By the way, I have no confidence that you don't edit these traces. Even
the one that showed that P(P) halts is, to me, in doubt. Instead, I
base my argument on your clear statement that H(P,P)==false is correct
"even though P(P) halts". (Message-ID citation on request.)

--
Ben.

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]

<DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30513&group=comp.theory#30513

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 17 Apr 2022 10:36:09 -0500
Date: Sun, 17 Apr 2022 10:36:09 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
liar by definition ]
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87bkx5vvi5.fsf@bsb.me.uk> <9-mdnVlBfvzRbsv_nZ2dnUU7_8xh4p2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <87y203ka8o.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
Lines: 73
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-gPCabVYiRh7TnCxyxcYxUPpwRG00ycDe+tRjjlhnid1OK9geC2Y2fEiopW63GLPuJNeu4u83OiZtphE!pAxzPdCl4EPLhpbI9tspDezYseq/ACWcLnJSUNJS2/YMJBBjSCs6c0vqbzosEzCF1NYDjGQrFt6M
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 4568
 by: olcott - Sun, 17 Apr 2022 15:36 UTC

On 4/17/2022 10:20 AM, Ben wrote:
> olcott <NoOne@NoWhere.com> writes:
>
>> On 4/16/2022 8:08 PM, Ben wrote:
>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>> On 4/15/2022 5:03 PM, Ben wrote:
>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>
>>>>>> On 4/15/2022 6:48 AM, Ben wrote:
>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>
>>>>>>>> On 4/14/2022 7:12 PM, Ben wrote:
>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>
>>>>>>>>>> That a non input halts, converts the world to Fascism or opens a very
>>>>>>>>>> popular brothel is totally unrelated to the easily confirmed fact that
>>>>>>>>>> the input to H(P,P)* does not halt.
>>>>>>>>>
>>>>>>>>> The correct value of H(P,P) is determined by the halting status of what
>>>>>>>>> you call a non input:
>>>>>>>>
>>>>>>>> LIAR LIAR PANTS ON FIRE
>>>>>>>
>>>>>>> No. The correct value of H(P,P) is not for you to choose.
>>>>>>
>>>>>> I have proven that the correctly simulated input to H(P,P) never halts
>>>>>> therefore H would be necessarily correct to report this?
>>>>>
>>>>> H(M,I) should be false if and only if M(I) does not halt.
>>>>
>>>> The fact that the input H(P,P) is non-halting completely refutes
>>>> anything and everyone in the universe that says otherwise.
>>>
>>> It's a mantra now.
>>
>> If I was wrong then the correct simulation of the 27 bytes of machine
>> code...
>
> If you were right you'd publish the code.

This is the only relevant code to the question does the correctly
simulated input to H(P,P) halt?

If I was wrong then the correct simulation of the 27 bytes of machine
code at machine address [000009d6] by H would show some correct
execution trace from machine address [000009d6] ending at machine
address [000009f0].

_P()
[000009d6](01) 55 push ebp
[000009d7](02) 8bec mov ebp,esp
[000009d9](03) 8b4508 mov eax,[ebp+08]
[000009dc](01) 50 push eax // push P
[000009dd](03) 8b4d08 mov ecx,[ebp+08]
[000009e0](01) 51 push ecx // push P
[000009e1](05) e840feffff call 00000826 // call H
[000009e6](03) 83c408 add esp,+08
[000009e9](02) 85c0 test eax,eax
[000009eb](02) 7402 jz 000009ef
[000009ed](02) ebfe jmp 000009ed
[000009ef](01) 5d pop ebp
[000009f0](01) c3 ret // Final state
Size in bytes:(0027) [000009f0]

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ Why lie ? ]

<NtX6K.512696$Rza5.478216@fx47.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30531&group=comp.theory#30531

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!peer03.ams4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx47.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
Why lie ? ]
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com> <87wnfstwnm.fsf@bsb.me.uk>
<yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com> <87k0brspnx.fsf@bsb.me.uk>
<apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com> <87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com> <8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com> <87lew7qk6k.fsf@bsb.me.uk>
<vcidnT01o4J7IsX_nZ2dnUU7_83NnZ2d@giganews.com> <87fsmer2y3.fsf@bsb.me.uk>
<mbSdnVeuLuB0FcT_nZ2dnUU7_8zNnZ2d@giganews.com> <87o812ngky.fsf@bsb.me.uk>
<beqdnWriEc8xcsT_nZ2dnUU7_81g4p2d@giganews.com> <87tuaslcxa.fsf@bsb.me.uk>
<_f2dnWy6cfDG88b_nZ2dnUU7_81g4p2d@giganews.com>
<3776f609-1a71-4286-89fa-067190c12134n@googlegroups.com>
<jfSdnaUjr4JN5cb_nZ2dnUU7_8zNnZ2d@giganews.com>
<cdL6K.286256$4JN7.143097@fx05.iad> <87ilr7lq16.fsf@bsb.me.uk>
<zuidnTsiDvc2tsH_nZ2dnUU7_8zNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <zuidnTsiDvc2tsH_nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 136
Message-ID: <NtX6K.512696$Rza5.478216@fx47.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Sun, 17 Apr 2022 12:44:30 -0400
X-Received-Bytes: 6789
 by: Richard Damon - Sun, 17 Apr 2022 16:44 UTC

On 4/17/22 11:00 AM, olcott wrote:
> On 4/17/2022 9:53 AM, Ben wrote:
>> Richard Damon <Richard@Damon-Family.org> writes:
>>
>>> You have stopped responding to a lot of people because you have run
>>> out of excuses.
>>
>> Usually, when that happens, he goes away for a while, only to return
>> claiming to have "solved" Gödel's (1st) incompleteness theorem, Tarski's
>> proof that there is no truth predicate, or simply having sorted out the
>> flawed logic everyone's been using since... forever.  When he decides to
>> stop wasting time talking to people he thinks are lying, he's got a ton
>> of papers to write!
>>
>
> I merely rewrite things more clearly to expose the liars:
>
> If the input to H(P,P) is non-halting then H(P,P)==false is necessary
> correct.

And if the input to H(P,P) is halting then H(P,P) == false is
necessarily incorrect.

Since the behavior of the input to a Halt decider is DEFINED to be the
behavior of the machine the input describes, then input to H(P,P) is
P(P) and that Halts if H(P,P) returns false, so that answer is BY
DEFINITION incorrect.

Your 'rebutal' to that statement just shows you don't know what you are
talking about.

>
> Does anyone have a rebuttal to that one, or do you acknowledge that it
> is correct?

IT has been refuted correctly many times, and your ignoring the
refutation just shows you are not interested in the truth, but just want
to push your lies.

>
> You must find an example where {an X is a Y} and Z is incorrect for
> reporting {an X is a Y}.

Since you haven't established what an X is, that is a non-sense
sentence, showing your (lack of) IQ.

>
> If no one can show that the correctly simulated input to H(P,P) reaches
> its final state and halts that proves that it is non-halting.

It has been shown, and you have shown you don't understand what you are
talking about and try to make excueses.

>
> If I was wrong then the correct simulation of the 27 bytes of machine
> code at machine address [000009d6] by H would show some correct
> execution trace from machine address [000009d6] ending at machine
> address [000009f0].
>
> _P()
> [000009d6](01) 55         push ebp
> [000009d7](02) 8bec       mov ebp,esp
> [000009d9](03) 8b4508     mov eax,[ebp+08]
> [000009dc](01) 50         push eax         // push P
> [000009dd](03) 8b4d08     mov ecx,[ebp+08]
> [000009e0](01) 51         push ecx         // push P
> [000009e1](05) e840feffff call 00000826    // call H
> [000009e6](03) 83c408     add esp,+08
> [000009e9](02) 85c0       test eax,eax
> [000009eb](02) 7402       jz 000009ef
> [000009ed](02) ebfe       jmp 000009ed
> [000009ef](01) 5d         pop ebp
> [000009f0](01) c3         ret              // Final state
> Size in bytes:(0027) [000009f0]

First, this is not a complete program, as it is missing the defintion of
the code at 00000826, so it can't be the program or input in question.

Second, this being an incomplete program proves that you have lied about
building your P aka H^ per the Linz definition, as that includes a copy
of the H it is based on.

Third, the correct simulation, based on you defined behavior of H
returing false has been provided, and you just ignore it or make invalid
excuses.

>
> That everyone refuses this challenge proves that it is beyond their
> technical capacity or that they are liars.
>
> Simply hypothesize BOTH cases of simulated input to H(P,P):
> (a) Where H aborts and

Since the behavior of the input is the actual operation of that input,
and NOT the simulation of it by H, we see that if H aborts its
simulation of P,P and returns false, that the above program will just
halt, proving that H was incorrct

> (b) Where H never aborts

If H never aborts, then it fails to answer, so the behavior of P doesn't
matter. Yes, it becomes non-halting, but it

> and then see where their execution traces would be.
>
> The execution trace of both the aborted and not aborted paths is from
> from machine address [000009d6] ending at machine address [0000009e1].

Nope. since we are suppposd to be looking at the behavior of the INPUT
to H, not the behavior of H to its input, the behavior we are looking at
is NOT aborted by H at the call to H at 9E1.

THAT is the category error

>
> Therefore the simulated input to H(P,P) never makes it to [000009f0] and
> halts.
>

The CORRECTLY simulated input does, so you are wrong.

You are looking at the INCORRECTLY simulation done by H.

FAIL.

>
>
>
> Halting problem undecidability and infinitely nested simulation (V5)
>
> https://www.researchgate.net/publication/359984584_Halting_problem_undecidability_and_infinitely_nested_simulation_V5
>
>

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]

<87o80zi8dy.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30555&group=comp.theory#30555

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben)
Newsgroups: comp.theory
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]
Date: Mon, 18 Apr 2022 00:43:05 +0100
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <87o80zi8dy.fsf@bsb.me.uk>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk>
<hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk>
<yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk>
<apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk>
<P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk>
<aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk>
<beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk>
<w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk>
<DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org; posting-host="5226e2c4a5c0033356b72e0f148905d7";
logging-data="1693"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19sCy/mDytQVMGd5Vr4F1pbu5oyxG2aWPM="
Cancel-Lock: sha1:XxJrV/tKbGcAn09AVjDPsvvSx3A=
sha1:jtHkysZXz+Elvq53P/7GeEN4u/k=
X-BSB-Auth: 1.d4365275a516fe9bd200.20220418004305BST.87o80zi8dy.fsf@bsb.me.uk
 by: Ben - Sun, 17 Apr 2022 23:43 UTC

olcott <NoOne@NoWhere.com> writes:

> On 4/17/2022 10:20 AM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/16/2022 8:08 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/15/2022 5:03 PM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> On 4/15/2022 6:48 AM, Ben wrote:
>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>
>>>>>>>>> On 4/14/2022 7:12 PM, Ben wrote:
>>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>
>>>>>>>>>>> That a non input halts, converts the world to Fascism or opens a very
>>>>>>>>>>> popular brothel is totally unrelated to the easily confirmed fact that
>>>>>>>>>>> the input to H(P,P)* does not halt.
>>>>>>>>>>
>>>>>>>>>> The correct value of H(P,P) is determined by the halting status of what
>>>>>>>>>> you call a non input:
>>>>>>>>>
>>>>>>>>> LIAR LIAR PANTS ON FIRE
>>>>>>>>
>>>>>>>> No. The correct value of H(P,P) is not for you to choose.
>>>>>>>
>>>>>>> I have proven that the correctly simulated input to H(P,P) never halts
>>>>>>> therefore H would be necessarily correct to report this?
>>>>>>
>>>>>> H(M,I) should be false if and only if M(I) does not halt.
>>>>>
>>>>> The fact that the input H(P,P) is non-halting completely refutes
>>>>> anything and everyone in the universe that says otherwise.
>>>>
>>>> It's a mantra now.
>>>
>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>> code...
>> If you were right you'd publish the code.
>
> This is the only relevant code to the question does the correctly
> simulated input to H(P,P) halt?

Clearly not. The code for P is not in doubt.

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

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]

<tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30556&group=comp.theory#30556

 copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math
Followup: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 17 Apr 2022 19:00:45 -0500
Date: Sun, 17 Apr 2022 19:00:43 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
liar by definition ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk> <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk>
Followup-To: comp.theory
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <87o80zi8dy.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 94
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-07Rg93FX/YTxf/IEhOpi6oezlkJnJOVD+jirP3yA9QCEcEdDukmfEwRoxNsUy4QtrgEgFXKRz1jKk+e!vEr5rcV1CCm7rJiyxvERCuflz5tntj8sPseYjJQslpy7w6h0CqILhPFt9RaaXzisK6+0TigyCgC9
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 5898
 by: olcott - Mon, 18 Apr 2022 00:00 UTC

On 4/17/2022 6:43 PM, Ben wrote:
> olcott <NoOne@NoWhere.com> writes:
>
>> On 4/17/2022 10:20 AM, Ben wrote:
>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>> On 4/16/2022 8:08 PM, Ben wrote:
>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>
>>>>>> On 4/15/2022 5:03 PM, Ben wrote:
>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>
>>>>>>>> On 4/15/2022 6:48 AM, Ben wrote:
>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>>
>>>>>>>>>> On 4/14/2022 7:12 PM, Ben wrote:
>>>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>>
>>>>>>>>>>>> That a non input halts, converts the world to Fascism or opens a very
>>>>>>>>>>>> popular brothel is totally unrelated to the easily confirmed fact that
>>>>>>>>>>>> the input to H(P,P)* does not halt.
>>>>>>>>>>>
>>>>>>>>>>> The correct value of H(P,P) is determined by the halting status of what
>>>>>>>>>>> you call a non input:
>>>>>>>>>>
>>>>>>>>>> LIAR LIAR PANTS ON FIRE
>>>>>>>>>
>>>>>>>>> No. The correct value of H(P,P) is not for you to choose.
>>>>>>>>
>>>>>>>> I have proven that the correctly simulated input to H(P,P) never halts
>>>>>>>> therefore H would be necessarily correct to report this?
>>>>>>>
>>>>>>> H(M,I) should be false if and only if M(I) does not halt.
>>>>>>
>>>>>> The fact that the input H(P,P) is non-halting completely refutes
>>>>>> anything and everyone in the universe that says otherwise.
>>>>>
>>>>> It's a mantra now.
>>>>
>>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>>> code...
>>> If you were right you'd publish the code.
>>
>> This is the only relevant code to the question does the correctly
>> simulated input to H(P,P) halt?
>
> Clearly not. The code for P is not in doubt.
>

So then you must agree that when H correctly simulates the input to
H(P,P) that it would never reach its own final state.

We can determine the correct simulation of this input entirely on the
basis of the following machine code and the definition of the x86 language.

_P()
[000009d6](01) 55 push ebp
[000009d7](02) 8bec mov ebp,esp
[000009d9](03) 8b4508 mov eax,[ebp+08]
[000009dc](01) 50 push eax // push P
[000009dd](03) 8b4d08 mov ecx,[ebp+08]
[000009e0](01) 51 push ecx // push P
[000009e1](05) e840feffff call 00000826 // call H
[000009e6](03) 83c408 add esp,+08
[000009e9](02) 85c0 test eax,eax
[000009eb](02) 7402 jz 000009ef
[000009ed](02) ebfe jmp 000009ed
[000009ef](01) 5d pop ebp
[000009f0](01) c3 ret // Final state
Size in bytes:(0027) [000009f0]

Begin Local Halt Decider Simulation
....[000009d6][00211368][0021136c] 55 push ebp // enter P
....[000009d7][00211368][0021136c] 8bec mov ebp,esp
....[000009d9][00211368][0021136c] 8b4508 mov eax,[ebp+08]
....[000009dc][00211364][000009d6] 50 push eax // Push P
....[000009dd][00211364][000009d6] 8b4d08 mov ecx,[ebp+08]
....[000009e0][00211360][000009d6] 51 push ecx // Push P
....[000009e1][0021135c][000009e6] e840feffff call 00000826 // Call H
....[000009d6][0025bd90][0025bd94] 55 push ebp // enter P
....[000009d7][0025bd90][0025bd94] 8bec mov ebp,esp
....[000009d9][0025bd90][0025bd94] 8b4508 mov eax,[ebp+08]
....[000009dc][0025bd8c][000009d6] 50 push eax // Push P
....[000009dd][0025bd8c][000009d6] 8b4d08 mov ecx,[ebp+08]
....[000009e0][0025bd88][000009d6] 51 push ecx // Push P
....[000009e1][0025bd84][000009e6] e840feffff call 00000826 // Call H

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]

<Ld27K.174679$ZmJ7.8973@fx06.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30561&group=comp.theory#30561

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!news.freedyn.de!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx06.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.8.0
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [
liar by definition ]
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuawvko7.fsf@bsb.me.uk> <hfGdnW1c_aTTssr_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk> <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk> <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 113
Message-ID: <Ld27K.174679$ZmJ7.8973@fx06.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Sun, 17 Apr 2022 20:25:15 -0400
X-Received-Bytes: 6722
 by: Richard Damon - Mon, 18 Apr 2022 00:25 UTC

On 4/17/22 8:00 PM, olcott wrote:
> On 4/17/2022 6:43 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/16/2022 8:08 PM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> On 4/15/2022 5:03 PM, Ben wrote:
>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>
>>>>>>>>> On 4/15/2022 6:48 AM, Ben wrote:
>>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>>>
>>>>>>>>>>> On 4/14/2022 7:12 PM, Ben wrote:
>>>>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>>>>
>>>>>>>>>>>>> That a non input halts, converts the world to Fascism or
>>>>>>>>>>>>> opens a very
>>>>>>>>>>>>> popular brothel is totally unrelated to the easily
>>>>>>>>>>>>> confirmed fact that
>>>>>>>>>>>>> the input to H(P,P)* does not halt.
>>>>>>>>>>>>
>>>>>>>>>>>> The correct value of H(P,P) is determined by the halting
>>>>>>>>>>>> status of what
>>>>>>>>>>>> you call a non input:
>>>>>>>>>>>
>>>>>>>>>>> LIAR LIAR PANTS ON FIRE
>>>>>>>>>>
>>>>>>>>>> No.  The correct value of H(P,P) is not for you to choose.
>>>>>>>>>
>>>>>>>>> I have proven that the correctly simulated input to H(P,P)
>>>>>>>>> never halts
>>>>>>>>> therefore H would be necessarily correct to report this?
>>>>>>>>
>>>>>>>> H(M,I) should be false if and only if M(I) does not halt.
>>>>>>>
>>>>>>> The fact that the input H(P,P) is non-halting completely refutes
>>>>>>> anything and everyone in the universe that says otherwise.
>>>>>>
>>>>>> It's a mantra now.
>>>>>
>>>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>>>> code...
>>>> If you were right you'd publish the code.
>>>
>>> This is the only relevant code to the question does the correctly
>>> simulated input to H(P,P) halt?
>>
>> Clearly not.  The code for P is not in doubt.
>>
>
> So then you must agree that when H correctly simulates the input to
> H(P,P) that it would never reach its own final state.

*IF* H correctly simulates the input, it can back a conclusion.

But the problem is that when H aborts its simulation, then its
simulation is NOT a 'correct' simulation.

>
> We can determine the correct simulation of this input entirely on the
> basis of the following machine code and the definition of the x86 language.

No, you can't, because the following code doesn't define what happens at
the call to 00000826, as that code isn't provided.

Now, if we use the defined behavior of H, that H(P,P) is returning
false, as claimed correct, then a CORRECT simulation of the following
code see the call to H which then returns with the vaule of 0 in eax,
and the jz at 9EB being taken and P returning at the ret at 9F0.

H doesn't see this when it simulates, as it aborted before we got there,
giving up its ability to be a source of 'truth' about the behavior of
this input, but the CORRECT simulation does.

>
> _P()
> [000009d6](01) 55         push ebp
> [000009d7](02) 8bec       mov ebp,esp
> [000009d9](03) 8b4508     mov eax,[ebp+08]
> [000009dc](01) 50         push eax         // push P
> [000009dd](03) 8b4d08     mov ecx,[ebp+08]
> [000009e0](01) 51         push ecx         // push P
> [000009e1](05) e840feffff call 00000826    // call H
> [000009e6](03) 83c408     add esp,+08
> [000009e9](02) 85c0       test eax,eax
> [000009eb](02) 7402       jz 000009ef
> [000009ed](02) ebfe       jmp 000009ed
> [000009ef](01) 5d         pop ebp
> [000009f0](01) c3         ret              // Final state
> Size in bytes:(0027) [000009f0]
>
> Begin Local Halt Decider Simulation
> ...[000009d6][00211368][0021136c] 55         push ebp         // enter P
> ...[000009d7][00211368][0021136c] 8bec       mov ebp,esp
> ...[000009d9][00211368][0021136c] 8b4508     mov eax,[ebp+08]
> ...[000009dc][00211364][000009d6] 50         push eax         // Push P
> ...[000009dd][00211364][000009d6] 8b4d08     mov ecx,[ebp+08]
> ...[000009e0][00211360][000009d6] 51         push ecx         // Push P
> ...[000009e1][0021135c][000009e6] e840feffff call 00000826    // Call H
> ...[000009d6][0025bd90][0025bd94] 55         push ebp         // enter P
> ...[000009d7][0025bd90][0025bd94] 8bec       mov ebp,esp
> ...[000009d9][0025bd90][0025bd94] 8b4508     mov eax,[ebp+08]
> ...[000009dc][0025bd8c][000009d6] 50         push eax         // Push P
> ...[000009dd][0025bd8c][000009d6] 8b4d08     mov ecx,[ebp+08]
> ...[000009e0][0025bd88][000009d6] 51         push ecx         // Push P
> ...[000009e1][0025bd84][000009e6] e840feffff call 00000826    // Call H
>
>

Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]

<877d7mf47m.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30594&group=comp.theory#30594

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben)
Newsgroups: comp.theory
Subject: Re: Refuting the Peter Linz Halting Problem Proof --- Version(11) [ liar by definition ]
Date: Mon, 18 Apr 2022 22:53:49 +0100
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <877d7mf47m.fsf@bsb.me.uk>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk>
<yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk>
<apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk>
<P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk>
<aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk>
<beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk>
<w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk>
<DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk>
<tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org; posting-host="5226e2c4a5c0033356b72e0f148905d7";
logging-data="30024"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+wTTr/WX3uUm+T7GHHElC6xhuPyaycjIA="
Cancel-Lock: sha1:nT2oQcEvABxsx/IYiznJeBQYI3I=
sha1:YOmJEfqLiIbuF6V1qIY19hGKDWI=
X-BSB-Auth: 1.fe4a7c20159449f7f4bd.20220418225349BST.877d7mf47m.fsf@bsb.me.uk
 by: Ben - Mon, 18 Apr 2022 21:53 UTC

olcott <NoOne@NoWhere.com> writes:

> On 4/17/2022 6:43 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:

>>>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>>>> code...
>>>>
>>>> If you were right you'd publish the code.
>>>
>>> This is the only relevant code to the question does the correctly
>>> simulated input to H(P,P) halt?
>>
>> Clearly not. The code for P is not in doubt.
>
> So then you must agree that when H correctly simulates the input to
> H(P,P) that it would never reach its own final state.

Deflection. As I said, if you were right you'd publish the code. You
pointlessly showed P which is not in doubt. I can only assume you know
that if you publish H the game will be well and truly up. You need to
trot out one of your excuses for keeping the flawed code secret.

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

Re: My Dishonest reviewers: André, Ben, Mike, Dennis, Richard

<is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30599&group=comp.theory#30599

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 18 Apr 2022 18:01:08 -0500
Date: Mon, 18 Apr 2022 18:01:06 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Subject: Re:_My_Dishonest_reviewers:_André,_Ben,_Mike
,_Dennis,_Richard
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk> <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk> <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <877d7mf47m.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 41
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-rBVRJjdJRY5KFQ9RMvZoK4hMdb9b7CwshfnmxB0DF7qFrg/hyECl/mqV5kiEIxlFUuf6vsMc+wlKXwV!NAL4I3kWl1iZUwdFZ5zpExaNr9AmJ70stKAC2zK9qEvxkw5Go7KppLjy8Y7H8kjEYUOantMmThVO
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 3512
 by: olcott - Mon, 18 Apr 2022 23:01 UTC

On 4/18/2022 4:53 PM, Ben wrote:
> olcott <NoOne@NoWhere.com> writes:
>
>> On 4/17/2022 6:43 PM, Ben wrote:
>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>>> olcott <NoOne@NoWhere.com> writes:
>
>>>>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>>>>> code...
>>>>>
>>>>> If you were right you'd publish the code.
>>>>
>>>> This is the only relevant code to the question does the correctly
>>>> simulated input to H(P,P) halt?
>>>
>>> Clearly not. The code for P is not in doubt.
>>
>> So then you must agree that when H correctly simulates the input to
>> H(P,P) that it would never reach its own final state.
>
> Deflection. As I said, if you were right you'd publish the code. You
> pointlessly showed P which is not in doubt. I can only assume you know
> that if you publish H the game will be well and truly up. You need to
> trot out one of your excuses for keeping the flawed code secret.
>

I am going to continue to present this same point until everyone reading
this forum realizes that the only reason that you dodge it is because
you already know that it is correct.

When the input to H(P,P) is non halting then it is necessarily correct
for H to report that the input to H(P,P) is non halting.

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: My Dishonest reviewers: André, Ben, Mike, Dennis, Richard

<t3ks9v$hse$1@dont-email.me>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30601&group=comp.theory#30601

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: news.x.r...@xoxy.net (Richard Damon)
Newsgroups: comp.theory
Subject: Re:_My_Dishonest_reviewers:_André,_Ben,_Mike
,_Dennis,_Richard
Date: Mon, 18 Apr 2022 19:30:08 -0400
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <t3ks9v$hse$1@dont-email.me>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk> <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk> <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk> <is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 18 Apr 2022 23:30:08 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="45b3c00cd334ab0f18d19de3189d90b0";
logging-data="18318"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18jfWCPZkHYMTOcRJsPlngWAAQcdbCtoC4="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.8.0
Cancel-Lock: sha1:1uvrRVpucyc8BmipmNWMlKLinqk=
In-Reply-To: <is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Language: en-US
 by: Richard Damon - Mon, 18 Apr 2022 23:30 UTC

On 4/18/22 7:01 PM, olcott wrote:
> On 4/18/2022 4:53 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/17/2022 6:43 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>
>>>>>>> If I was wrong then the correct simulation of the 27 bytes of
>>>>>>> machine
>>>>>>> code...
>>>>>>
>>>>>> If you were right you'd publish the code.
>>>>>
>>>>> This is the only relevant code to the question does the correctly
>>>>> simulated input to H(P,P) halt?
>>>>
>>>> Clearly not.  The code for P is not in doubt.
>>>
>>> So then you must agree that when H correctly simulates the input to
>>> H(P,P) that it would never reach its own final state.
>>
>> Deflection.  As I said, if you were right you'd publish the code.  You
>> pointlessly showed P which is not in doubt.  I can only assume you know
>> that if you publish H the game will be well and truly up.  You need to
>> trot out one of your excuses for keeping the flawed code secret.
>>
>
> I am going to continue to present this same point until everyone reading
> this forum realizes that the only reason that you dodge it is because
> you already know that it is correct.
>
> When the input to H(P,P) is non halting then it is necessarily correct
> for H to report that the input to H(P,P) is non halting.
>

And the only reason you keep repeating this without actually responding
to the rebutals is because you KNOW that your position is indefensible
because it violates the DEFINITION of the problem, and if you try to
respond to the rebutals, you will just show that you are wrong.

Remember, the DEFINITION of the behavior of the input is that of the
computation it represents, NOT the behavior of the halt decider doing a
partial simulation of it.

The input to H(P,P) HALTS by the CORRECT definition, thus showing that H
is WRONG to say that it is non-halting.

Your ignoring these rebutalls is just PROOF that you have no response,
and if you actually do try at somep point to publish, someone may well
google you, and find all this discussion, and will look at the arguments
you failed to handle and you will need to handle it then, but you won't
get the chance to backpedal and come at it from another angle, you will
be stuck with your initial submission, which will be undefendable.

FAIL.

Re: My Dishonest reviewers: André, Ben, Mike, Dennis, Richard

<i_n7K.131701$WZCa.5012@fx08.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30607&group=comp.theory#30607

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx08.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.8.0
Subject: Re:_My_Dishonest_reviewers:_André,_Ben,_Mike
,_Dennis,_Richard
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87wnfstwnm.fsf@bsb.me.uk> <yvSdnTV1yaEt8cr_nZ2dnUU7_83NnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk> <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk> <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk> <is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 50
Message-ID: <i_n7K.131701$WZCa.5012@fx08.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Mon, 18 Apr 2022 21:10:37 -0400
X-Received-Bytes: 3783
 by: Richard Damon - Tue, 19 Apr 2022 01:10 UTC

On 4/18/22 7:01 PM, olcott wrote:
> On 4/18/2022 4:53 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/17/2022 6:43 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>
>>>>>>> If I was wrong then the correct simulation of the 27 bytes of
>>>>>>> machine
>>>>>>> code...
>>>>>>
>>>>>> If you were right you'd publish the code.
>>>>>
>>>>> This is the only relevant code to the question does the correctly
>>>>> simulated input to H(P,P) halt?
>>>>
>>>> Clearly not.  The code for P is not in doubt.
>>>
>>> So then you must agree that when H correctly simulates the input to
>>> H(P,P) that it would never reach its own final state.
>>
>> Deflection.  As I said, if you were right you'd publish the code.  You
>> pointlessly showed P which is not in doubt.  I can only assume you know
>> that if you publish H the game will be well and truly up.  You need to
>> trot out one of your excuses for keeping the flawed code secret.
>>
>
> I am going to continue to present this same point until everyone reading
> this forum realizes that the only reason that you dodge it is because
> you already know that it is correct.
>
> When the input to H(P,P) is non halting then it is necessarily correct
> for H to report that the input to H(P,P) is non halting.
>

And you are going to continue to be wrong, since your logic is incorrect
and has been proven so.

This just proves that you are an ignorant person who doesn't actually
care about what is true, but is just trying to push their lies.

Since the input to H(P,P) by the definition of the Halting Problem will
Halt when H(P,P) returns false, and P is built from that H by the Linz
template, we can conclusive state that H is incorrect for this case, and
you proof is just unsound being based on a false premise.

Re: My honest reviewers: André, Ben, Mike, Dennis, Richard

<878rs1dt6y.fsf_-_@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30615&group=comp.theory#30615

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben)
Newsgroups: comp.theory
Subject: Re: My honest reviewers: André, Ben, Mike,
Dennis, Richard
Date: Tue, 19 Apr 2022 15:49:25 +0100
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <878rs1dt6y.fsf_-_@bsb.me.uk>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk>
<apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk>
<P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk>
<aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk>
<beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk>
<w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk>
<DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk>
<tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk>
<is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org; posting-host="4d1cd09c35b7beb9a57b2370ff2059bb";
logging-data="26855"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX183JdQ4DVhxQDXgqjP4x4ln1GzyU3DehNs="
Cancel-Lock: sha1:iU79UIHQ5bN6/PTlRK/O20lTtVY=
sha1:VZfhAUmojxE+HDEFh8e/V4zVbnw=
X-BSB-Auth: 1.d66138ebf14bb2a94c2e.20220419154925BST.878rs1dt6y.fsf_-_@bsb.me.uk
 by: Ben - Tue, 19 Apr 2022 14:49 UTC

olcott <NoOne@NoWhere.com> writes:

> On 4/18/2022 4:53 PM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/17/2022 6:43 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>
>>>>>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>>>>>> code...
>>>>>>
>>>>>> If you were right you'd publish the code.
>>>>>
>>>>> This is the only relevant code to the question does the correctly
>>>>> simulated input to H(P,P) halt?
>>>>
>>>> Clearly not. The code for P is not in doubt.
>>>
>>> So then you must agree that when H correctly simulates the input to
>>> H(P,P) that it would never reach its own final state.
>> Deflection. As I said, if you were right you'd publish the code. You
>> pointlessly showed P which is not in doubt. I can only assume you know
>> that if you publish H the game will be well and truly up. You need to
>> trot out one of your excuses for keeping the flawed code secret.
>
> I am going to continue to present this same point until everyone
> reading this forum realizes that the only reason that you dodge it is
> because you already know that it is correct.

Everyone here has seen me address it many times and has seen you ignore
what I've said about it many times. Do you really think anyone will
change their option of me just because you keep typing the same vague
sentence? And, more to the point, why do you care what people think of
me?

What you need is someone you trust to tell you to do something useful
with your time, not some way to get "everyone reading this forum" to
form your preferred opinion of me. I am not that important.

> When the input to H(P,P) is non halting then it is necessarily correct
> for H to report that the input to H(P,P) is non halting.

On more time: H(P,P) has no input. If you mean the two pointer
parameters, say so. That "input" -- those two pointers -- are neither
halting nor non halting. Maybe you mean calling the first with the
second as its only argument is non halting? If you do, you are
(according to other posts of yours) wrong. Say what you mean, or accept
that honest commentators will have to explain your words back to you.

At least you've removed the "would" and you have stopped using the
unclear "it" and "its".

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

Re: My honest reviewers: André, Ben, Mike, Dennis, Richard

<psKdncp5lM76FcL_nZ2dnUU7_8zNnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30634&group=comp.theory#30634

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 19 Apr 2022 23:13:27 -0500
Date: Tue, 19 Apr 2022 23:13:26 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Subject: Re:_My_honest_reviewers:_André,_Ben,_Mike,
_Dennis,_Richard
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk> <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk> <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk> <is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
<878rs1dt6y.fsf_-_@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <878rs1dt6y.fsf_-_@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <psKdncp5lM76FcL_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 80
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-6Yybh/IE2YoU84gCm1BMDTchhMEtniOGwLY9vGJYwLszcK6qjBn3k9tAErUjPY7tA3h+HMn4Jc+RQzz!zijdYrdsUNtywR2oYlYqgRKJ0EmOg4KY5ZExcmyNq2e5HnuoC+5xBhEg8UN+hw5L4iGbN8KDe3Xi
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 5408
 by: olcott - Wed, 20 Apr 2022 04:13 UTC

On 4/19/2022 9:49 AM, Ben wrote:
> olcott <NoOne@NoWhere.com> writes:
>
>> On 4/18/2022 4:53 PM, Ben wrote:
>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>> On 4/17/2022 6:43 PM, Ben wrote:
>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>
>>>>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>>>>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>>>>>>> code...
>>>>>>>
>>>>>>> If you were right you'd publish the code.
>>>>>>
>>>>>> This is the only relevant code to the question does the correctly
>>>>>> simulated input to H(P,P) halt?
>>>>>
>>>>> Clearly not. The code for P is not in doubt.
>>>>
>>>> So then you must agree that when H correctly simulates the input to
>>>> H(P,P) that it would never reach its own final state.
>>> Deflection. As I said, if you were right you'd publish the code. You
>>> pointlessly showed P which is not in doubt. I can only assume you know
>>> that if you publish H the game will be well and truly up. You need to
>>> trot out one of your excuses for keeping the flawed code secret.
>>
>> I am going to continue to present this same point until everyone
>> reading this forum realizes that the only reason that you dodge it is
>> because you already know that it is correct.
>
> Everyone here has seen me address it many times and has seen you ignore
> what I've said about it many times. Do you really think anyone will
> change their option of me just because you keep typing the same vague
> sentence? And, more to the point, why do you care what people think of
> me?
>
> What you need is someone you trust to tell you to do something useful
> with your time, not some way to get "everyone reading this forum" to
> form your preferred opinion of me. I am not that important.
>
>> When the input to H(P,P) is non halting then it is necessarily correct
>> for H to report that the input to H(P,P) is non halting.
>
> On more time: H(P,P) has no input. If you mean the two pointer
> parameters, say so. That "input" -- those two pointers -- are neither
> halting nor non halting. Maybe you mean calling the first with the
> second as its only argument is non halting? If you do, you are
> (according to other posts of yours) wrong. Say what you mean, or accept
> that honest commentators will have to explain your words back to you.
>
> At least you've removed the "would" and you have stopped using the
> unclear "it" and "its".
>

Second R-CHOP chemotherapy today, this time the Rituxan was well
Tolerated, The prior session I could only tolerate 10% of the full dose.
It was a 12 hour day today from when I left my house until I returned
from chemo.

Even though all of my lymph nodes are jam packed with lymphoma so much
that the PET scan only saw continuous masses of lymphoma and could not
distinguish separated lymph nodes, my blood still does not know that I
have cancer. Hematocrit and hemoglobin are a litte low everything else
it normal.

The fact that the correctly simulated input to H(P,P) is provably
non-halting is an entirely sufficient basis for H to report that it's
input is non-halting.

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Re: My honest reviewers: André, Ben, Mike, Dennis, Richard

<yNS7K.88210$Kdf.60643@fx96.iad>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30642&group=comp.theory#30642

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!3.eu.feeder.erje.net!feeder.erje.net!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx96.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.8.1
Subject: Re:_My_honest_reviewers:_André,_Ben,_Mike,
_Dennis,_Richard
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk> <apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk> <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk> <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk> <is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
<878rs1dt6y.fsf_-_@bsb.me.uk> <psKdncp5lM76FcL_nZ2dnUU7_8zNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <psKdncp5lM76FcL_nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 88
Message-ID: <yNS7K.88210$Kdf.60643@fx96.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Wed, 20 Apr 2022 08:13:17 -0400
X-Received-Bytes: 5703
 by: Richard Damon - Wed, 20 Apr 2022 12:13 UTC

On 4/20/22 12:13 AM, olcott wrote:
> On 4/19/2022 9:49 AM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/18/2022 4:53 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/17/2022 6:43 PM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>>>>>> If I was wrong then the correct simulation of the 27 bytes of
>>>>>>>>> machine
>>>>>>>>> code...
>>>>>>>>
>>>>>>>> If you were right you'd publish the code.
>>>>>>>
>>>>>>> This is the only relevant code to the question does the correctly
>>>>>>> simulated input to H(P,P) halt?
>>>>>>
>>>>>> Clearly not.  The code for P is not in doubt.
>>>>>
>>>>> So then you must agree that when H correctly simulates the input to
>>>>> H(P,P) that it would never reach its own final state.
>>>> Deflection.  As I said, if you were right you'd publish the code.  You
>>>> pointlessly showed P which is not in doubt.  I can only assume you know
>>>> that if you publish H the game will be well and truly up.  You need to
>>>> trot out one of your excuses for keeping the flawed code secret.
>>>
>>> I am going to continue to present this same point until everyone
>>> reading this forum realizes that the only reason that you dodge it is
>>> because you already know that it is correct.
>>
>> Everyone here has seen me address it many times and has seen you ignore
>> what I've said about it many times.  Do you really think anyone will
>> change their option of me just because you keep typing the same vague
>> sentence?  And, more to the point, why do you care what people think of
>> me?
>>
>> What you need is someone you trust to tell you to do something useful
>> with your time, not some way to get "everyone reading this forum" to
>> form your preferred opinion of me.  I am not that important.
>>
>>> When the input to H(P,P) is non halting then it is necessarily correct
>>> for H to report that the input to H(P,P) is non halting.
>>
>> On more time: H(P,P) has no input.  If you mean the two pointer
>> parameters, say so.  That "input" -- those two pointers -- are neither
>> halting nor non halting.  Maybe you mean calling the first with the
>> second as its only argument is non halting?  If you do, you are
>> (according to other posts of yours) wrong.  Say what you mean, or accept
>> that honest commentators will have to explain your words back to you.
>>
>> At least you've removed the "would" and you have stopped using the
>> unclear "it" and "its".
>>
>
> Second R-CHOP chemotherapy today, this time the Rituxan was well
> Tolerated, The prior session I could only tolerate 10% of the full dose.
> It was a 12 hour day today from when I left my house until I returned
> from chemo.
>
> Even though all of my lymph nodes are jam packed with lymphoma so much
> that the PET scan only saw continuous masses of lymphoma and could not
> distinguish separated lymph nodes, my blood still does not know that I
> have  cancer. Hematocrit and hemoglobin are a litte low everything else
> it normal.
>
> The fact that the correctly simulated input to H(P,P) is provably
> non-halting is an entirely sufficient basis for H to report that it's
> input is non-halting.
>

Except that the actual correct simulation of the input to H(P,P), when
H(P,P) returns false, actually halts. You only think it doesn't because
you use the wrong definiton of the correct simulation of the input, and
instead look at the simulation of the input done by H, which aborts
itself, and thus is NOT a correct simulation.

FALSE PREMISE, UNSOUND conclusion.

You just show yourself to be too dumb to see that.

Maybe you are like your blood, to dumb to know there is a problem.

Re: My honest reviewers: André, Ben, Mike, Dennis, Richard

<20220420131504.00007b6d@reddwarf.jmc.corp>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30643&group=comp.theory#30643

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!npeer.as286.net!npeer-ng0.as286.net!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx12.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: Re: My honest reviewers: André, Ben, Mike,
Dennis, Richard
Message-ID: <20220420131504.00007b6d@reddwarf.jmc.corp>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87k0brspnx.fsf@bsb.me.uk>
<apCdnQvgYZorqMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk>
<P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk>
<aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk>
<beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk>
<w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk>
<DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk>
<tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk>
<is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
<878rs1dt6y.fsf_-_@bsb.me.uk>
<psKdncp5lM76FcL_nZ2dnUU7_8zNnZ2d@giganews.com>
<yNS7K.88210$Kdf.60643@fx96.iad>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Lines: 97
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Wed, 20 Apr 2022 12:15:05 UTC
Date: Wed, 20 Apr 2022 13:15:04 +0100
X-Received-Bytes: 5979
 by: Mr Flibble - Wed, 20 Apr 2022 12:15 UTC

On Wed, 20 Apr 2022 08:13:17 -0400
Richard Damon <Richard@Damon-Family.org> wrote:

> On 4/20/22 12:13 AM, olcott wrote:
> > On 4/19/2022 9:49 AM, Ben wrote:
> >> olcott <NoOne@NoWhere.com> writes:
> >>
> >>> On 4/18/2022 4:53 PM, Ben wrote:
> >>>> olcott <NoOne@NoWhere.com> writes:
> >>>>
> >>>>> On 4/17/2022 6:43 PM, Ben wrote:
> >>>>>> olcott <NoOne@NoWhere.com> writes:
> >>>>>>
> >>>>>>> On 4/17/2022 10:20 AM, Ben wrote:
> >>>>>>>> olcott <NoOne@NoWhere.com> writes:
> >>>>
> >>>>>>>>> If I was wrong then the correct simulation of the 27 bytes
> >>>>>>>>> of machine
> >>>>>>>>> code...
> >>>>>>>>
> >>>>>>>> If you were right you'd publish the code.
> >>>>>>>
> >>>>>>> This is the only relevant code to the question does the
> >>>>>>> correctly simulated input to H(P,P) halt?
> >>>>>>
> >>>>>> Clearly not.  The code for P is not in doubt.
> >>>>>
> >>>>> So then you must agree that when H correctly simulates the
> >>>>> input to H(P,P) that it would never reach its own final state.
> >>>> Deflection.  As I said, if you were right you'd publish the
> >>>> code.  You pointlessly showed P which is not in doubt.  I can
> >>>> only assume you know that if you publish H the game will be well
> >>>> and truly up.  You need to trot out one of your excuses for
> >>>> keeping the flawed code secret.
> >>>
> >>> I am going to continue to present this same point until everyone
> >>> reading this forum realizes that the only reason that you dodge
> >>> it is because you already know that it is correct.
> >>
> >> Everyone here has seen me address it many times and has seen you
> >> ignore what I've said about it many times.  Do you really think
> >> anyone will change their option of me just because you keep typing
> >> the same vague sentence?  And, more to the point, why do you care
> >> what people think of me?
> >>
> >> What you need is someone you trust to tell you to do something
> >> useful with your time, not some way to get "everyone reading this
> >> forum" to form your preferred opinion of me.  I am not that
> >> important.
> >>> When the input to H(P,P) is non halting then it is necessarily
> >>> correct for H to report that the input to H(P,P) is non halting.
> >>
> >> On more time: H(P,P) has no input.  If you mean the two pointer
> >> parameters, say so.  That "input" -- those two pointers -- are
> >> neither halting nor non halting.  Maybe you mean calling the first
> >> with the second as its only argument is non halting?  If you do,
> >> you are (according to other posts of yours) wrong.  Say what you
> >> mean, or accept that honest commentators will have to explain your
> >> words back to you.
> >>
> >> At least you've removed the "would" and you have stopped using the
> >> unclear "it" and "its".
> >>
> >
> > Second R-CHOP chemotherapy today, this time the Rituxan was well
> > Tolerated, The prior session I could only tolerate 10% of the full
> > dose. It was a 12 hour day today from when I left my house until I
> > returned from chemo.
> >
> > Even though all of my lymph nodes are jam packed with lymphoma so
> > much that the PET scan only saw continuous masses of lymphoma and
> > could not distinguish separated lymph nodes, my blood still does
> > not know that I have  cancer. Hematocrit and hemoglobin are a litte
> > low everything else it normal.
> >
> > The fact that the correctly simulated input to H(P,P) is provably
> > non-halting is an entirely sufficient basis for H to report that
> > it's input is non-halting.
> >
>
> Except that the actual correct simulation of the input to H(P,P),
> when H(P,P) returns false, actually halts. You only think it doesn't
> because you use the wrong definiton of the correct simulation of the
> input, and instead look at the simulation of the input done by H,
> which aborts itself, and thus is NOT a correct simulation.
>
> FALSE PREMISE, UNSOUND conclusion.
>
> You just show yourself to be too dumb to see that.
>
> Maybe you are like your blood, to dumb to know there is a problem.
Crawl back under your rock, Richard Damon.

/Flibble

Re: My honest reviewers: André, Ben, Mike, Dennis, Richard

<87mtgfbwc5.fsf@bsb.me.uk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30656&group=comp.theory#30656

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben)
Newsgroups: comp.theory
Subject: Re: My honest reviewers: André, Ben, Mike,
Dennis, Richard
Date: Wed, 20 Apr 2022 16:36:42 +0100
Organization: A noiseless patient Spider
Lines: 81
Message-ID: <87mtgfbwc5.fsf@bsb.me.uk>
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk>
<q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk>
<YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk>
<P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk>
<aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk>
<beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk>
<w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk>
<DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk>
<tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk>
<is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
<878rs1dt6y.fsf_-_@bsb.me.uk>
<psKdncp5lM76FcL_nZ2dnUU7_8zNnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org; posting-host="11329098bb04545838684a4d5759e09f";
logging-data="18141"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/HQwh/i5nKVq5PzigcUgim1msgew+Bm2I="
Cancel-Lock: sha1:VLJKYDQsoPmXDi6dFBLrZwcAH4w=
sha1:/Er2Ay8C3R57zi4OzFDfyqQ9OUg=
X-BSB-Auth: 1.43d86998ab698a308c08.20220420163642BST.87mtgfbwc5.fsf@bsb.me.uk
 by: Ben - Wed, 20 Apr 2022 15:36 UTC

olcott <NoOne@NoWhere.com> writes:

> On 4/19/2022 9:49 AM, Ben wrote:
>> olcott <NoOne@NoWhere.com> writes:
>>
>>> On 4/18/2022 4:53 PM, Ben wrote:
>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>> On 4/17/2022 6:43 PM, Ben wrote:
>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>
>>>>>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>
>>>>>>>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>>>>>>>> code...
>>>>>>>>
>>>>>>>> If you were right you'd publish the code.
>>>>>>>
>>>>>>> This is the only relevant code to the question does the correctly
>>>>>>> simulated input to H(P,P) halt?
>>>>>>
>>>>>> Clearly not. The code for P is not in doubt.
>>>>>
>>>>> So then you must agree that when H correctly simulates the input to
>>>>> H(P,P) that it would never reach its own final state.
>>>> Deflection. As I said, if you were right you'd publish the code. You
>>>> pointlessly showed P which is not in doubt. I can only assume you know
>>>> that if you publish H the game will be well and truly up. You need to
>>>> trot out one of your excuses for keeping the flawed code secret.
>>>
>>> I am going to continue to present this same point until everyone
>>> reading this forum realizes that the only reason that you dodge it is
>>> because you already know that it is correct.
>> Everyone here has seen me address it many times and has seen you ignore
>> what I've said about it many times. Do you really think anyone will
>> change their option of me just because you keep typing the same vague
>> sentence? And, more to the point, why do you care what people think of
>> me?
>> What you need is someone you trust to tell you to do something useful
>> with your time, not some way to get "everyone reading this forum" to
>> form your preferred opinion of me. I am not that important.
>>
>>> When the input to H(P,P) is non halting then it is necessarily correct
>>> for H to report that the input to H(P,P) is non halting.
>> On more time: H(P,P) has no input. If you mean the two pointer
>> parameters, say so. That "input" -- those two pointers -- are neither
>> halting nor non halting. Maybe you mean calling the first with the
>> second as its only argument is non halting? If you do, you are
>> (according to other posts of yours) wrong. Say what you mean, or accept
>> that honest commentators will have to explain your words back to you.
>> At least you've removed the "would" and you have stopped using the
>> unclear "it" and "its".
>>
>
> Second R-CHOP chemotherapy today, this time the Rituxan was well
> Tolerated, The prior session I could only tolerate 10% of the full
> dose. It was a 12 hour day today from when I left my house until I
> returned from chemo.

I hope it works and that you don't get too may bad effects. A friend of
mine is having chemo at the moment and, sadly, the side effect seem to
get worse with each round. Hang in there.

> Even though all of my lymph nodes are jam packed with lymphoma so much
> that the PET scan only saw continuous masses of lymphoma and could not
> distinguish separated lymph nodes, my blood still does not know that I
> have cancer. Hematocrit and hemoglobin are a litte low everything else
> it normal.
>
> The fact that the correctly simulated input to H(P,P) is provably
> non-halting is an entirely sufficient basis for H to report that it's
> input is non-halting.

My reply is as above. Correct the wording and you'll see that this is
not true.

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

Re: My honest reviewers: André, Ben, Mike, Dennis, Richard

<TJydnQVZqLD5o_3_nZ2dnUU7_83NnZ2d@giganews.com>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=30660&group=comp.theory#30660

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 20 Apr 2022 12:09:56 -0500
Date: Wed, 20 Apr 2022 12:09:54 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.8.0
Subject: Re:_My_honest_reviewers:_André,_Ben,_Mike,
_Dennis,_Richard
Content-Language: en-US
Newsgroups: comp.theory
References: <v6idnaCJifSVTtT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87ee1zsjne.fsf@bsb.me.uk> <q76dnVaeIav7y8X_nZ2dnUU7_83NnZ2d@giganews.com>
<8735ifs7vo.fsf@bsb.me.uk> <YrGdnXX-0dGzAMX_nZ2dnUU7_8zNnZ2d@giganews.com>
<87lew7qk6k.fsf@bsb.me.uk> <P82dncVZ0YIPJMX_nZ2dnUU7_8xh4p2d@giganews.com>
<87a6cmr2ii.fsf@bsb.me.uk> <aa2dnVZdvrlOFMT_nZ2dnUU7_8zNnZ2d@giganews.com>
<87tuaungw7.fsf@bsb.me.uk> <beqdnWviEc-fcsT_nZ2dnUU7_83NnZ2d@giganews.com>
<87zgkkldog.fsf@bsb.me.uk> <w9-dnZOcu_m09Mb_nZ2dnUU7_81g4p2d@giganews.com>
<87y203ka8o.fsf@bsb.me.uk> <DbGdnd1PJsR0rsH_nZ2dnUU7_8xh4p2d@giganews.com>
<87o80zi8dy.fsf@bsb.me.uk> <tfidnSG6b5yyN8H_nZ2dnUU7_8zNnZ2d@giganews.com>
<877d7mf47m.fsf@bsb.me.uk> <is2dnfjjo6EpcMD_nZ2dnUU7_8zNnZ2d@giganews.com>
<878rs1dt6y.fsf_-_@bsb.me.uk> <psKdncp5lM76FcL_nZ2dnUU7_8zNnZ2d@giganews.com>
<87mtgfbwc5.fsf@bsb.me.uk>
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <87mtgfbwc5.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <TJydnQVZqLD5o_3_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 93
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-IOsk4UXobRz9bWnFKH1A143JEnDnfbfMYX1KYIr31jx1GWrEYzP9KFnQGpdt88Xkm2kU+zrk2m8fBkQ!fBNbwaNEMqXwMDDHrPl23O1dwhl85aqVf3MGZY5iSj/Gyzq3cySapR31p94lmKoKiBNSjW2GpmsO
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 6190
 by: olcott - Wed, 20 Apr 2022 17:09 UTC

On 4/20/2022 10:36 AM, Ben wrote:
> olcott <NoOne@NoWhere.com> writes:
>
>> On 4/19/2022 9:49 AM, Ben wrote:
>>> olcott <NoOne@NoWhere.com> writes:
>>>
>>>> On 4/18/2022 4:53 PM, Ben wrote:
>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>
>>>>>> On 4/17/2022 6:43 PM, Ben wrote:
>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>>>
>>>>>>>> On 4/17/2022 10:20 AM, Ben wrote:
>>>>>>>>> olcott <NoOne@NoWhere.com> writes:
>>>>>
>>>>>>>>>> If I was wrong then the correct simulation of the 27 bytes of machine
>>>>>>>>>> code...
>>>>>>>>>
>>>>>>>>> If you were right you'd publish the code.
>>>>>>>>
>>>>>>>> This is the only relevant code to the question does the correctly
>>>>>>>> simulated input to H(P,P) halt?
>>>>>>>
>>>>>>> Clearly not. The code for P is not in doubt.
>>>>>>
>>>>>> So then you must agree that when H correctly simulates the input to
>>>>>> H(P,P) that it would never reach its own final state.
>>>>> Deflection. As I said, if you were right you'd publish the code. You
>>>>> pointlessly showed P which is not in doubt. I can only assume you know
>>>>> that if you publish H the game will be well and truly up. You need to
>>>>> trot out one of your excuses for keeping the flawed code secret.
>>>>
>>>> I am going to continue to present this same point until everyone
>>>> reading this forum realizes that the only reason that you dodge it is
>>>> because you already know that it is correct.
>>> Everyone here has seen me address it many times and has seen you ignore
>>> what I've said about it many times. Do you really think anyone will
>>> change their option of me just because you keep typing the same vague
>>> sentence? And, more to the point, why do you care what people think of
>>> me?
>>> What you need is someone you trust to tell you to do something useful
>>> with your time, not some way to get "everyone reading this forum" to
>>> form your preferred opinion of me. I am not that important.
>>>
>>>> When the input to H(P,P) is non halting then it is necessarily correct
>>>> for H to report that the input to H(P,P) is non halting.
>>> On more time: H(P,P) has no input. If you mean the two pointer
>>> parameters, say so. That "input" -- those two pointers -- are neither
>>> halting nor non halting. Maybe you mean calling the first with the
>>> second as its only argument is non halting? If you do, you are
>>> (according to other posts of yours) wrong. Say what you mean, or accept
>>> that honest commentators will have to explain your words back to you.
>>> At least you've removed the "would" and you have stopped using the
>>> unclear "it" and "its".
>>>
>>
>> Second R-CHOP chemotherapy today, this time the Rituxan was well
>> Tolerated, The prior session I could only tolerate 10% of the full
>> dose. It was a 12 hour day today from when I left my house until I
>> returned from chemo.
>
> I hope it works and that you don't get too may bad effects. A friend of
> mine is having chemo at the moment and, sadly, the side effect seem to
> get worse with each round. Hang in there.
>

After the first round I felt completely normal the whole time. Minor
issues with bowels that I know how to deal with now. All of my blood
cells were normal prior to the second treatment.

>> Even though all of my lymph nodes are jam packed with lymphoma so much
>> that the PET scan only saw continuous masses of lymphoma and could not
>> distinguish separated lymph nodes, my blood still does not know that I
>> have cancer. Hematocrit and hemoglobin are a litte low everything else
>> it normal.
>>
>> The fact that the correctly simulated input to H(P,P) is provably
>> non-halting is an entirely sufficient basis for H to report that it's
>> input is non-halting.
>
> My reply is as above. Correct the wording and you'll see that this is
> not true.
>

I will address this again in you prior comment to that there are not too
may levels of quoting.

--
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
Genius hits a target no one else can see."
Arthur Schopenhauer

Pages:12345678910111213141516171819202122232425262728293031323334353637383940
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor