Comment by oulipo2 3 days ago Halting problem concerns decidability, not completeness 1 comment oulipo2 Reply Maxatar 3 days 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.
Maxatar 3 days 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.
Sure but that's fairly pedantic. You can derive Godel's first incompleteness theorems strictly as a consequence of undecidability of the halting problem.