>>107147791
He was wrong about the halting problem. https://github.com/OutfoxSemiLLC/HaltingProblemSolutionIdea