论文部分内容阅读
1998年8月9日,美国数学家ThomasC.Hales向世人宣布,他已经(借助计算机)证明J.Kepler在1611年提出的装球猜想,数学家们随即开展了检查工作.Kepler其人及这个以他名字命名的猜想,已经为广大数学工作者与爱好者所熟知,这里再用...
August 9, 1998, American mathematician ThomasC. Hales announced to the world that he had proved (by means of a computer) J. Kepler’s ball guessing put forward in 1611, the mathematicians immediately carried out the inspection work. Kepler and his conjecture named after him have already been known by mathematicians and enthusiasts.