Re: Simulation vs. Execution in the Halting Problem

Liste des GroupesRevenir à s logic 
Sujet : Re: Simulation vs. Execution in the Halting Problem
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 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; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
23 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal