Explain the theoretical proof of the Halting Problem using a diagonalization argument. Discuss why it is impossible to construct a general algorithm that determines whether an arbitrary program halts on a given input, and define the boundaries of computable functions.