Formulate an explanation of Alan Turing's Halting Problem. Demonstrate through a theoretical diagonalization argument why it is impossible to write a general algorithm that determines whether any arbitrary program will halt or run forever. Discuss the implication that some problems are fundamentally undecidable.