Conjecture of Kepler

The conjecture of Kepler is a Conjecture formulated by the physicist, astronomer and mathematician Johannes Kepler in 1611. This conjecture states that, for a stacking of Sphère S equal, the maximum density is reached for a cubic stacking centered. This density is worth approximately 74%.

In 1998, Thomas Hales announced to have shown this conjecture. Its proof is a proof computer-assisted, namely that it tested a high number of possible cases using calculations carried out by computers. The majority of the experts are certain to 99% that this proof is true. When the second reading of the proof (which can take several years, even decades) is completed, it will be then possible to speak about Théorème.

The program on computer occupies 3 Gigaoctet S (cf Piergiorgio Odifreddi, Mathematics at the dawn of the 21e century , Belin, For science, 2004, p. 83).

References

G.G. Szpiro (2003) Kepler' S Conjectures Wiley, John & Sons Inc.
Thomas C. Haul (2003)
Thomas C. Haul (1999) Cannonballs and Honeycombs. Year elementary exposure off the proof off the Kepler conjectures.
T. Aste and D. Weaire " The Pursuit off Perfect Packing" (Institute Off Physics Publishing London 2000) ISBN 0-7503-0648-3

External bonds

personal Page of Thomas Hales
Revue demonstration of Haul
Article in '' American Scientist '' - Dana Mackenzie

Random links:

KK Zadar | Amyotrophie spinale | Muria (people) | Al Core | La_Corée_du_Sud_aux_1996_Jeux_Olympiques_d'été