# Proof that the Halting Problem is Undecidable ([up](https://hackmd.io/@alexhkurz/SyD42sbRs)) ![](https://hackmd.io/_uploads/r1J5OypRj.png)