跳至內容

電腦協助證明

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

電腦協助證明是一種部份或全部內容以電腦協助之數學證明。

哲學爭議

[編輯]

由於大部份的電腦協助證明計算量龐大,無法以人手驗證,很多數學家[誰?]不接受電腦協助證明,並表示那只是計算而非證明。他們[誰?]表示,美麗的數學證明應像首詩,而電腦證明則看似電話簿。

歷史

[編輯]

第一個著名的電腦協助證明,是1976年的四色定理證明。

著名的電腦協助證明

[編輯]

參考

[編輯]

外部連結

[編輯]