


下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、这道数学题居然80 年后才被解开据美国物理学家组织网站报道,英国计算机专家阿列克谢利什特沙和鲍里斯科涅夫最近借助计算机破解了一道有80 余年历史的数学难题埃尔德什差异问题(theErdosDiscrepancyProblem)。他们的论文预印本已发表在 arX 。埃尔德什差异问题是由匈牙利数学天才保罗埃尔德什于1932 年提出的数学假设。其围绕着只包含1 和 -1 的无穷数列性质进行探讨;这类数列中的模型能够通过创建有限子序列进行测度。英国数学家恩里科斯卡拉斯通俗解释了这一假设:“假如你有一个由1 和 -1 (例如由扔硬币随机产生)组成的数列和常数C。你要寻找到一个足够长的有限数列
2、,使这一数列的总和大于常数C。”利什特沙和科涅夫的论文描述了他们如何建立计算机程序来破解埃尔德什差异问题。由于证明产生的数据有13GB之多 ( 维基百科的整个数据才 10GB),以至于不可能由人工来检验。这就产生了一个有趣的问题:如果借助计算机证明数学命题,而数据的绝对量过于庞大,以至于没有办法由人工进行验证,那么这种证明能否被验证真伪呢?计算机的发明,是为计算而来,而计算能力始终是计算机的根本。计算机的介入改变了数学研究的方法,扩展了数学研究的领域,促进了计算数学的发展。尤其是运算量极其庞大第 1页的数学问题,大多数情况只能借助计算机来解决。例如,四色问题、 E8 结构、费克特 (Fekete) 问题、开普勒 (Kepler) 猜想等著名数学难题,都是借助计算机来破解的。计算机成为数学研究的工具已是大势所趋,不可阻挡。正如我国知名学者周海中先生在“ 21 世纪数学展望”一文中所言:计算机在数学研究中发挥的作用将越来越大;借助计算机解决数学问题将激励人们去寻求更好、更简单的方法,也加深人们对数学本质特征的认识,还推动以计算机为基础的人工智
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 智能交通系统在城市管理中的应用与前景
- 商业空间装修协议书样本
- 停车场智能管理公司
- 现代农业金融创新方案
- 新型智能穿戴产品设计手册
- 电信行业智能化通信网络智能化管理与维护方案
- 豆制品加工项目可行性报告
- 长兴垃圾焚烧发电项目
- 商贸城项目可行性研究报告
- 关于提升员工职业技能的培训教程与计划安排
- 山羊传染性胸膜肺炎的防治
- 发票审批核准事前查验单
- 电子商务专升本考试(习题卷7)
- 人工智能:现代方法
- 北京医调委官网换方申请书
- 跨境电商:理论、操作与实务(微课版 第2版)PPT最终1-5章 10 店铺优化-v1
- 四川梓潼林江苎麻纺织有限责任公司 县林江苎麻公司利用补偿贸易技术改造(扩大)生产能力环评报告
- 公路工程交工竣工验收课件
- 胎心监护仪使用过程中出现意外情况的护理应急预案及处理流程
- 第讲 发达资本主义国家经济与政治
- 城市热力网设计规范标准
评论
0/150
提交评论