万维百科

计算机辅助证明

计算机辅助证明是一种部分或全部内容以电脑协助之数学证明。

哲学争议

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

历史

第一个著名的计算机辅助证明,是1976年的四色定理证明。

著名的计算机辅助证明

参考

外部链接


本页面最后更新于2021-05-27 09:00,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器