XPost: comp.theory, sci.math, sci.logic
KEY MISSING PIECE IN THE DIALOGUE (that all reviewers get incorrectly)
The key missing piece in all of these dialogues is 100% perfectly and
exactly does it mean for a halt decider to compute the mapping from its
input finite strings to its own final states on the basis of the actual
behavior actually specified by this finite string pair.
Halting problem undecidability and infinitely nested simulation (V4)
https://www.researchgate.net/publication/359349179_Halting_problem_undecidability_and_infinitely_nested_simulation_V4
--
Copyright 2022 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)