![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/5/54/Halescropped.jpg/640px-Halescropped.jpg&w=640&q=50)
Thomas Callister Hales
matemático estadounidense / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Thomas Callister Hales?
Resumir este artículo para un niño de 10 años
Thomas Callister Hales (nacido el 4 de junio de 1958) es un matemático estadounidense que trabaja en las áreas de teoría de la representación, geometría discreta y verificación formal. En teoría de la representación es conocido por su trabajo en el programa de Langlands y la prueba del lema fundamental sobre el grupo Sp(4) (muchas de sus ideas fueron incorporadas a la prueba final, debido a Ngô Bảo Châu). En geometría discreta, estableció la conjetura de Kepler sobre la densidad del empaquetamiento de esferas y la conjetura del panal de abeja. En 2014, anunció la finalización del Proyecto Flyspeck, que verificó formalmente la exactitud de su prueba de la conjetura de Kepler.
Thomas Callister Hales | ||
---|---|---|
![]() | ||
Información personal | ||
Nacimiento |
4 de junio de 1958 ![]() San Antonio (Estados Unidos) ![]() | |
Nacionalidad | Estadounidense | |
Educación | ||
Educado en |
Universidad de Princeton ![]() | |
Supervisor doctoral |
Robert Langlands ![]() | |
Información profesional | ||
Ocupación |
Matemático y profesor universitario ![]() | |
Área |
Matemáticas ![]() | |
Empleador | ||
Miembro de |
Sociedad Estadounidense de Matemática (desde 2012) ![]() | |
Distinciones | ||