On 1/24/24 10:11 AM, olcott wrote:
On 1/24/2024 5:06 AM, immibis wrote:
On 1/24/24 02:35, olcott wrote:
D and H both NEVER halt (not in a million years)
unless H sees that D correctly simulated by H
never halts.
This proves that even the directly executed D(D)
never stops running unless aborted later on by H.
Thus proving that even the directly executed D(D)
DOES NOT HALT.
what the fuck is wrong with you? you've gotten even more unhinged than
before.
When you run D(D), does it halt?
D(D) looks like it halts yet never actually halts
because the only reason it stops running was its
second recursive call has been aborted.
And why does that say that D(D) didn't actual halt?
How does H's aborting of the simulation of the input it was given, even
if it just happens to match the description of the program that it is
part of, make anything happen to that program?
You seem to have a problem separating the simulation done by H and the execution of H and the program it is part of.
The fact that they are two copies of the same program, doesn't mean they
are the same execution context. H can abort its simulaiton without
aborting itself.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)