[Sinidir]

They are not missing the point. The previous post was simply wrong. The halting problem is semi-decidable. So you can potentially find out wether a program halts.

[amelius]

Besides missing the point, this is also pedantic and quite boring.