Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD emulated by HHH --- (does not refer to prior posts)
Date: Sat, 31 Aug 2024 16:01:13 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <134d9ca553bb50c9779cd6f21f6229a83fe68d92@i2pn2.org>
References: <vajdta$2qe9s$1@dont-email.me> <vak3a0$2teq9$1@dont-email.me>
 <vakhnf$302rl$2@dont-email.me> <vamk7l$3d7ki$1@dont-email.me>
 <van3v7$3f6c0$5@dont-email.me> <vap7b1$3sobs$1@dont-email.me>
 <vapvbc$3vumk$5@dont-email.me>
 <e10aee5b3ede543da42ba76ac4d7f0a0fe762695@i2pn2.org>
 <vasmn8$hmpd$1@dont-email.me> <vaumg9$ut9s$1@dont-email.me>
 <vav0r9$10jsm$1@dont-email.me> <vavb4a$11uqn$1@dont-email.me>
 <vavca1$1283f$1@dont-email.me>
 <98cab2236f5cf14547da155651a24f9561e2b076@i2pn2.org>
 <vavqot$14dkv$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 31 Aug 2024 20:01:13 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="364206"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vavqot$14dkv$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 7186
Lines: 129

On 8/31/24 3:26 PM, olcott wrote:
> On 8/31/2024 1:49 PM, joes wrote:
>> Am Sat, 31 Aug 2024 10:19:28 -0500 schrieb olcott:
>>> On 8/31/2024 9:59 AM, Fred. Zwarts wrote:
>>>> Op 31.aug.2024 om 14:03 schreef olcott:
>>>>> On 8/31/2024 4:07 AM, Fred. Zwarts wrote:
>>>>>> Op 30.aug.2024 om 16:58 schreef olcott:
>>>>>>> On 8/30/2024 9:56 AM, joes wrote:
>>>>>>>> Am Thu, 29 Aug 2024 09:07:39 -0500 schrieb olcott:
>>
>>>>>>>>> HHH correctly predicts what the behavior of DDD would be if this
>>>>>>>>> HHH never aborted its emulation of DDD.
>>>>>>>> Problem is, DDD is then not calling itself, but the non-input of a
>>>>>>>> not-aborting HHH.
>>>>>>> *This is before any aborting occurs*
>>>>>> Here is your problem. The code of the program and its meaning
>>>>>> according to the semantics of the x86 language, does not suddenly
>>>>>> change when the aborting occurs.
>> ^ important
>>>>> You cannot possibly say one damn thing about the behavior of DDD until
>>>>> you first understand that a world class x86 emulator that HHH calls
>>>>> does enable HHH to correctly emulate itself emulating DDD and the
>>>>> following execution trace proves this.
>>>> And when this unmodified world class x86 simulator was given olcott's
>>>> DDD based on the aborting HHH as input, it showed that this has halting
>>>> behaviour.
>>>> THIS IS A VERIFIED FACT! Even olcott has verified it.
>>>> This correct simulation by the unmodified world class simulator tells
>>>> us that the program has a halting behaviour.
>>>> Your *modification* of the simulator stops the simulation before it can
>>>> see the halting behaviour and decides that the input is non-halting.
>>>> We know which one is correct: the unmodified world class simulator, not
>>>> the *modified* one, which aborts one cycle too soon..
>>
>>
>>>> Still dreaming of the HHH that does an infinite recursion?
>>> Before we can proceed to the next step you must first agree that the
>>> second emulation of DDD by the emulated HHH is proven to be correct on
>>> the basis that it does emulate the first four instructions of DDD.
>> The fourth instruction (the call) encompasses quite a few further
>> instructions, which must all(!) be simulated until it returns. Only
>> then is it finished.
>>
> 
> The x86utm operating system correctly emulates
> 100 million instructions of DDD emulated by HHH
> with abort turned off.

Which is irrelevant, as that isn't what the input is.

THis just shows that you think lying is proper logic, and reveals how 
good you are at logic.

> 
> If they were shown it would take 1.5 million pages.
> Because of this only the emulated DDD instructions
> are shown.

Which are irrelevent, as that isn't what the simulaiton is.

Again, it just shows you are lying.

The ACTUAL emulation (when looking at the DDD built on the HHH that you 
claim to be correct) shows that there ARE conditional instructios in the 
loop, and thus the rules that says it is non-terminating is not satisifed.

Sorry, you are just proving your stupidity.


> 
> _DDD()
> [00002162] 55         push ebp
> [00002163] 8bec       mov ebp,esp
> [00002165] 6862210000 push 00002162
> [0000216a] e853f4ffff call 000015c2
> [0000216f] 83c404     add esp,+04
> [00002172] 5d         pop ebp
> [00002173] c3         ret
> Size in bytes:(0018) [00002173]
> 
> _main()
> [00002182] 55         push ebp
> [00002183] 8bec       mov ebp,esp
> [00002185] 6862210000 push 00002162
> [0000218a] e833f4ffff call 000015c2
> [0000218f] 83c404     add esp,+04
> [00002192] 50         push eax
> [00002193] 6843070000 push 00000743
> [00002198] e8c5e5ffff call 00000762
> [0000219d] 83c408     add esp,+08
> [000021a0] 33c0       xor eax,eax
> [000021a2] 5d         pop ebp
> [000021a3] c3         ret
> Size in bytes:(0034) [000021a3]
> 
>   machine   stack     stack     machine     assembly
>   address   address   data      code        language
>   ========  ========  ========  ========== =============
> [00002182][00103806][00000000] 55         push ebp
> [00002183][00103806][00000000] 8bec       mov ebp,esp
> [00002185][00103802][00002162] 6862210000 push 00002162
> [0000218a][001037fe][0000218f] e833f4ffff call 000015c2
> New slave_stack at:1038aa
> 
> Begin Local Halt Decider Simulation   Execution Trace Stored at:1138b2
> [00002162][001138a2][001138a6] 55         push ebp
> [00002163][001138a2][001138a6] 8bec       mov ebp,esp
> [00002165][0011389e][00002162] 6862210000 push 00002162
> [0000216a][0011389a][0000216f] e853f4ffff call 000015c2
> New slave_stack at:14e2d2
> [00002162][0015e2ca][0015e2ce] 55         push ebp
> [00002163][0015e2ca][0015e2ce] 8bec       mov ebp,esp
> [00002165][0015e2c6][00002162] 6862210000 push 00002162
> [0000216a][0015e2c2][0000216f] e853f4ffff call 000015c2
> New slave_stack at:15e372
> [00002162][0016e36a][0016e36e] 55         push ebp
> [00002163][0016e36a][0016e36e] 8bec       mov ebp,esp
> [00002165][0016e366][00002162] 6862210000 push 00002162
> [0000216a][0016e362][0000216f] e853f4ffff call 000015c2
> New slave_stack at:16e412
> [00002162][0017e40a][0017e40e] 55         push ebp
> [00002163][0017e40a][0017e40e] 8bec       mov ebp,esp
> [00002165][0017e406][00002162] 6862210000 push 00002162
> [0000216a][0017e402][0000216f] e853f4ffff call 000015c2
> New slave_stack at:17e4b2
> [00002162][0018e4aa][0018e4ae] 55         push ebp
> Number of Instructions Executed(100000000) == 1492537 Pages
> 
>