看到這個忽然想知道：是不是Turing的halting problem在任何情況下都能deduce Godel的

first incompleteness定理，或作說有沒有在某個條件下Godel的 first incompleteness 定理不能被halting problem deduce出來。我要學習學習。