Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Nuclear war can ruin your whole compile." -- Karl Lehenbauer


computers / comp.ai.philosophy / Re: H(P,P)==0 is proven to be correct thus refuting the halting problem proofs [ ignorance squared ]

Re: H(P,P)==0 is proven to be correct thus refuting the halting problem proofs [ ignorance squared ]

<UShiK.11674$5fVf.6674@fx09.iad>

  copy mid

https://www.novabbs.com/computers/article-flat.php?id=8888&group=comp.ai.philosophy#8888

  copy link   Newsgroups: comp.theory comp.ai.philosophy sci.logic
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder1.feed.usenet.farm!feed.usenet.farm!peer01.ams4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx09.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.9.0
Subject: Re: H(P,P)==0 is proven to be correct thus refuting the halting
problem proofs [ ignorance squared ]
Content-Language: en-US
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic
References: <2o6dnUiVkpwkZxX_nZ2dnUU7_83NnZ2d@giganews.com>
<2l7iK.4210$3Gzd.996@fx96.iad>
<pbWdnQ8FgdkYlBT_nZ2dnUU7_83NnZ2d@giganews.com> <Rk8iK.97$oBkb.52@fx36.iad>
<Gr2dnQUB1by4jhT_nZ2dnUU7_8zNnZ2d@giganews.com>
<5A8iK.19830$zgr9.6127@fx13.iad>
<boKdnYDhXsgUihT_nZ2dnUU7_83NnZ2d@giganews.com> <iDaiK.48$CBlb.34@fx42.iad>
<hvydnRtx-KhkqxT_nZ2dnUU7_8xh4p2d@giganews.com> <hLaiK.52$CBlb.41@fx42.iad>
<buqdnb0TML8SpBT_nZ2dnUU7_8zNnZ2d@giganews.com>
<nSfiK.6234$IgSc.2259@fx45.iad>
<WKydnZZQmbU-FhT_nZ2dnUU7_83NnZ2d@giganews.com>
<9agiK.1050$gjlb.537@fx44.iad>
<I6idnSPl8NebDBT_nZ2dnUU7_81g4p2d@giganews.com>
<echiK.28776$J0r9.6239@fx11.iad>
<ZMadnSNEEuKCPBT_nZ2dnUU7_8zNnZ2d@giganews.com>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <ZMadnSNEEuKCPBT_nZ2dnUU7_8zNnZ2d@giganews.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 152
Message-ID: <UShiK.11674$5fVf.6674@fx09.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, 21 May 2022 23:12:52 -0400
X-Received-Bytes: 8904
 by: Richard Damon - Sun, 22 May 2022 03:12 UTC

On 5/21/22 10:34 PM, olcott wrote:
> On 5/21/2022 9:27 PM, Richard Damon wrote:
>> On 5/21/22 9:25 PM, olcott wrote:
>>> On 5/21/2022 8:16 PM, Richard Damon wrote:
>>>> On 5/21/22 9:02 PM, olcott wrote:
>>>>> On 5/21/2022 7:55 PM, Richard Damon wrote:
>>>>>> On 5/21/22 3:12 PM, olcott wrote:
>>>>>>> On 5/21/2022 2:06 PM, Richard Damon wrote:
>>>>>>>> On 5/21/22 3:01 PM, olcott wrote:
>>>>>>>>> On 5/21/2022 1:58 PM, Richard Damon wrote:
>>>>>>>>>> On 5/21/22 12:47 PM, olcott wrote:
>>>>>>>>>>> On 5/21/2022 11:38 AM, Richard Damon wrote:
>>>>>>>>>>>> On 5/21/22 12:28 PM, olcott wrote:
>>>>>>>>>>>>> On 5/21/2022 11:22 AM, Richard Damon wrote:
>>>>>>>>>>>>>> On 5/21/22 11:47 AM, olcott wrote:
>>>>>>>>>>>>>>> On 5/21/2022 10:14 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> On 5/21/22 10:44 AM, olcott wrote:
>>>>>>>>>>>>>>>>> It is an easily verified fact that the execution trace
>>>>>>>>>>>>>>>>> provided by H(P,P) of the nested simulation of its
>>>>>>>>>>>>>>>>> input exactly matches the behavior of the correctly
>>>>>>>>>>>>>>>>> reverse-engineered nested execution trace would be.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> No, it is easy to verify that it does NOT.
>>>>>>>>>>>>>>> You know that you are a liar so I challenge you to
>>>>>>>>>>>>>>> provide the execution trace that a pure single level
>>>>>>>>>>>>>>> nested emulation of the input to H(P,P) would be. Any
>>>>>>>>>>>>>>> failure to provide this basis for your damned lies will
>>>>>>>>>>>>>>> be considered direct admission that you know you are lying.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> _P()
>>>>>>>>>>>>>>> [00001352](01)  55              push ebp
>>>>>>>>>>>>>>> [00001353](02)  8bec            mov ebp,esp
>>>>>>>>>>>>>>> [00001355](03)  8b4508          mov eax,[ebp+08]
>>>>>>>>>>>>>>> [00001358](01)  50              push eax      // push P
>>>>>>>>>>>>>>> [00001359](03)  8b4d08          mov ecx,[ebp+08]
>>>>>>>>>>>>>>> [0000135c](01)  51              push ecx      // push P
>>>>>>>>>>>>>>> [0000135d](05)  e840feffff      call 000011a2 // call H
>>>>>>>>>>>>>>> [00001362](03)  83c408          add esp,+08
>>>>>>>>>>>>>>> [00001365](02)  85c0            test eax,eax
>>>>>>>>>>>>>>> [00001367](02)  7402            jz 0000136b
>>>>>>>>>>>>>>> [00001369](02)  ebfe            jmp 00001369
>>>>>>>>>>>>>>> [0000136b](01)  5d              pop ebp
>>>>>>>>>>>>>>> [0000136c](01)  c3              ret
>>>>>>>>>>>>>>> Size in bytes:(0027) [0000136c]
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Well, I wopuld need to have the code for H to do that,
>>>>>>>>>>>>>> since that is PART of P.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> It would begin as:
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>      machine   stack     stack     machine    assembly
>>>>>>>>>>>>>>      address   address   data      code       language
>>>>>>>>>>>>>>      ========  ========  ========  =========  =============
>>>>>>>>>>>>>> ...[00001352][0021233e][00212342] 55         push ebp //
>>>>>>>>>>>>>> enter P
>>>>>>>>>>>>>> ...[00001353][0021233e][00212342] 8bec       mov ebp,esp
>>>>>>>>>>>>>> ...[00001355][0021233e][00212342] 8b4508     mov eax,[ebp+08]
>>>>>>>>>>>>>> ...[00001358][0021233a][00001352] 50         push eax //
>>>>>>>>>>>>>> push P
>>>>>>>>>>>>>> ...[00001359][0021233a][00001352] 8b4d08     mov ecx,[ebp+08]
>>>>>>>>>>>>>> ...[0000135c][00212336][00001352] 51         push ecx //
>>>>>>>>>>>>>> push P
>>>>>>>>>>>>>> ...[0000135d][00212332][00001362] e840feffff call 000011a2
>>>>>>>>>>>>>> // call H
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> At this point I don't have the data,
>>>>>>>>>>>>>
>>>>>>>>>>>>> The assumption is that H(P,P) correctly emulates its input.
>>>>>>>>>>>>
>>>>>>>>>>>> Maybe a bad assumption!
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> It is stipulated that you must show what the execution trace
>>>>>>>>>>> of the input to H(P,P) would be if H only simulated its
>>>>>>>>>>> input. You must show this for one simulation and one nested
>>>>>>>>>>> simulation. Failure to do this will be construed as a direct
>>>>>>>>>>> admission that you know you are lying.
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> So, give me a copy of H to trace,
>>>>>>>>> You are required to provide a trace under the assumption that
>>>>>>>>> H(P,P) only does a pure x86 emulation of its input for the
>>>>>>>>> first emulation and the first nested emulation. Are you too
>>>>>>>>> stupid to understand this?
>>>>>>>>>
>>>>>>>>
>>>>>>>> You obviously have an reading problem.
>>>>>>>>
>>>>>>>> I said, for that I need the code of H, as that is what needs to
>>>>>>>> be traced.
>>>>>>>>
>>>>>>>
>>>>>>> If it is "given" that this code only performs a pure x86
>>>>>>> emulation of its input (unless you have no idea what an x86
>>>>>>> emulation is) there is no reason to see that the code derives a
>>>>>>> pure x86 emulation of its input.
>>>>>>
>>>>>> The the trace of the emulation needs to show the actual steps of
>>>>>> emulationg the input, like I mentioned.
>>>>>>
>>>>> If I showed either the source-code of H or the execution trace of H
>>>>> people here would be so confused that I would never reach closure
>>>>> in 50 years. If they can't comprehend a 14 line execution trace
>>>>> then showing them much more than this would permanently scramble
>>>>> their brains.
>>>>
>>>> No, people wouldn't be confused,
>>>>
>>>
>>> That they don't understand that they don't need to see this
>>> conclusively proves that they have woefully inadequate technical
>>> skills to evaluate my work.
>>>
>>
>> Just shows you are lying.
>>
> I coined the term "ignorance squared" decades ago to account for the
> fact that people cannot possibly be directly aware of their own ignorance.

You seem tobe a good example of that.

>
> To be directly aware of their own ignorance requires them to contrast
> their ignorance with the knowledge that they are missing.
>
> Since they don't have this missing knowledge they cannot become directly
> aware that they are missing any knowledge. Their own ignorance is simply
> perceived as disagreement.

So, what actual FACT do you think I am missing?

I have stated specific rules that your 'claims' fail to follow. All you
have done is hurled insults. Who doesn't actually know what they are
talking about?

YOU are the one who has admitted to not having studied the theory, so
don't have a real basis to judge what they do not know.

You are the perfect example of Dunning-Kruger Effect. (Maybe you didn't
realize that the effect has an actual name because it has long been known).

One of your problems is that not having studied the history of the
field, you repeat the exact same errors that have been previously committed.

I will say you are somewhat inventive in how you try to express these
errors, but fundamentally many of them are ancient.

SubjectRepliesAuthor
o H(P,P)==0 is proven to be correct thus refuting the halting problem

By: olcott on Sat, 21 May 2022

20olcott
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor