Hacker News new | ask | show | jobs
by jondgoodwin 2224 days ago
Important mistype. It should read: "The proof does NOT stop us from knowing that SOME programs will or will not halt.
2 comments
jpt4 2224 days ago
You may also be interested in Willard's Self-Verifying Theories: https://en.wikipedia.org/wiki/Self-verifying_theories
link
jpt4 2224 days ago
It does however apply to more properties than merely halting: https://en.wikipedia.org/wiki/Rice's_theorem
link