Thomas Hales

aus Wikipedia, der freien Enzyklopädie

Thomas Callister Hales (* 4. Juni 1958 in San Antonio, Texas) ist ein US-amerikanischer Mathematiker und Mellon-Professor für Mathematik an der University of Pittsburgh. Er beschäftigt sich insbesondere mit Problemen aus dem Bereich der Algebra und der Geometrie. Hales wurde 1998 durch seinen Computerbeweis der Keplerschen Vermutung auch über die Grenzen der mathematischen Gemeinschaft hinaus bekannt. Aufgrund der großen Datenmenge und der Komplexität des Beweises konnte dieser bislang jedoch nicht vollständig überprüft werden. Die Gutachter des Beweises sind zu 99 Prozent von der Richtigkeit des Beweises überzeugt. Hales forscht deshalb nach Möglichkeiten, wie auch in Bereichen der Mathematik, in denen Beweise sehr komplex und Computer für die Überprüfung der Ergebnisse notwendig werden, streng mathematische Beweise erstellt werden können. Insbesondere versucht er im Project FlysPecK seinen Beweis der Keplerschen Vermutung so zu formalisieren, dass er von automatischen Theorembeweisern wie z. B. John Harrisons HOL light überprüft werden kann.

[Bearbeiten] Wissenschaftlicher Werdegang

Hales hat bis 1982 sein Studium der Mathematik und Engineering-Economic Systems an der Stanford University mit dem Bachelor of Sciences bzw. dem Master of Sciences abgeschlossen. Anschließend folgte ein einjähriger Aufenthalt an der Cambridge University, wo er das Certificate of Advanced Study in Mathematics (Part III of the Mathematical Tripos) erhielt. Seit 1983 arbeitete er dann an der Princeton University bei Robert Langlands an seiner Promotion zum Thema The Subregular Germ of Orbital Integrals, die er 1986 abschloss. Nach seiner Promotion arbeitete er am Mathematical Sciences Research Institute (MSRI) in Berkeley. Nach Stationen als Assistant Professor oder Gastwissenschaftler an der Harvard University (1987-1989), an der School of Mathematics am Institute for Advanced Study in Princeton, New Jersey, (1989-1990 und 1994-1995) und der University of Chicago bei Paul J. Sally (1990-1993) wurde er 1993 zunächst Assistant Professor und später Professor an der University of Michigan in Ann Arbor. 2001 wurde er Andrew Mellon Professor an der University of Pittsburgh.

Personendaten
NAME	Hales, Thomas Callister
KURZBESCHREIBUNG	US-amerikanischer Mathematiker und Mellon-Professor für Mathematik an der University of Pittsburgh
GEBURTSDATUM	4. Juni 1958
GEBURTSORT	San Antonio, Texas