3 ms·An elementary proof of the undecidability of the halting problem2 points by DanielRibeiro 16y ago