電腦協助證明
外觀
![本頁使用了標題或全文手工轉換](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
此條目需要擴充。 (2013年2月14日) |
電腦協助證明是一種部份或全部內容以電腦協助之數學證明。
哲學爭議
[編輯]由於大部份的電腦協助證明計算量龐大,無法以人手驗證,很多數學家[誰?]不接受電腦協助證明,並表示那只是計算而非證明。他們[誰?]表示,美麗的數學證明應像首詩,而電腦證明則看似電話簿。
歷史
[編輯]第一個著名的電腦協助證明,是1976年的四色定理證明。
著名的電腦協助證明
[編輯]參考
[編輯]外部連結
[編輯]- Edmund Furse; Why did AM run out of steam?
- Keith Devlin; Last doubts removed about the proof of the Four Color Theorem, MAA Online, January 2005
- Number proofs done by computer might err (頁面存檔備份,存於互聯網檔案館)
- A Special Issue on Formal Proof. Notices of the American Mathematical Society. December 2008 [2010-09-21]. (原始內容存檔於2019-03-14).
- M. Nakao, M. Plum, Y. Watanabe (2019); Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics). (頁面存檔備份,存於互聯網檔案館)
![]() | 這是一篇關於數學的小作品。您可以透過編輯或修訂擴充其內容。 |