看到这个忽然想知道：是不是Turing的halting problem在任何情况下都能deduce Godel的

first incompleteness定理，或作说有没有在某个条件下Godel的 first incompleteness 定理不能被halting problem deduce出来。我要学习学习。