[red75prime]

To be more concise. The undecidability of the halting problem has no practical effect, barring usual considerations about fundamental research.