Now we know the halting problem is undecidable, we can look at other problems and show through a kind of reduction that if we could solve these problems here then we would be able to solve the halting problem, which of course is not possible. 