The Hales-Ferguson Proof
De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).
Köp båda 2 för 1049 krThe $3x 1$ problem, or Collatz problem, concerns the following seemingly innocent arithmetic procedure applied to integers: If an integer $x$ is odd then ""multiply by three and add one"", while if it is even then ""d...
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 Eucli...
Thomas C. Hales, Mellon Professor of Mathematics at the University of Pittsburgh, began his efforts to solve the Kepler Conjecture before 1992. He is a pioneer in the use of computer proof techniques, and he continues work on a formal proof of the Kepler Conjecture as the aim of the Flyspeck Project (F, P and K standing for Formal Proof of Kepler). Samuel P. Ferguson completed his doctorate in 1997 under the direction of Hales at the University of Michigan. In 1995, Ferguson began to work with Hales and made significant contributions to the proof of the Kepler Conjecture. His doctoral work established one crucial case of the proof, which appeared as a singly authored paper in the detailed proof. Jeffrey C. Lagarias, Professor of Mathematics at the University of Michigan, Ann Arbor, was a co-guest editor, with Gbor Fejes-Tth, of the special issue of Discrete & Computational Geometry that originally published the proof.
Preface.- Part I, Introduction and Survey.- 1 The Kepler Conjecture and Its Proof, by J. C. Lagarias.- 2 Bounds for Local Density of Sphere Packings and the Kepler Conjecture, by J. C. Lagarias.- Part II, Proof of the Kepler Conjecture.- Guest Editor's Foreword.- 3 Historical Overview of the Kepler Conjecture, by T. C. Hales.- 4 A Formulation of the Kepler Conjecture, by T. C. Hales and S. P. Ferguson.- 5 Sphere Packings III. Extremal Cases, by T. C. Hales.- 6 Sphere Packings IV. Detailed Bounds, by T. C. Hales.- 7 Sphere Packings V. Pentahedral Prisms, by S. P. Ferguson.- 8 Sphere Packings VI. Tame Graphs and Linear Programs, by T. C. Hales.- Part III, A Revision to the Proof of the Kepler Conjecture.- 9 A Revision of the Proof of the Kepler Conjecture, by T. C. Hales, J. Harrison, S. McLaughlin, T. Nipkow, S. Obua, and R. Zumkeller.- Part IV, Initial Papers of the Hales Program.- 10 Sphere Packings I, by T. C. Hales.- 11 Sphere Packings II, by T. C. Hales.- Index of Symbols.- Index of Subjects.