Thomas Callister Hales (born June 4, 1958) is an American mathematician who, while on faculty at the University of Michigan, provided a computer-aided proof of the Kepler Conjecture. This conjecture had been the oldest problem in discrete geometry. It states that the most efficient way to pack spheres is in a pyramid shape.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1958-06-04 (xsd:date)
dbpedia-owl:Person/individualisedPnd
  • 137005822
dbpedia-owl:Person/knownFor
dbpedia-owl:Person/nationality
dbpedia-owl:Person/residence
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1958-06-04 (xsd:date)
dbpedia-owl:doctoralAdvisor
dbpedia-owl:knownFor
dbpedia-owl:nationality
dbpedia-owl:residence
dbpprop:abstract
  • Thomas Callister Hales (born June 4, 1958) is an American mathematician who, while on faculty at the University of Michigan, provided a computer-aided proof of the Kepler Conjecture. This conjecture had been the oldest problem in discrete geometry. It states that the most efficient way to pack spheres is in a pyramid shape. Hales, now University of Pittsburgh Mellon Professor of mathematics, advocates the formalization of mathematics to ensure rigor in an era where proofs are becoming increasingly complex and computers are becoming necessary to perform verification. Hales's current project, called Flyspeck, seeks to formalize his proof of the Kepler Conjecture in the computer theorem prover HOL Light. Hales received his Ph.D. from Princeton University. Hales broke with the Church of Jesus Christ of Latter-day Saints over 30 years ago, partially due to the church's stance on homosexuality. Hales has devoted time and energy to lobbying against bills that discriminate against gays, such as California's Proposition 8.
  • Thomas Callister Hales ist ein US-amerikanischer Mathematiker. 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.
  • Thomas Callister Hales jest amerykańskim matematykiem i profesorem matematyki na University of Pittsburgh. Zajmuje się przede wszystkim algebrą i geometrią. W 1998 zyskał rozgłos dzięki komputerowemu dowodowi postulatu Keplera, który jednakże do dziś nie został jednoznacznie potwierdzony, lecz zdaniem opiniujących matematyków, jest z 99% prawdopodobieństwem poprawny.
dbpprop:almaMater
dbpprop:dateOfBirth
  • June 4, 1958
dbpprop:doctoralAdvisor
dbpprop:fields
dbpprop:hasPhotoCollection
dbpprop:knownFor
dbpprop:name
  • Hales, Thomas Callister
  • Thomas Hales
dbpprop:nationality
dbpprop:reference
dbpprop:residence
dbpprop:shortDescription
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workplaces
rdf:type
rdfs:comment
  • Thomas Callister Hales (born June 4, 1958) is an American mathematician who, while on faculty at the University of Michigan, provided a computer-aided proof of the Kepler Conjecture. This conjecture had been the oldest problem in discrete geometry. It states that the most efficient way to pack spheres is in a pyramid shape.
  • Thomas Callister Hales ist ein US-amerikanischer Mathematiker. 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.
  • Thomas Callister Hales jest amerykańskim matematykiem i profesorem matematyki na University of Pittsburgh. Zajmuje się przede wszystkim algebrą i geometrią. W 1998 zyskał rozgłos dzięki komputerowemu dowodowi postulatu Keplera, który jednakże do dziś nie został jednoznacznie potwierdzony, lecz zdaniem opiniujących matematyków, jest z 99% prawdopodobieństwem poprawny.
rdfs:label
  • Thomas Callister Hales
  • Thomas Hales
  • Thomas Hales
owl:sameAs
skos:subject
foaf:givenname
  • Thomas Callister
  • Thomas Callister
foaf:name
  • Thomas Hales
  • Thomas Callister Hales
foaf:page
foaf:surname
  • Hales
  • Hales
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralStudent of
is dbpprop:doctoralStudents of
is dbpprop:redirect of
is owl:sameAs of