Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD emulated by HHH --- (does not refer to prior posts)
Date: Sun, 8 Sep 2024 08:51:25 -0500
Organization: A noiseless patient Spider
Lines: 63
Message-ID: <vbka4u$1u1js$5@dont-email.me>
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> <vave2b$11uqn$7@dont-email.me>
 <vavfoi$12m8t$4@dont-email.me> <vb1hq0$1fgj7$1@dont-email.me>
 <vb4enb$2rs5t$3@dont-email.me> <vb6iop$39hrf$1@dont-email.me>
 <vb74m3$3b4ub$11@dont-email.me> <vbel4p$pko5$1@dont-email.me>
 <vbeoik$punj$2@dont-email.me> <vbh116$19c8m$1@dont-email.me>
 <vbhlpj$1c7u5$8@dont-email.me> <vbjq7d$1shml$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 08 Sep 2024 15:51:27 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="807c5ae02fef01679b819cece75165da";
	logging-data="2033276"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Dp0Ji3cBqbS1UkHO1LqtL"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:XGH8oLq0W2dx5Ts2ISfUHAxD38o=
Content-Language: en-US
In-Reply-To: <vbjq7d$1shml$1@dont-email.me>
Bytes: 4274

On 9/8/2024 4:19 AM, Mikko wrote:
> On 2024-09-07 13:51:47 +0000, olcott said:
> 
>> On 9/7/2024 2:57 AM, Mikko wrote:
>>> On 2024-09-06 11:20:52 +0000, olcott said:
>>>
>>>> On 9/6/2024 5:22 AM, Mikko wrote:
>>>>> On 2024-09-03 13:58:27 +0000, olcott said:
>>>>>>
>>>>>> _DDD()
>>>>>> [00002172] 55         push ebp      ; housekeeping
>>>>>> [00002173] 8bec       mov ebp,esp   ; housekeeping
>>>>>> [00002175] 6872210000 push 00002172 ; push DDD
>>>>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>>>>>> [0000217f] 83c404     add esp,+04
>>>>>> [00002182] 5d         pop ebp
>>>>>> [00002183] c3         ret
>>>>>> Size in bytes:(0018) [00002183]
>>>>>>
>>>>>> Anyone that is not dumber than a box of rocks can tell
>>>>>> that machine address 0000217f is unreachable for every
>>>>>> DDD emulated by HHH according to the semantics of the
>>>>>> x86 language where HHH emulates itself emulating DDD.
>>>>>
>>>>> Anyone who really knows either x86 assembly or machine langage or
>>>>> C can see that the machine address 217f is unreachachable only if
>>>>> the program at 000015d2, named HHH, does not return.
>>>>>
>>>>
>>>> That is not exactly true. There is a directly executed HHH
>>>> that always returns and a DDD emulated by HHH that calls
>>>> an emulated HHH that never returns.
>>>
>>> There is only one DDD. The emulated DDD is the same as the directly
>>> executed DDD. If HHH emulates someting else then that is not DDD.
>>
>> I have conclusively proven that DDD, DD, D, PP and P
>> do have different behavior within pathological relationships
>> than outside of pathological relationships at least 1000
>> times in the last three years.
> 
> Saying "I have conclusively proven" wihtout actually proving anything
> is not convincing.
> 

Now there is a permanent link to the full file of the complete proof
https://www.liarparadox.org/HHH(DDD).pdf

We can know that HHH really is emulating itself emulating DDD
because the execution trace of this second emulation matches
the x86 source code of DDD line-by-line.

Here is the C source-code that generated that x86 code.
https://github.com/plolcott/x86utm/blob/master/Halt7.c

That these things may be over your head does not provide
the slightest trace of evidence that the above is not
compete proof.


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