Re: [問題] 請問有哪種程式語言能做到數學的自動證明
以前在大學部的時候
學過計算理論
目前還隱約記得
有許多問題本身就是non determinable
而且大多問題
都是不可能以程式解答的
如果可以，則能導出矛盾
Halting problem：
不可能寫出一個程式
它能判斷任何程式是否永遠無法停止
證明應該很容易找到
基於這一點
以列舉方式來確認一個數學猜想
不可能以該程式能否停止來決定是否正確
因為無法決定該程式能否停止
這樣還不能夠證明
不可能以程式驗證一個數學猜想
另外一個比較有直接關係的
是Rice's theorm:
只要是non trivial的問題
就不可能寫出能判斷該問題的程式
這點與c, c++，或是不同的程式語言都沒有關係
純粹是邏輯上可以造成矛盾而不可能存在
當時我們老師舉了一個例子
不可能寫出一個c程式
能夠正確檢查所有c程式碼在執行之後
是否會印出Hello World
即使是這麼簡單的問題
也是non trivial的
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.113.210.62
→
03/27 19:58, , 1F
03/27 19:58, 1F
→
03/27 20:25, , 2F
03/27 20:25, 2F
→
03/27 20:27, , 3F
03/27 20:27, 3F
→
03/27 20:28, , 4F
03/27 20:28, 4F
→
03/27 21:45, , 5F
03/27 21:45, 5F
→
03/27 21:46, , 6F
03/27 21:46, 6F
→
03/27 21:46, , 7F
03/27 21:46, 7F
→
03/27 21:47, , 8F
03/27 21:47, 8F
→
03/27 21:47, , 9F
03/27 21:47, 9F
→
03/27 21:48, , 10F
03/27 21:48, 10F
→
03/27 21:48, , 11F
03/27 21:48, 11F
討論串 (同標題文章)
完整討論串 (本文為第 2 之 2 篇)：
C_and_CPP 近期熱門文章
PTT數位生活區 即時熱門文章