Sujet : Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 17. Jul 2025, 15:11:07
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <105b09r$1d6in$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Mozilla Thunderbird
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; Geniushits a target no one else can see." Arthur Schopenhauer