没有用图灵停机问题是因为觉得未来的计算机不一定都是图灵机。歌德尔的不完备定理说明形式逻辑系统的局限性，不可判定真伪的命题

就意味我们不能保证总能提供有效正确的决策。