Thomas hales

Llave de datos

Nacimiento	4 de junio de 1958
Nacionalidad	Estados Unidos
Áreas	Matemático
Reconocido por	Prueba de la conjetura de Kepler

Thomas Callister Hales , nacido el4 de junio de 1958, es un matemático estadounidense . Es conocido por su demostración de la conjetura de Kepler .

Biografía

En 1998, Thomas Hales anunció que había demostrado la conjetura de Kepler . Esta conjetura formulada por el físico, astrónomo y matemático Johannes Kepler en 1611 establece que, para una pila de esferas iguales, la densidad máxima se alcanza para una pila cúbica centrada en las caras. Esta densidad es aproximadamente del 74%. Hales demostró esta conjetura mediante cálculos informáticos. Los matemáticos responsables de validar el trabajo de Hales afirmaron estar "99% seguros" de que esta prueba era válida, pero Hales se comprometió en el marco del proyecto Flyspeck a establecer una prueba formal de su teorema. En 2009, recibió el premio Fulkerson por esta demostración.

En 1999, Thomas Hales trabajó en el teorema del panal . Esta conjetura establece que el mosaico hexagonal regular es la partición del plano en áreas iguales con el perímetro más pequeño. Basándose en el trabajo de varios matemáticos como Frank Morgan, Frederick J. Almgren Jr. o Jean Taylor , encontró pruebas en 1999 que revisó en 2001.

(fr) Este artículo está tomado parcial o totalmente del artículo de Wikipedia en inglés titulado " Thomas Callister Hales " ( ver lista de autores ) .

http://code.google.com/p/flyspeck/wiki/FlyspeckFactSheet
(en) F. Morgan, Burbujas de jabón en ² y en superficies, Pacific J. Math 1994 $\ mathbb {R}$
(in) FJ Almgren Jr., Existencia y regularidad de casi en todas partes soluciones a problemas de variaciones elípticas con restricciones, Mem. AMS, 1976
(en) J. Taylor, La estructura de las singularidades en las superficies mínimas de jabón en forma de pompas de jabón y en forma de película, Annals of Mathematics , 1976