gainst this then the Halting Problem must have no solution. Gédel’s Insight Another way to understand this conundrum is through the earlier work of Gédel. Solutions to mathematical puzzles are neat, orderly sequences of statements where the problem is solved step by step. Computers are good at step by s