[cowardlydragon]

Also: the fundamental undecidability of the Halting Problem

[dom0]

... is really not relevant to software testing.

[candiodari]

If you actually know what the halting problem is, you know that if your code triggers that, it is pretty much broken. If you're not writing a programming language.