[oulipo2]

Halting problem concerns decidability, not completeness

[Maxatar]

Sure but that's fairly pedantic. You can derive Godel's first incompleteness theorems strictly as a consequence of undecidability of the halting problem.