Define the Halting Problem and provide a proof of its undecidability using a diagonalization argument. Discuss the theoretical implications of this problem for the limits of algorithmic computation and artificial intelligence.