WikiDer > Thomas Hales

Thomas Callister Hales (4. Juni1958) ist ein amerikanischMathematiker. Er erhielt seinen Ph.D. von Princeton Universität unter Führung von Robert Langlands.

Hales ist dafür bekannt, computergestützt zu sein Beweis von dem Keplers Vermutung. Diese Vermutung ist/war das älteste noch offene Problem in diskrete Geometrie. Die Vermutung besagt, dass der platzsparendste Weg für Stapeln von Glühbirnen hat eine Pyramidenform.

Hales, der jetzt auf der Universität Pittsburgh der Mellon-Professor in der Mathematik plädiert für die Formalisierung der Mathematik, um in einer Zeit, in der beweisen werden immer komplexer und Computer werden zunehmend für die Überprüfung dieser Beweise. Hales' aktuelles Projekt namens Flyspeck versucht, seinen Beweis von Keplers Vermutung in der ComputertheorembeweiserHOL-Licht.

Externe Links

• (und) Hales' Seite an der Mathe-Abteilung der University of Pittsburgh
• (und) Flyspeck-Projekt
• (und) Hales löst ältestes Problem der diskreten Geometrie