发帖
 找回密码
 立即注册
搜索
1 0 0

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

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

同理也在改变社会实践系统的效率证明方式。:)
──── 0人觉得很赞 ────
2015-5-13 19:09:41
:)
您需要登录后才可以回帖 立即登录
高级模式
返回
信息公告
热门问答
查看更多
1
厂区生产线布局优化案例!新做的!
厂区生产线布局优化案例!新做的!
1921
224
2
FlexSim2016 中国象棋
FlexSim2016 中国象棋
1118
44
3
Flexsim二次开发之塔吊
Flexsim二次开发之塔吊
1035
45
4
关于Processs Flow 使用的两个案例(AGV Elevator案例/子母穿梭
关于Processs Flow 使用的两个案例(AGV Elevator案例/子母穿梭
984
34
5
快递分拨中心案例~新手可参考
快递分拨中心案例~新手可参考
800
62
博主榜
+ 45331
+ 10630
+ 7753
4
+ 6759
5
+ 6323
6
+ 6321
7
+ 5341
8
+ 4710
9
+ 3722
10
+ 3628