Describe the theoretical proof of the undecidability of the Halting Problem using a diagonalization argument or a self-reference paradox. Explain the definition of a 'decider' and why assuming the existence of a halting decider leads to a logical contradiction, thereby establishing the limits of computation.