沒有用圖靈停機問題是因為覺得未來的計算機不一定都是圖靈機。歌德爾的不完備定理說明形式邏輯係統的局限性,不可判定真偽的命題
來源:
cw
於
2024-01-06 19:57:58
[
博客
] [
舊帖
] [
給我悄悄話
] 本文已被閱讀:次
就意味我們不能保證總能提供有效正確的決策。