计算机正在改变数学证明的验证

oschina
 oschina
发布于 2015年05月10日
收藏 13



Vladimir Voevodsky于 1966年6月4日出生在莫斯科,为了理解物理学他对数学产生了兴趣,随后他又一发不可收拾的爱上了抽象代数。虽然他没有读完数学的本科学业,但在 1989年共产党倒台后这一切变得无关紧要,他用论文证明了自己。他和Misha Kapranov发展了高维数学对象和类,在1990年发表了一个重要结果。他甚至没有申请就被哈佛接受读博,1992年的博士论文标志着代数几何的一个 新思想领域的开始。2002年他获得菲尔茨奖,2001年成为普林斯顿高等研究院的正教授。但在1998年,美国数学家 Carlos Simpson发表论文认为他1990年发表的那篇论文存在一个错误。Voevodsky对此展开了仔细的分析,多年来都没有取得进展。他仍然认为自己的 结果是正确的。在2013年,他取得了突破确认了自己的错误,而且是主要理论错误,重要的结果不再重要。原因是他们没有去检查简单情况,只证明了困难情 况。他发表了60篇论文,只发现了两个错误,其中一个可以被修正,这个错误比例不算高。然而此事却令他万分沮丧。他注意到读者懒于去核查信任的作者的论 文,而论文的复杂性使他们几乎不去检查细节。他正在发展一个新理论,但热情很快消失的无影无踪,因为没有办法知道他是否犯下了另一个错误。验证一个观点是 否正确比提出一个观点所花的时间要多得多。唯一的解决方法只能是使用计算机程序去帮助检查,计算机正在改变数学的证明。

本站文章除注明转载外,均为本站原创或编译。欢迎任何形式的转载,但请务必注明出处,尊重他人劳动共创开源社区。
转载请注明:文章转载自 开源中国社区 [http://www.oschina.net]
本文标题:计算机正在改变数学证明的验证
加载中

最新评论(17

梅开源
梅开源
最近也对计算机代数着迷,那是计算机能力的金矿。
中山野鬼
中山野鬼

引用来自“iman123”的评论

标题党,只有最后一句和主题有关——验证一个观点是 否正确比提出一个观点所花的时间要多得多。唯一的解决方法只能是使用计算机程序去帮助检查,计算机正在改变数学的证明。
哈,其实验证一个“验证观点”的逻辑是否正确,这个恐怕也要花不少时间。首先是理论上是否正确,其次是实现逻辑是否正确。后者相对好说。前者在数学上的难度就比较大了。。所以我还是不看好计算机能改变数学证明的观点。
eeecheng
eeecheng

引用来自“work3”的评论

去看看中国的吴文俊,是不是也很猛
+10086
work3
work3
去看看中国的吴文俊,是不是也很猛
eeecheng
eeecheng
一个很好的想法
开源中国七里香
开源中国七里香

引用来自“饼干的荣耀”的评论

XXX倒台 这里不需要和谐一下嘛,不然被某些爬虫抓到没准会成文字狱 www
谣言就是这么来的,捕风捉影和断章取义
风华神使
风华神使
吴文俊在这方面有一些贡献。参看他的《数学机械化》
struct
struct

引用来自“饼干的荣耀”的评论

XXX倒台 这里不需要和谐一下嘛,不然被某些爬虫抓到没准会成文字狱 www
这里的共产党指的是苏联共产党,描述的是事实,关于苏共的倒台,我国课本中也是有的。
Jack_Zhu
Jack_Zhu
呃,不知所云,即没有提到是怎么做的,也没有提到当前的进展,只是提出了一个思路就够发一篇新闻了?
返回顶部
顶部