Live data from Hacker News

Why is the Halting Problem so important?

cs.stackexchange.com

1–2 of 2 posts

Re: Why is the Halting Problem so important?

#2
I agree with the reply in that thread which points out that Rice's theorem is the real gem, of which the Halting Problem is just a particular specific instance.

Rice's Theorem is rather profound and relatively easy to understand - all that's really needed is a good grip on the mathematical interpretation of what a program is.