Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: How do simulating termination analyzers work? ---Truth Maker
 Maximalism FULL_TRACE
Date: Thu, 17 Jul 2025 09:11:07 -0500
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <105b09r$1d6in$1@dont-email.me>
References: <102sjg5$2k3e9$1@dont-email.me> <104e93k$29rpg$1@dont-email.me>
 <104ed4k$223c$1@news.muc.de> <104ehua$2c91h$1@dont-email.me>
 <104epfu$nqi$1@news.muc.de> <104fdma$2n8gq$1@dont-email.me>
 <104gkad$2f8e$1@news.muc.de> <10515pj$2v547$1@dont-email.me>
 <c1fa8b9a19b4a102d7f5c2d58cf4b9b127c30955@i2pn2.org>
 <1051r18$36s16$3@dont-email.me>
 <a6849743e4a6af25dc93b3b269e1d39002488efe@i2pn2.org>
 <105394s$3ev5b$15@dont-email.me>
 <f5a2ebe0935b2c891a06650e89c28fbcc0560f61@i2pn2.org>
 <1054he7$3s0eq$6@dont-email.me>
 <e510d4751825282a6858172b5e8516d1c1ec789a@i2pn2.org>
 <5erdQ.67036$r61e.50840@fx11.ams4>
 <b7541a89c5db2d0db513455cd7b83349544406ee@i2pn2.org>
 <1058fss$pn5l$3@dont-email.me>
 <49480dece30605ff692baac78083722e2a25b7cf@i2pn2.org>
 <1058hht$q07u$2@dont-email.me>
 <d659a8f6eca80516714ba11fd9512100c290c5fe@i2pn2.org>
 <1058onb$raqa$1@dont-email.me> <105ac8p$25t70$2@dont-email.me>
 <105aut4$1bk0p$4@dont-email.me>
 <2e91b2bf0d3f3c56a9684d17f20543614ecff9ad@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 17 Jul 2025 16:11:08 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="757a756c4546e5542c44a33ac5ff5463";
	logging-data="1481303"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX188EMS9kcOinrbqVJWw182Z"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:a4aDCKZEDjrYvkOtP0B/xDSCpos=
X-Antivirus: Norton (VPS 250717-2, 7/17/2025), Outbound message
Content-Language: en-US
In-Reply-To: <2e91b2bf0d3f3c56a9684d17f20543614ecff9ad@i2pn2.org>
X-Antivirus-Status: Clean

On 7/17/2025 8:57 AM, joes wrote:
> Am Thu, 17 Jul 2025 08:47:16 -0500 schrieb olcott:
>> On 7/17/2025 3:29 AM, Fred. Zwarts wrote:
>>> Op 16.jul.2025 om 19:49 schreef olcott:
> 
>>> This is already evidence that simulation is not the right tool to
>>> analyse the input.
>> In other words you disagree that a simulation by a UTM is a correct
>> measure of behavior. (A simulation by a UTM is defined to be a correct
>> measure of behavior).
> HHH is not a UTM.
> 

_DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192  // push DDD
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]

Each element of the infinite set of functions
at machine address 000015d2 that emulates 0 to ∞
instructions of the above machine code never
reaches its emulated "ret" instruction final
halt state BECAUSE DDD CALLS EACH EMULATOR IN
RECURSIVE EMULATION.

*ChatGPT agrees and provides the reasoning why it agrees*
https://chatgpt.com/share/6877f09c-7b18-8011-b075-ea3671e57886


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