> I personally find it far more interesting than the halting problem. I agree. Another cool theorem related to the halting problem is the Rice theorem, becaus

> I personally find it far more interesting than the halting problem. I agree. Another cool theorem related to the halting problem is the Rice theorem, because it's a really powerful thing to say that every semantic property on programs is either 1. always true 2. always false, or 3. undecidable. It's an absolutely uncompromising theorem.