Hacker News Reader

Important mistype. It should read: "The proof does NOT stop us from knowing that SOME programs will or will not halt.

You may also be interested in Willard's Self-Verifying Theories: https://en.wikipedia.org/wiki/Self-verifying_theories

It does however apply to more properties than merely halting: https://en.wikipedia.org/wiki/Rice's_theorem