Turing realized this halting problem was very similar to the decidability problem.

图灵意识到这个停机问题与可判定性问题非常相似。