艾胡德·赫魯紹夫斯基

艾胡德·赫魯紹夫斯基FRS希伯來語1959年9月30日)是一個數理邏輯學家[1]

艾胡德·赫魯紹夫斯基
אהוד הרושובסקי

FRS
出生1959年(64—65歲)
知名于
科学生涯
机构
论文对稳定模型理论的贡献
学术指导者里奧·哈靈頓

現為英國牛津大學默頓數理邏輯講座教授及牛津大學默頓學院院士。[2]

他亦兼任耶路撒冷希伯來大學數學教授。[3]

早年生活和教育

其父本傑明·哈沙夫(本性; 1928–2015),[4]是诗人和翻译家,在耶鲁大学臺拉維夫大學担任比较文学教授,通晓意第绪语希伯来语

1986年,赫鲁绍夫斯基获加利福尼亞大學柏克萊分校博士学位,其研究论文为《对稳定模型理论的贡献》(Contributions to Stable Model Theory),导师为里奥·哈林顿。毕业后担任麻省理工学院数学教授至1994年,之后成为耶路撒冷希伯来大学教授。2017年,他来到牛津大学墨顿学院,担任数理逻辑教授[3][1]

研究方向

赫鲁绍夫斯基最广为人知的研究是对模型论的基础性贡献,尤其是后来成为几何模型理论的分支及其应用[5]。他的博士论文彻底改变了稳定模型理论(模型理论部分内容源于萨哈让·谢拉赫提出的稳定性理论)。没过多久,赫鲁绍夫斯基找到鲍里斯·齐伯三分猜想理论的反证,这种论证方法就是后来的赫鲁晓夫斯基解释。自那时起,赫鲁绍夫斯基发现了该理论的其他应用[6]

赫鲁绍夫斯基最著名的一个论证成果出现在1996年,当时他利用模型论从各个特征证明几何领域的莫德尔-朗猜想,为逻辑学和几何学带来里程碑式的意义。除此之外,他的模型论还在几何学、代数学、组合学领域发挥关键研究作用[7]

榮譽和獎項

赫鲁绍夫斯基受邀于1990年国际数学家大会发表讲话,在1998年的国际数学家大会上担任全体会议讲话人[8][9]。1994年,他获得以色列数学联合会颁发的埃尔德什奖,1998年获罗斯柴尔德奖,1993年与亚历克斯·威尔基一道获得符号逻辑协会卡普奖,1998年再度获得该奖[10]。2007年,他受邀主持哥德尔讲座,其研究论文《代数模型理论》(Algebraic Model Theory)的讲座由托马斯·斯坎伦(Thomas Scanlon)代为发言[11]。2019年获海因茨霍夫奖[1],2022年获邵逸夫奖数学奖[12]

另外,赫鲁绍夫斯基于2007年当选美国文理科学院院士[13],2008年当选以色列科學與人文學院院士,2020年成为皇家学会院士[14]

參考

  1. . math.ethz.ch. 2019-10-23 [2020-08-17]. (原始内容存档于2022-03-05) (英语).
  2. . Merton College, Oxford. [2020-08-17]. (原始内容存档于2020-07-14) (英国英语).
  3. . www.ae-info.org. [2020-08-17]. (原始内容存档于2021-04-11).
  4. Archives, Ghetto Fighters' House
  5. Pillay, Anand; Pillay, Professor of Mathematics Anand. . Clarendon Press. 1996 [2022-05-24]. ISBN 978-0-19-853437-2. (原始内容存档于2022-05-24) (英语).
  6. Evans, David M.; Ferreira, Marco S. . Annals of Pure and Applied Logic. April 2011, 162 (6): 474–488 [2022-05-24]. S2CID 3863424. arXiv:1103.3638可免费查阅. doi:10.1016/j.apal.2011.01.008. (原始内容存档于2022-05-24).
  7. Bouscaren, Elisabeth. . Springer. 2009-03-14 [2022-05-24]. ISBN 978-3-540-68521-0. (原始内容存档于2022-05-24) (英语).
  8. . International Mathematical Union. [2019-07-22]. (原始内容存档于2021-01-21).
  9. Hrushovski, Ehud. . . 1998: 281–302 [2022-05-24]. (原始内容存档于2020-07-18).
  10. . Association for Symbolic Logic. [2019-07-22]. (原始内容存档于2019-07-22).
  11. Džamonja, Mirna. . The Bulletin of Symbolic Logic. 2007, 13 (3): 386–408 [2022-05-24]. ISSN 1079-8986. JSTOR 4493334. S2CID 124193052. doi:10.2178/bsl/1186666153. (原始内容存档于2021-11-11).
  12. . [2022-05-24]. (原始内容存档于2020-06-14).
  13. . American Academy of Arts & Sciences. [2020-08-17]. (原始内容存档于2020-03-27) (英语).
  14. . Royal Society. [2020-09-19]. (原始内容存档于2020-10-27).

外部鏈接

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.