托马斯·克里斯特尔·黑尔斯 （英語：Thomas Callister Hales，1958年6月4日—），美国数学家，致力于朗兰兹纲领的研究工作。他在基本引理的研究方面是非常出名的，并且证明了Sp(4)的一种特殊情况。由于吴宝珠，他的许多构想被纳入了最后的证明。他因于1998年使用電腦協助證明克卜勒猜想而知名，开普勒猜想是几个世纪以来在离散几何方面的一个古老问题，该猜想说明了在一个锥体形状中最有效利用空间的方法为最密堆积。同时黑尔斯也证明了蜂窝猜想。
教育背景 编辑
数学生涯 编辑
黑尔斯原来在密西根大学任教，现于匹兹堡大学梅隆数学家大学教授任教，在一个证明正在逐渐变得复杂而且计算机正在成为完成验证的必要方式的时代，他主张数学正规化以确保证明严格。黑尔斯当前研究项目的方向，被称为小斑点，他旨在正规化开普勒猜想在计算机理论上的证明HOL光。 [1][2][3]
参考资料 编辑
- ^ Hales's page （页面存档备份，存于互联网档案馆） 匹兹堡大学数学系
- ^ Flyspeck Project. [2012-09-12]. （原始内容于2016-01-12）.
- ^ Hales solves oldest problem in discrete geometry （页面存档备份，存于互联网档案馆）大学记录(密歇根大学)，1998年9月16日
外部链接 编辑
托马斯, 黑尔斯, 托马斯, 克里斯特尔, 黑尔斯, 英語, thomas, callister, hales, 1958年6月4日, 美国数学家, 致力于朗兰兹纲领的研究工作, 他在基本引理的研究方面是非常出名的, 并且证明了sp, 的一种特殊情况, 由于吴宝珠, 他的许多构想被纳入了最后的证明, 他因于1998年使用電腦協助證明克卜勒猜想而知名, 开普勒猜想是几个世纪以来在离散几何方面的一个古老问题, 该猜想说明了在一个锥体形状中最有效利用空间的方法为最密堆积, 同时黑尔斯也证明了蜂窝猜想, thomas, h. 托马斯 克里斯特尔 黑尔斯 英語 Thomas Callister Hales 1958年6月4日 美国数学家 致力于朗兰兹纲领的研究工作 他在基本引理的研究方面是非常出名的 并且证明了Sp 4 的一种特殊情况 由于吴宝珠 他的许多构想被纳入了最后的证明 他因于1998年使用電腦協助證明克卜勒猜想而知名 开普勒猜想是几个世纪以来在离散几何方面的一个古老问题 该猜想说明了在一个锥体形状中最有效利用空间的方法为最密堆积 同时黑尔斯也证明了蜂窝猜想 托马斯 黑尔斯Thomas Hales出生 1958 06 04 1958年6月4日 65歲 美國德克萨斯州圣安东尼奥国籍 美國母校普林斯顿大学知名于证明克卜勒猜想奖项肖維勒獎 英语 Chauvenet Prize 2003 大衛 P 羅賓斯獎 英语 David P Robbins Prize 2007 富爾克森獎 2009 塔斯基講座 英语 Tarski Lectures 2019 网站sites wbr google wbr com wbr site wbr thalespitt wbr 科学生涯研究领域数学机构匹兹堡大学 密歇根大学博士導師罗伯特 朗兰兹博士生茱莉亞 戈登 英语 Julia Gordon 目录 1 教育背景 2 数学生涯 3 参考资料 4 外部链接教育背景 编辑他于普林斯顿大学获得博士学位 数学生涯 编辑黑尔斯原来在密西根大学任教 现于匹兹堡大学梅隆数学家大学教授任教 在一个证明正在逐渐变得复杂而且计算机正在成为完成验证的必要方式的时代 他主张数学正规化以确保证明严格 黑尔斯当前研究项目的方向 被称为小斑点 他旨在正规化开普勒猜想在计算机理论上的证明HOL光 1 2 3 参考资料 编辑 Hales s page 页面存档备份 存于互联网档案馆 匹兹堡大学数学系 Flyspeck Project 2012 09 12 原始内容存档于2016 01 12 Hales solves oldest problem in discrete geometry 页面存档备份 存于互联网档案馆 大学记录 密歇根大学 1998年9月16日外部链接 编辑托马斯 黑尔斯在數學譜系計畫的資料 取自 https zh wikipedia org w index php title 托马斯 黑尔斯 amp oldid 70256159, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。