沒有用圖靈停機問題是因為覺得未來的計算機不一定都是圖靈機。歌德爾的不完備定理說明形式邏輯係統的局限性，不可判定真偽的命題

就意味我們不能保證總能提供有效正確的決策。