Historical overview of the Kepler conjecture
type: Item
instance of: scholarly article
title: Historical overview of the Kepler conjecture
zbMATH Open document ID: 1186.52010
author: Thomas C. Hales
published in: Discrete \& Computational Geometry
publication date: 2009-10-14T00:00:00Z
review text: The Kepler conjecture, of 1611, states that the densest packing of unit balls in three space is attained by the standard `cannonball packing', the densest lattice packing. Thomas C. Hales completed his computer assisted proof of this conjecture in 1998. A revised version of his proof was published in parts. The strategy and structure of the proof are described on 120 pages in [Ann. Math. (2) 162, No. 3, 1065--1185 (2005; Zbl 1096.52010)]; details appear in a series of six papers in volume 36 of Discrete and Computational Geometry. The present paper is the first of this series. Although the whole proof, with its more than 5000 subproblems solved by computer calculations, has probably not been checked completely by others (some of the history is reported in \textit{Frank Morgan}'s review of Szpiro's book on the Kepler conjecture in Notices Amer. Math. Soc. 52, No. 1, 44--47 (2005)), it appears that the proof is now generally accepted by the experts. This initial paper of the series is historical. In its first part, it describes the face-centered cubic packing, the early history of Kepler's problem and related questions, the literature on upper bounds for the density, and suggested proof strategies for the Kepler conjecture, in particular the one by L. Fejes Tóth of 1953. In the second part, the author describes briefly his own strategy, its development and the changes it has undergone, the contents of his earlier relevant papers, and the role of computer verifications and calculations in the work.
reviewed by: Rolf Schneider
Mathematics Subject Classification ID: 52C17
Mathematics Subject Classification ID: 52-03
Mathematics Subject Classification ID: 01A05
Mathematics Subject Classification ID: 05B40
Mathematics Subject Classification ID: 11H31
zbMATH DE Number: 5614951
zbMATH Keywords: ball packings
zbMATH Keywords: Kepler conjecture
describes a project that uses: kepler98
MaRDI profile type: Publication
full work available at URL: s00454-005-1210-2
OpenAlex ID: W2008559161
Wikidata QID: Q55966476
DBLP publication ID: journals/dcg/Hales06
DOI: 10.1007/S00454-005-1210-2
Recommended article: A revision of the proof of the Kepler conjecture
Recommended article: A formulation of the Kepler conjecture
Recommended article: Q3023373
Recommended article: A proof of the Kepler conjecture
Recommended article: The Kepler Conjecture
Recommended article: Dense sphere packings. A blueprint for formal proofs
Recommended article: Study of the Kepler's conjecture: the problem of the closest packing
Recommended article: Sphere packings. I
Recommended article: Sphere packings. VI: Tame graphs and linear programs
Recommended article: Theorem Proving in Higher Order Logics
description: scientific article; zbMATH DE number 5614951