Write a detailed explanation of the diagonalization argument used to prove that the Halting Problem is undecidable. Construct a hypothetical machine H that decides the halting problem and demonstrate how a contradiction arises when feeding H its own description.