Liste des Groupes | Revenir à theory |
On 3/29/2025 8:12 PM, Richard Damon wrote:On 3/29/25 6:44 PM, olcott wrote:On 3/29/2025 5:08 PM, dbush wrote:On 3/29/2025 5:46 PM, olcott wrote:
Then HHH is not following the x86 standard.The behavior that these machine code bytes specify:No it isn't, not if it is the definition of a PROGRAM.Off topic for this thread.and input D calls UTM1 then the behavior of D simulated by UTM1Is not what I asked about. I asked about the behavior of D when
executed directly.
UTM1 D DOES NOT HALT UTM2 D HALTS D is the same finite string in both
cases.
558bec6872210000e853f4ffff83c4045dc3 as an input to HHH is different
than these same bytes as input to HHH1 as a verified fact.
--If D doesn't include the machine it calls, then NOTHING can emulate it
past the call instruction without violating the definition of a
computation/pure program, which you have admitted is a core requirement
of your decider (which it turns out it never met).
Les messages affichés proviennent d'usenet.