Define the Halting Problem and provide a theoretical proof of its undecidability using a diagonalization argument or a self-reference contradiction. Explain what this result implies for the general limits of what computers can solve or predict.