4 ms·

Halting problem concerns decidability, not completeness

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