電腦協助證明

维基百科，自由的百科全书
跳转至： 导航、 搜索
Antistub.svg
 本条目需要擴充。（2013年2月14日）
请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。

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

目录

哲學爭議 [编辑]

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

歷史 [编辑]

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

著名的電腦協助證明 [编辑]

外部連結 [编辑]

E-to-the-i-pi.svg  這是與数学相關的小作品。你可以通过编辑或修订扩充其内容。
来自“http://zh.wikipedia.org/w/index.php?title=電腦協助證明&oldid=25883885”