Comment by mwenge

It is indeed proven and the reason they're called Turing machines! https://en.wikipedia.org/wiki/Halting_problem