词条 托马斯·黑尔斯

托马斯·黑尔斯

托马斯·克里斯特尔·黑尔斯 (Thomas Callister Hales,1958年6月4日),美国数学家,致力于朗兰兹纲领的研究工作。他在基本引理的研究方面是非常出名的,并且证明了Sp(4)的一种特殊情况。由于吴宝珠,他的许多构想被纳入了最后的证明。他因于1998年使用电脑协助证明开普勒猜想而知名,开普勒猜想是几个世纪以来在离散几何方面的一个古老问题,该猜想说明了在一个锥体形状中最有效利用空间的方法为最密堆积。同时黑尔斯也证明了蜂窝猜想。

托马斯·黑尔斯简介资料
1958年06月04日
托马斯·黑尔斯相关文献
托马斯·黑尔斯
教育背景他于普林斯顿大学获得博士学位。数学生涯黑尔斯原来在密歇根大学任教,现于匹兹堡大学梅隆数学家大学教授任教,在一个证明正在逐渐变得复杂而且计算机正在成为完成验证的必要方式的时代,他主张数学正规化以确保证明严格。黑尔斯当前研究项目的方向,被称为小斑点,他旨在正规化开普勒猜想在计算机理论上的证明HOL光。
查看全文
托马斯·图尔
生平他成长于纽约州的Endwell,由作为牙科保健员的单身母亲抚养长大。他从小就热爱棒球和足球运动,在大学时还获得过足球奖学金。1992年毕业于纽约州的汉密尔顿学院。后来从事投资商业活动,2000年成立传奇影业。他是美国电影学会的理事会成员、卡内基美隆大学的校董会成员,以及圣地亚哥动物园的董事会成员。2009年他成为美式足球球队匹兹堡钢人的部分所有人,他自四岁时就是该球队的球迷。2017年1月辞去传奇娱乐主席和CEO职务,万达CEO和国际投资运营部门高级副总高群耀接任传奇临时CEO。参见传奇影业
查看全文
托马斯·里尔登
早年和事业里尔注销生于新罕布什尔州,是家中18位信奉爱尔兰天主教的一员。里尔登高中的时候,在麻省理工学院攻读了研究所程度的数学和科学课,被形容是“数学和电脑神童”。高中毕业后,他搬到北卡罗莱纳州,成立了自己的软件公司。在那里,他遇到了比尔·盖茨并加入了微软担任Windows95和Windows97的项目经理。在当时,里尔登构筑了整个微软公司的InternetExplorer开发团队。他在1996年开发并监督InternetExplorer3的发布,并提出了将InternetExplorer与MicrosoftWindows操作系统一同捆绑销售的想法。IE3是第一个与当时最流行的NetscapeNavigator竞争的网页浏览器。在里尔登的领导下,InternetExplorer在1990年代晚期及2000年代早期超越了NetscapeNavigator,成为当时最多人使用的浏览器,其后来又...
查看全文
托马斯·莫尔
生平早期政治生涯1478年,莫尔出生于伦敦的一个法学家庭,其父曾任英国皇家高等法院法官。1492年入牛津大学攻读拉丁文和逻辑学,喜欢人文主义者的著作,同鹿特丹人文主义者伊拉斯谟是亲密朋友。1497年牛津大学毕业后,改学法律,1501年成为正式律师。莫尔在在担任律师期间,他接触了大量涉及到下层社会的讼案,目睹了广大人民群众所遭受的苦难。他主持公道,能够替受屈的人们撑腰,因而在伦敦很有名望。亨利八世早期反对宗教改革,这与莫尔的观点相吻合,因此莫尔深受亨利八世宠信。莫尔积极从事社会活动,1504年被选为国会议员,但不久因反对国王的津贴要求而被迫退出国会。1509年英王亨利八世即位后,再次被选入国会,并任伦敦市副执行官。1510年到1518年,莫尔服务于伦敦市两个行政司法长官之一的底下。他的身份属于重要的、负责任的地位,他在那里学到“要赢得信任,就是要诚实以对”和“做一个公仆”。1517年,以一个...
查看全文
唐纳尔·托马斯
爱德华·唐纳尔·托马斯(英语:EdwardDonnallThomas,1920年3月15日-2012年10月20日),美国医生,曾任西雅图华盛顿大学大学教授。他曾任西雅图弗雷德·哈金森癌症研究中心(FredHutchinsonCancerResearchCenter)临床研究部主任。1990年,与约瑟夫·默里因为“人体器官和细胞移植的研究”一起获得诺贝尔生理学或医学奖。唐纳尔·托马斯1920年出生于美国德克萨斯州马特镇。1937年就读于马特高中。1941年,他在奥斯丁的德克萨斯大学获得了文学学士,1943年取得硕士学位。之后,他转学入哈佛医学院并于1946年获得了医学硕士学位。获得硕士学位后,他进入了波士顿的彼得·本特·布利格汉姆医院(PeterBentBrighamHospital)实习,在那里学习血液学。1948年到1950年间,他应征入伍,在陆军中担任内科医生。退役后,他进入马萨诸塞...
查看全文
托马斯·黑尔斯相关标签
普林斯顿大学校友
American Latter Day Saints
1958年出生
美国科学家
People from Pittsburgh
Pennsylvania
美国数学家
密歇根大学教师
在世人物
Princeton University alumni
数学家
教育工作者
数学家
家族谱大览
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0
白石斯氏斯村宗譜, 2, 卷1, 世系1世肇字行偉公起, 1998
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:100
白石斯氏斯村宗谱 [8卷,首1卷]
原书: [出版地不详] : 斯村老年协会村志谱册编纂小组, 1998年重修. 9册 : 插图, 世系表, 人像. 始祖(1世) : 斯伟,行肇一. 受姓祖(2世) : (魏) 斯敦,字友直,行启三. 本姓史. 先祖由磁阳徙浙江东阳后里. 居斯孝乡. 敦公下派祖(41世) : 斯德宁,行仍二十九(山头) ; 斯邦海,行仍三(白石) ; 斯邦兴,行仍一(佳巷) ; 斯珂,行富六(廊下). 邦海公下房祖(45世) : 斯正模,行德二十八(三房,子孙析置岭儿头,小桥,新庄等地) ; 斯正楷,行德十八(四房) ; 斯正椿,行德六(六房). 三房正模公下分祖(47世) : 斯有熊,行华二十四(大分) ; 斯有点,行华四十七(四分) ; 斯有鲸,行华五十一(五分) ; 斯有鲁,行华五十六(六分) ; 斯有黛,行华六十一(七分) ; 斯有樵,行华六十四(八分) ; 斯有蔗,行七十一(九分). 六房正椿公生六子(46世) : 斯尚汶,行荣二(六房大分) ; 斯尚泽,行荣七(六房二分) ; 斯尚涛,行荣十四(六房三分) ; 斯尚泾,行荣二十八(六房四分) ; 斯尚湘,行荣三十六(六房五分) ; 斯尚沛,行荣四十三(六房六分). 行派 : 肇启乾坤艮巽坎 兑震离福宁昌盛 皓广顺豫享忠孝 和怡清显廉明政 顺恭惠敬崇仁义 礼智信开宗仍贵 遇富德荣华贤良 丰中兴际泰运绍 履振家风温淳懿 行著意万代裕隆. 名辈(37世起) : 志兆用朝邦寿懋 成正尚有一文可 继首献光世德学 大以洪良克彦廷 嘉敬祖泽永元昌. 书名据书衣题, 书名页题, 及版心题编目. 卷端题 : 白石斯氏宗谱
浏览:0