Thomas Callister Hales

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm
Thomas Hales

Sinh 4 tháng 6, 1958 (56 tuổi)
San Antonio, Texas
Nơi cư trú Hoa Kỳ
Quốc tịch American
Ngành Toán học
Nơi công tác University of Pittsburgh
University of Michigan
Alma mater Princeton University
Người hướng dẫn luận án tiến sĩ Robert Langlands
Nổi tiếng vì Chứng minh giả thuyết Kepler, giả thuyết Tổ ong

Thomas Callister Hales (sinh ngày 4 tháng 6 năm 1958) là một nhà toán học người Mỹ làm việc với chương trình Langlands. Trong lĩnh vực này, ông đã chứng minh được một trường hợp đặc biệt của bổ đề cơ bản cho nhóm Sp4. Nhiều ý tưởng của ông sau này đã được sử dụng để hoàn thiện chứng minh cuối cùng do Ngô Bảo Châu tìm ra. Ông nổi tiếng vì chứng minh được giả thuyết Kepler, một bài toán hàng thế kỷ chưa có lời giải trong hình học rời rạc. Ông cũng là người chứng minh giả thuyết Tổ ong.

Giáo dục[sửa | sửa mã nguồn]

Hales nhận bằng tiến sĩ tại đại học Princeton.

Sự nghiệp toán học[sửa | sửa mã nguồn]

Hales, trước đây ở đại học Michigan, bây giờ là giáo sư Mellon về toán ở đại học Pittsburgh, ủng hộ việc hình thức hóa toán học để đảm bảo tính chặt chẽ trong một kỷ nguyên khi mà các chứng minh trở nên ngày càng phức tạp và máy tính dần trở nên cần thiết trong việc xác minh tính đúng đắn của các chứng minh. Dự án gần đây của Hales, có tên dự án Flyspeck, nhằm hình thức hóa chứng minh của ông cho giả thuyết Kepler sử dụng phần mềm chứng minh định lý HOL-Light.

[1] [2] [3]

Vào năm 2012, ông trở nhà hội viên hội toán học Mỹ (fellow of the American Mathematical Society).[4]

Ghi chú[sửa | sửa mã nguồn]

  1. ^ Hales's page at the University of Pittsburgh Math Department
  2. ^ Flyspeck Project
  3. ^ Hales solves oldest problem in discrete geometry The University Record (University of Michigan), September 16, 1998
  4. ^ List of Fellows of the American Mathematical Society, retrieved 2013-01-19.

Liên kết ngoài[sửa | sửa mã nguồn]