Liste des Groupes | Revenir à theory |
On 3/4/2025 1:33 PM, dbush wrote:That would mean that no_numbers_greater_than_10 is the exact same sequence of machine code bytes executed in different execution contexts, and no_numbers_greater_than_10 simulated by F can't reach its own "ret" instruction, therefore no_numbers_greater_than_10 is correctly reported as non-halting, and because it doesn't halt we can conclude that there is no natural number greater than 10.On 3/4/2025 2:20 PM, olcott wrote:DD is the exact same sequence of machine code bytesOn 3/4/2025 12:44 PM, joes wrote:>Am Tue, 04 Mar 2025 10:11:30 -0600 schrieb olcott:>On 3/4/2025 9:08 AM, Fred. Zwarts wrote:>Op 04.mrt.2025 om 15:17 schreef olcott:On 3/4/2025 3:14 AM, Fred. Zwarts wrote:Op 04.mrt.2025 om 04:07 schreef olcott:Likewise I never attempt to show exactly how all squares are round.And that is exactly what Olcott does not show.The only valid rebuttal is to show all of the steps of exactly how DDDD correctly emulated by HHH cannot possibly reach its own "ret"I wonder why Olcott keeps repeating that HHH fails to reach the 'ret'
instruction and terminate normally.
instruction, where the direct execution or world-class simulators
have no problem to reach the 'ret' instruction of exactly the same
finite string as input.
correctly emulated by HHH reaches its own "ret" instruction.
>So, my claim remains: HHH fails to reach the 'ret' instruction, whereDD calls its own emulator when emulated by HHH.
the direct execution and some world-class simulators have no problem to
reach it.
DD DOES NOT call its own emulator when emulated by HHH1.
DD DOES NOT call its own emulator when directly executed.DD always calls HHH.>
>
Thus only has a pathological relationship that changes its
behavior when the code of HHH is replaced with an unconditional simulator and HHH(DD) is run
Well of course the behavior changes if you change the code
executed in three different execution contexts.
Les messages affichés proviennent d'usenet.