4 ms·
Important mistype. It should read: "The proof does NOT stop us from knowing that SOME programs will or will not halt.
by jondgoodwin 6y ago
Important mistype. It should read: "The proof does NOT stop us from knowing that SOME programs will or will not halt.
- jpt4 6y agoIt does however apply to more properties than merely halting: https://en.wikipedia.org/wiki/Rice's_theorem https://en.wikipedia.org/wiki/Rice's_theorem
- jpt4 6y agoYou may also be interested in Willard's Self-Verifying Theories: https://en.wikipedia.org/wiki/Self-verifying_theories https://en.wikipedia.org/wiki/Self-verifying_theories