史上最大数学证明:数据达200T

来源 :中学生数理化(八年级数学)(配合人教社教材) | 被引量 : 0次 | 上传用户:mengyan902
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
美国得克萨斯大学的三位计算机科学家日前宣布,他们完成了世界上最大的数学证明:完整的证明有200 T大小,供人检验的部分压缩后也有68 G.作为对比,不妨查看一下身边的电脑的硬盘容量是多大.在此之前,世界上最大的数学证明是关于一个离散数学的问题的,有13G大.这几位计算机科学家解决的问题有着近一个世纪的历史,是拉姆齐定理中的舒尔平方数定理.该问题问的是:能否将所有正整数分成两个部分,其中所有毕达哥拉斯三元数组(即满足a2+b2=c2的三个数a,b,c)都不处于同一部分?否则,最小的反例是什么? Three computer scientists at the University of Texas announced today that they have completed the largest math test in the world: a complete certificate of 200 T size and a verified portion of 68 G compression, for comparison. Until then, the world’s largest math proved to be a discrete math problem with 13G, and the problems solved by several computer scientists were nearly a century old and of the Ramsay theorem Shure’s Square Theorem This question asks whether it is possible to divide all positive integers into two parts, where all Pythagoras ternary arrays (ie the three numbers a, b, c satisfying a2 + b2 = c2 ) Are not in the same part? Otherwise, what is the smallest counterexample?
其他文献
“人是要有一点精神的”。任何一个民族都要有自已的民族精神,一个没有精神支柱的民族,其结果只能是受制于人。“自强不息、实现四化、振兴中华”就是我们当代的民族精神。它
本文阐述了社会调查诸要素的矛盾关系及其矛盾运动,主要有调查者自身以及调查者和调查对象、调查目标、客观环境的关系及其矛盾运动。 This article elaborates the contrad
农调队的建立与发展在党的十一届三中全会之后,我国农村社会经济体制发生了深刻变化。“三级所有,队为基础”体制的解体,使农业生产经营单位由六百多万生产队变成了近二亿农
龙塘斋是个老字号的古玩店。年关过后,店主龙三爷做成了几单生意。  这天,有个客人来古玩店看货,突然冒出一句:“老板,您这里有皇宫里的东西吗?”  龙三爷警惕地打量着他,良久才说:“有,有。”  客人问:“您这里有先皇的墨宝吗?”  龙三爷笑了:“有啊,你要哪一朝的呢?”  客人指明要同治爷的圣旨,但龙三爷拿了几本给他,他不太满意。龙三爷明白了,就问:“你是要‘天煞令’吧?”  那人听到“天煞令”三
我区地处枣庄市经济、文化、贸易中心,辖5个街道办事处和11个乡镇。近几年,随着改革的深入,城市街道经济有了较大发展。各办事处充分发挥“地利”这一优势,使街道工、商等企
值此中国统计出版杜成立35周年、恢复10周年之际,我谨代表国家统计局向他们表示热烈祝贺,他们通过辛勤劳动、艰苦创业,取得了丰硕成果,在此,向他们表示诚挚的敬意。统计书刊
本文设计了连续而又稳定循环的三效吸附式热泵单元——三效冷环,使各吸附循环之间具有先后连贯性,既可避免吸附床的过热,又能消除热泵输出端的不稳定工作状态,使得热泵系统的
目的观察通窍活血胶囊联合草酸艾司西酞普兰对脑卒中后抑郁(PSD)患者神经功能、认知功能及脑血流量的影响。方法将84例PSD患者分为对照组与观察组各42例,对照组采用草酸艾司
利用系统的能量方程,通过控制系统的平均能量来控制系统的振动强度。 The system’s energy equation is used to control the system’s vibration intensity by controllin
Water flow from an artesian well stopped on December 17,2007 but recovered when the Wenchuan Ms 8.0 earthquake occurred on May 12,2008.This well is located 90 k