Comment by jondgoodwin

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