Provide a comprehensive theoretical explanation of the Halting Problem. Outline the proof by contradiction demonstrating why a general algorithm to determine whether an arbitrary program halts cannot exist. Discuss the implications of this result for the field of computer science and the limits of what can be computed.