[Tainnor]

That's not directly related. The halting problem states that we cannot write a program that can decide whether arbitrary programs halt - even if we had solved every mathematical question that is still open.