词条 托马斯·黑尔斯

托马斯·黑尔斯

托马斯·克里斯特尔·黑尔斯 (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
光州马祖常世谱
原书: [河南 : 世谱编纂理事会], 2008年编. 全1册(275页) : 插图, 世系表, 肖像. 注 : 光州,乃今之潢川县. 源流 : 先祖为兵马判官,后以其官名为姓. 源于新疆, 入籍辽东, 迁于内蒙, 再徙河南. 光州始祖 : (元) 马祖常,字伯庸,谥文贞,行一. 马润之子. 原居靖州天山(今内蒙古). 派字 : 祖子言思 阜福守知 吉土开大 宏远际时 日中致维群 斯希佩三延 承启宗功永 家声乃可新 工农传业久 先泽应长春. 散居地 : 河南省潢川县等地. 书名据书衣题, 及书名页题编目.
浏览:0
浙南闽北马氏谱首通志
原书: [出版地不详] : 谱首通志编纂委员会, 2006年重修. 1册 : 插图, 世系表, 肖像. 受姓始祖 : (战国) 赵奢,字文华. 善战,破秦军于阏舆,有功而归. 赵惠文王赐马服之地,号马服君. 其孙曰兴,徙居咸阳,遂以马为氏. 咸阳始迁祖(3世) : (秦) 马昕(兴). 牧公之子. 奢公孙. 秦武安侯. 生三子: 马圭 ; 马琛 ; 马嵩. 宗祖(32世):(唐) 马瑗. 选公次子. 为本都户曹从事. 生一子: 马周. 东阳始迁祖(33世):(唐) 马大同. 臻公之子. 为吴宁县令. 生一子: 马肖宗. 石粘始迁祖(53世) : (宋) 马泰祉. 宏绪公次子. 宋末避乱居粘山. 生二子: 马日旦 ; 马日春. 永定奚垟坪始迁祖(55世):(宋) 马明隆,又名二郎,字立盛,号武昌. 廷瓒公次子. 宋元之际避乱于汀州府. 生一子: 马臣仪. 横山岙始迁祖(55世):马景华. 秋红公子. 宋末避乱辗转迁徙,后定居管阳楮楼. 福建泉州始迁祖(55世):马应玙. 日春公子. 宋末避乱,迁居泉州府惠安县三都涂岭. 传至11世再迁温州马桥. 生一子: 马元牲. 乐清始迁祖(57世):(元) 马万甫,名德. 从奎公长子. 生二子: 马均佑 ; 马均贤. 玉环马半山始迁祖(57世):马万禄,名俸. 从正公次子. 随堂兄马万甫公迁居乐清,后徙居玉环马半山. 生一子: 马均习. 山前始祖(58世) : (元) 马廷杰. 执中公次子. 生三子: 马季乙 ; 马季戌 ; 马季三. 永嘉始迁祖(58世):马吉夫,号慎修. 万钧公之子. 职系两浙运判,督课至永嘉伤二都. 目睹民乐利仁厚,遂命子用伦肇基于斯. 生一子: 马用伦,号敦常. 马良始迁祖(60世):(元) 马士杰,讳秀. 叔普公之子. 万禄公曾孙. 生四子: 马尚衷 ; 马尚功 ; 马尚重 ; 马尚极. 永邑上河岷岗始迁祖(61世):(明) 马尚东,讳温. 士授公次子. 生一子: 马洪岷. 马车河始迁祖(61世):马尚通,讳达. 士亨公长子. 因竹为派回禄,徙居乐清镇海门外马车河. 生一子: 马洪秋. 太平始迁祖(61世) : 马宽相,字宝国. 政贲公三子. 生一子: 马忝列. 福安溪柄马厝始迁祖(61世):马駉公,字志一. 福高公长子. 生一子: 马六. 郡城派祖(64世):马景尚,字乃义. 宏诏公次子. 迁居郡城. 生二子: 马子顺 ; 马子欣. 子顺公曾孙: 马得缙 ; 马得绶兄弟,迁居平阳县前. 泉州派祖(64世) : 马景通. 宏谥公长子. 由同安县三时都迁居闽省泉州. 生二子: 马孙武 ; 马孙略. 舟山头南塘始祖(65世):(明) 马朝侯. 忝列公之子. 生二子: 马廷谏(迁居乐清大荆海滨之舟山头) ; 马廷铭(迁居乐清浦岐南塘东山). 马居山始迁祖(66世):(明) 马景南,讳寿,原讳普,号伯居. 改正公子. 由乐清金溪迁居平邑,居北港四十二都腾蛟堡马居山. 生三子: 马文宇 ; 马隆宇 ; 马宁宇. 西乡始迁祖(66世):(明末) 马一福. 子敬公长子. 避乱农桑于仙游县西乡. 生一子: 马华宇. 华宇公下三子: 马得朝(居福鼎下屿) ; 马得用(居埕头) ; 马得德(居鹿坑内). 永邑上河乡马桥始迁祖(66世):马一棫. 子政公之子. 生二子: 马昭宇 ; 马穆宇. 穆宇公子: 马得来,由马桥迁居平邑江南十都第七河. 南港桥墩门始迁祖(66世):马一喜,字挺吉. 子敬公次子. 生四子: 马长宇,讳友台,号宋秦(生一子: 马得耀,移居伍里亭) ; 马兴宇,字德兴(生二子: 马得丰,迁莒溪王洞 ; 马得二,居山尾头) ; 马三宇,字德三(生一子: 马得职,迁居仙堂) ; 马商宇,字贤商(生一子: 马得廷,居关爷庙前). 楼桥始迁祖(66世):马一栲. 子勒公之子. 迁居永嘉上河乡十五都楼桥. 生三子: 马贤宇 ; 马之宇(迁居平邑二都龙转头) ; 马然宇(公之子: 马得真,派下居永邑十三都茶山). 岷岗派祖(67世):(明) 马派宇,字一. 景继公长子. 居瓯海县潘桥镇岷岗. 生二子: 马得前 ; 马得宪. 港头始迁祖(67世) : 马启宇,讳汉甫,字承启. 景宸公长子. 由乐清迁居平邑江南十四都港头. 生二子: 马得玉 ; 马得琢. 联谱统一名行:联谱增团结 旦月定干坤 孙贤通礼则 存候泽图强 自卫保上进 山岳化金龙 满怀宝贵足 盛智富登科 求实温刚柔 节俭雅聚欢 严师教经典 吾乃尊玄书 尔前权威益 何代盖仙程 阳庄秋林美 色罗全象新 艺精冀焕稳 春夏庆再来 望重坚关易 勋高恩延煌. 注:浙闽联谱各地名行不一, 详见本谱影像第172页. 散居地 : 浙江省平阳县, 苍南县, 瑞安市, 瓯海县, 乐清市, 永嘉县, 温岭市, 文成县; 福建省福鼎市, 福安市, 政和县, 长乐县等地. 书名据书衣题, 书名页题, 及书脊题编目.
浏览:0