跳转到内容

电脑协助证明

本页使用了标题或全文手工转换
维基百科,自由的百科全书

电脑协助证明是一种部份或全部内容以电脑协助之数学证明。

哲学争议

由于大部份的电脑协助证明计算量庞大,无法以人手验证,很多数学家[谁?]不接受电脑协助证明,并表示那只是计算而非证明。他们[谁?]表示,美丽的数学证明应像首诗,而电脑证明则看似电话簿。

历史

第一个著名的电脑协助证明,是1976年的四色定理证明。

著名的电脑协助证明

参考

外部链接