XPost: comp.theory, sci.logic, sci.math

Whenever the pure simulation of the input to simulating halt decider
H(x,y) never stops running unless H aborts its simulation H correctly
aborts this simulation and returns 0 for not halting.

Halting problem undecidability and infinitely nested simulation (V2)

https://www.researchgate.net/publication/356105750_Halting_problem_undecidability_and_infinitely_nested_simulation_V2


--
Copyright 2021 Pete Olcott

Talent hits a target no one else can hit;
Genius hits a target no one else can see.
Arthur Schopenhauer

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)