News for hackers. Stuff that matters.

A comment on Weakening Cycles So That Turing Can Halt. Parent comment

Re:Weakening Cycles So That Turing Can Halt by jondgoodwin on Friday May 15, 2020 @03:39AM (#23189849)
Important mistype. It should read: "The proof does NOT stop us from knowing that SOME programs will or will not halt.
[ Parent | on HN ]
Re:Weakening Cycles So That Turing Can Halt by jpt4 on Friday May 15, 2020 @08:47PM (#23199333)
You may also be interested in Willard's Self-Verifying Theories: https://en.wikipedia.org/wiki/Self-verifying_theories
[ Parent | on HN ]
Re:Weakening Cycles So That Turing Can Halt by jpt4 on Friday May 15, 2020 @08:46PM (#23199324)
It does however apply to more properties than merely halting: https://en.wikipedia.org/wiki/Rice's_theorem
[ Parent | on HN ]