The definitive account of the recent computer solution of the oldest problem in discrete geometry.

The Kepler conjecture, one of geometry's oldest unsolved problems, was formulated in 1611 by Johannes Kepler and mentioned by Hilbert in his famous 1900 problem list. The Kepler conjecture states that the densest packing of three-dimensional Euclidean space by equal spheres is attained by the “cannonball" packing. In a landmark result, this was proved by Thomas C. Hales and Samuel P. Ferguson, using an analytic argument completed with extensive use of computers. This book centers around six papers, presenting the detailed proof of the Kepler conjecture given by Hales and Ferguson, published in 2006 in a special issue of Discrete & Computational Geometry. Further supporting material is also presented: a follow-up paper of Hales et al (2010) revising the proof, and describing progress towards a formal proof of the Kepler conjecture. For historical reasons, this book also includes two early papers of Hales that indicate his original approach to the conjecture. The editor's two introductory chapters situate the conjecture in a broader historical and mathematical context. These chapters provide a valuable perspective and are a key feature of this work.

"In 1611, Kepler wrote an essay wondering why snowflakes always had perfect, sixfold symmetry. It's a simple enough question, but one that no one had ever asked before and one that couldn't actually be answered for another three centuries. Still, in trying to work out an answer, Kepler raised some fascinating questions about physics, math, and biology, and now you can watch in wonder as a great scientific genius unleashes the full force of his intellect on a seemingly trivial question, complete with new illustrations and essays to put it all in perspective."—io9, from their list "10 Amazing Science Books That Reveal The Wonders Of The Universe" When snow began to fall while he was walking across the Charles Bridge in Prague late in 1610, the eminent astronomer Johannes Kepler asked himself the following question: Why do snowflakes, when they first fall, and before they are entangled into larger clumps, always come down with six corners and with six radii tufted like feathers? In his effort to answer this charming and never-before-asked question about snowflakes, Kepler delves into the nature of beehives, peapods, pomegranates, five-petaled flowers, the spiral shape of the snail's shell, and the formative power of nature itself. While he did not answer his original question—it remained a mystery for another three hundred years—he did find an occasion for deep and playful thought. "A most suitable book for any and all during the winter and holiday seasons is a reissue of a holiday present by the great mathematician and astronomer Johannes Kepler…Even the endnotes in this wonderful little book are interesting and educationally fun to read."—Jay Pasachoff, The Key Reporter —New English translation by Jacques Bromberg —Latin text on facing pages —An essay, "The Delights of a Roving Mind" by Owen Gingerich —An essay, "On The Six-Cornered Snowflake" by Guillermo Bleichmar —Snowflake illustrations by Capi Corrales Rodriganez —John Frederick Nims' poem "The Six-Cornered Snowflake" —Notes by Jacques Bromberg and Guillermo Bleichmar

Sphere packings is one of the most fascinating and challenging subjects in mathematics. In the course of centuries, many exciting results have been obtained, ingenious methods created, related challenging problems proposed, and many surprising connections with other subjects found. This book gives a full account of this fascinating subject, especially its local aspects, discrete aspects, and its proof methods. The book includes both classical and contemporary results and provides a full treatment of the subject.

The authors are renowned mathematicians; their presentations cover a wide range of topics. From compact discs to the stock exchange, from computer tomography to traffic routing, from electronic money to climate change, they make the "math inside" understandable and enjoyable.

In 1998 Thomas Hales dramatically announced the solution of a problem that has long teased eminent mathematicians: what is the densest possible arrangement of identical spheres? The Pursuit of Perfect Packing recounts the story of this problem and many others that have to do with packing things together. The examples are taken from mathematics, phy

Conjectures and Refutations is one of Karl Popper's most wide-ranging and popular works, notable not only for its acute insight into the way scientific knowledge grows, but also for applying those insights to politics and to history. It provides one of the clearest and most accessible statements of the fundamental idea that guided his work: not only our knowledge, but our aims and our standards, grow through an unending process of trial and error.