Sujet : Re: Simulation vs. Execution in the Halting Problem
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 31. May 2025, 17:48:49
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <101fbth$173bb$13@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
On 5/31/2025 7:39 AM, dbush wrote:
On 5/31/2025 2:41 AM, olcott wrote:
On 5/30/2025 8:16 PM, Richard Damon wrote:
On 5/30/25 11:41 AM, olcott wrote:
On 5/30/2025 3:45 AM, Mikko wrote:
On 2025-05-29 18:10:39 +0000, olcott said:
>
On 5/29/2025 12:34 PM, Mr Flibble wrote:
>
🧠 Simulation vs. Execution in the Halting Problem
>
In the classical framework of computation theory (Turing machines),
simulation is not equivalent to execution, though they can approximate one
another.
>
To the best of my knowledge a simulated input
always has the exact same behavior as the directly
executed input unless this simulated input calls
its own simulator.
>
The simulation of the behaviour should be equivalent to the real
behaviour.
>
That is the same as saying a function with infinite
recursion must have the same behavior as a function
without infinite recursion.
>
Nope. Where does it say that?
>
>
_DDD()
[00002192] 55 push ebp
[00002193] 8bec mov ebp,esp
[00002195] 6892210000 push 00002192
[0000219a] e833f4ffff call 000015d2 // call HHH
[0000219f] 83c404 add esp,+04
[000021a2] 5d pop ebp
[000021a3] c3 ret
Size in bytes:(0018) [000021a3]
>
DDD emulated by HHH must be aborted. // otherwise infinite recursion
DDD emulated by HHH1 need not be aborted.
>
And the simulation performed by each of these is the same up to the point that HHH aborts, as you have admitted on the record:
No moron they are not.
HHH performs one whole recursive emulation of DDD
than HHH1 ever does BEFORE HHH EVER ABORTS.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer