托馬斯·黑爾斯

托馬斯·克里斯特爾·黑爾斯 （英語：Thomas Callister Hales，1958年6月4日—），美國數學家，致力於朗蘭茲綱領的研究工作。他在基本引理的研究方面是非常出名的，並且證明了Sp(4)的一種特殊情況。由於吳寶珠，他的許多構想被納入了最後的證明。他因於1998年使用電腦協助證明開普勒猜想而知名，開普勒猜想是幾個世紀以來在離散幾何方面的一個古老問題，該猜想說明了在一個錐體形狀中最有效利用空間的方法為最密堆積。同時黑爾斯也證明了蜂窩猜想。

托馬斯·黑爾斯 Thomas Hales
出生	(1958-06-04) 1958年6月4日（66歲）  美國德克薩斯州聖安東尼奧
國籍	美國
母校	普林斯頓大學
知名於	證明開普勒猜想
獎項	肖維勒獎（英語：Chauvenet Prize）（2003） 大衛·P·羅賓斯獎（英語：David P. Robbins Prize）（2007） 富爾克森獎（2009） 塔斯基講座（英語：Tarski Lectures）（2019）
網站	sites.google.com/site/thalespitt/
科學生涯
研究領域	數學
機構	匹茲堡大學 密歇根大學
博士導師	羅伯特·朗蘭茲
博士生	茱莉亞·戈登（英語：Julia Gordon）

教育背景

他於普林斯頓大學獲得博士學位。

數學生涯

黑爾斯原來在密歇根大學任教，現於匹茲堡大學梅隆數學家大學教授任教，在一個證明正在逐漸變得複雜而且計算機正在成為完成驗證的必要方式的時代，他主張數學正規化以確保證明嚴格。黑爾斯當前研究項目的方向，被稱為小斑點，他旨在正規化開普勒猜想在計算機理論上的證明HOL光。 ^{[1] [2] [3]}

參考資料

1. Hales's page （頁面存檔備份，存於互聯網檔案館） 匹茲堡大學數學系
2. Flyspeck Project. [2012-09-12]. （原始內容存檔於2016-01-12）.
3. Hales solves oldest problem in discrete geometry （頁面存檔備份，存於互聯網檔案館）大學記錄(密歇根大學)，1998年9月16日

外部連結

• 托馬斯·黑爾斯在數學譜系計劃的資料。