话题
搜索

开普勒猜想


开普勒猜想

1611年,开普勒建议紧密包装(立方体的六角密封填料,两者都是最大密度为pi/(3sqrt(2))约74.048%)是密度最大的吗包装这个断言被称为开普勒猜想。寻找密度最大的球体(不一定是周期性的)包装称为开普勒问题.

Buckminster Fuller(1975)声称有一个证明,但它实际上是对以面为中心的立方填料的描述,而不是其最佳性的证明(Sloane 1998)。一秒钟开普勒猜想的假定证明是由W.Y.Xiang(Cipra1991年,湘1992年,1993年,Cipra 1993年),但随后被认定存在缺陷(康威等人。1994年,Hales 1994年,Sloane 1998年)。根据J.H。康威,读过香的证明的人都不会怀疑它的有效性:这是胡说八道。

此后不久,Hales(1997a)发表了一份详细的计划,描述了开普勒猜想如何用与早期截然不同的方法来证明尝试并广泛使用计算机计算。Hales随后完成一份完整的证明,出现在一系列总计250多页的论文中(Cipra1998). Hales(2002)对基本术语的证明进行了概述。证据广泛依赖于全球的最优化线性规划、和区间算术。计算机文件包含的计算机代码和数据文件组合学区间算术、和线性的程序需要3 GB以上的存储空间。

事实证明,哈尔斯的证据难以核实。2003年,据报道数学年刊该出版物将有一份不寻常的社论说明尽管一个团队12名审核员中,有12人在四年多的时间里致力于验证证据评论家99%确信这是正确的(Holden 2003,Szpiro 2003)。然而,实际出版物中没有此类注释(Hales,2005年)。

为了应对验证他的证明的困难,Hales于2003年1月启动了“Flyspeck项目”(“开普勒的正式证明”),试图使用计算机自动验证证明的每一步。Hales在项目开始时认为该项目需要20人年的劳动(Holden 2003,Szpiro 2003),于2014年完成。


另请参见

立方密封填料十二面体猜想六角密封填料开普勒问题接吻编号球形填料

与Wolfram一起探索| Alpha

工具书类

Bailey,D.H。;Borwein,J.M。;新泽西州卡尔金。;Girgensohn,R。;卢克·D·R。;和V.H.Moll。实验数学在行动。马萨诸塞州韦尔斯利:A K Peters,第9页,2007年。博文,J.和Bailey,D。数学实验:21世纪的合理推理。马萨诸塞州韦尔斯利:AK Peters,第35-36页,2003年。巴克敏斯特·富勒,R。协同效应。伦敦:麦克米伦出版社,1975年。Cipra,B.“球形音乐”科学类 251, 1028, 1991.Cipra,B.“球体中的间隙包装证明?"科学类 259, 895, 1993.西普拉,B。“包装挑战终于掌握了。”科学类 281, 1267,1998康威,J.H。;Hales,T.C。;Muder,D.J。;和斯隆,新泽西州。答:。“关于开普勒猜想。”数学。英特尔。 161994年春季。球体填充和接吻数网址:http://www.ics.uci.edu/~eppstein/junkyard/spherepack.html.弗格森,标准普尔。《球形填料》,1998年11月11日。http://arxiv.org/abs/math.MG/9811077.弗格森,标准普尔。和T.C.Hales。“开普勒猜想的公式。”http://www.math.pitt.edu/~thales/kepler98/form.ps.哈尔斯,T.C.公司。“开普勒猜想。”http://www.math.pitt.edu/~塔尔/开普勒98/.哈尔斯,T.C.公司。“开普勒猜想概述。”http://www.math.pitt.edu/~thales/kepler98/sphere0.ps.哈尔斯,T.C.公司。“开普勒猜想的最新进展。”http://www.math.pitt.edu/~thales/kepler98/recent.ps.哈尔斯,T.C.公司。“球体包装问题。”J.计算。申请。数学。 4441-76, 1992.T.C.哈尔斯。“关于球体密度的备注3维包装。"组合数学 13, 181-197, 1993.哈尔斯,T.C.公司。“开普勒猜想的现状。”数学。英特尔。 1647-581994年夏。T.C.哈尔斯。“球形填料I.”光盘。计算。地理。 17第1-51页,1997年a。http://www.math.pitt.edu/~thales/kepler98/sphere1.ps.哈尔斯,T.C.公司。“球形填料II.”光盘。计算。地理。 18135-1491997年b。http://www.math.pitt.edu/~thales/kepler98/sphere2.ps.哈尔斯,T.C.公司。“开普勒猜想的证明。”安。数学。 1621065-1185, 2005.http://www.math.princeton.edu/~annals/issues/2005/Nov2005/Hales.pdf.哈尔斯,T.C.公司。“球形填料III.”http://www.math.pitt.edu/~thales/kepler98/sphere3.ps.哈尔斯,T.C.公司。“球形填料IV.”http://www.math.pitt.edu/~thales/kepler98/sphere4.ps.哈尔斯,T.C.公司。“球体填料VI”http://www.math.pitt.edu/~thales/kepler98/球6.ps.哈尔斯,T.C.公司。“炮弹和蜂巢。”通知Amer。数学。Soc公司。 47440-449, 2000.T.C.哈尔斯。“计算机验证开普勒猜想。"国际数学家大会会议记录,第二卷。受邀演讲。2002年8月20日至28日在北京举行7040086905(编辑:T.Li)。中国北京:高等教育出版社,第795-8042002页。哈尔斯,T.C.公司。“开普勒猜想。”http://www.math.pitt.edu/~塔尔斯/开普勒98/.哈尔斯,T.C.公司。“Flyspeck项目。”http://www.math.pitt.edu/~泰利斯/苍蝇/.哈尔斯,T.C.公司。和Ferguson,S.P。已提交给安。数学。2003霍尔顿,C.(编辑)。“堆积证据。”科学类 299, 1512,2003Xiang,W.-Y.“关于肥皂泡和等周区域非紧对称空间。1."托霍库数学。J。 44, 151-175,1992项文义“关于球形填充问题及其证明开普勒猜想。"国际数学杂志。 4, 739-831, 1993.香,W.-Y.“海尔文章的重头戏。”数学。英特尔。 171995年冬季,35-42岁。新泽西州斯隆。答:。“开普勒猜想已确认。"自然 395,435-4361998年。斯皮罗,G。“证据堆叠起来了吗?”自然 424, 12-13, 2003.宗庆后,C.和Talbot,J。球体包装。纽约:Springer-Verlag,1999年。

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“开普勒猜想。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/KeplerConjecture.html

主题分类