Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DDD emulated by HHH --- (does not refer to prior posts)
Date: Sun, 8 Sep 2024 17:41:52 +0300
Organization: -
Lines: 55
Message-ID: <vbkd3g$1v4gn$1@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> <vbka4u$1u1js$5@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 16:41:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="dd9d2cc639f13179d78eef7a9cb98700";
	logging-data="2069015"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18iKZ7QVeG/U7CZs+ddbGk8"
User-Agent: Unison/2.2
Cancel-Lock: sha1:a1rz2mAX5sscvyODJyYXG2qTj2o=
Bytes: 3763

On 2024-09-08 13:51:25 +0000, olcott said:

> 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

There is no proof in that file.

-- 
Mikko