艾胡德·赫魯紹夫斯基

維基百科,自由的百科全書
艾胡德·赫魯紹夫斯基
אהוד הרושובסקי

FRS
出生1959年(64—65歲)
知名於
科學生涯
機構
論文對穩定模型理論的貢獻
學術指導者里奧·哈靈頓英語Leo Harrington

艾胡德·赫魯紹夫斯基FRS希伯來語אהוד הרושובסקי‎;1959年9月30日)是一個數理邏輯學家[1]

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

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

早年生活和教育

其父本傑明·哈沙夫希伯來語בנימין הרשב(本性בנימין הרשב‎; 1928–2015),[4]是詩人和翻譯家,在耶魯大學臺拉維夫大學擔任比較文學教授,通曉意第緒語希伯來語

1986年,赫魯紹夫斯基獲加利福尼亞大學柏克萊分校博士學位,其研究論文為《對穩定模型理論的貢獻》(Contributions to Stable Model Theory),導師為里奧·哈林頓英語Leo Harrington。畢業後擔任麻省理工學院數學教授至1994年,之後成為耶路撒冷希伯來大學教授。2017年,他來到牛津大學墨頓學院,擔任數理邏輯教授[3][1]

研究方向

赫魯紹夫斯基最廣為人知的研究是對模型論的基礎性貢獻,尤其是後來成為幾何模型理論的分支及其應用[5]。他的博士論文徹底改變了穩定模型理論(模型理論部分內容源於薩哈讓·謝拉赫英語Saharon Shelah提出的穩定性理論)。沒過多久,赫魯紹夫斯基找到鮑里斯·齊伯英語Boris Zilber三分猜想理論的反證,這種論證方法就是後來的赫魯曉夫斯基解釋英語Hrushovski construction。自那時起,赫魯紹夫斯基發現了該理論的其他應用[6]

赫魯紹夫斯基最著名的一個論證成果出現在1996年,當時他利用模型論從各個特徵證明幾何領域的莫德爾-朗猜想英語Mordell–Lang conjecture,為邏輯學和幾何學帶來里程碑式的意義。除此之外,他的模型論還在幾何學、代數學、組合學領域發揮關鍵研究作用[7]

榮譽和獎項

赫魯紹夫斯基受邀於1990年國際數學家大會發表講話,在1998年的國際數學家大會上擔任全體會議講話人[8][9]。1994年,他獲得以色列數學聯合會英語Israel Mathematical Union頒發的埃爾德什獎英語Erdős Prize,1998年獲羅斯柴爾德獎,1993年與亞歷克斯·威爾基英語Alex Wilkie一道獲得符號邏輯協會英語Association for Symbolic Logic卡普獎英語Karp Prize,1998年再度獲得該獎[10]。2007年,他受邀主持哥德爾講座英語Gödel Lecture,其研究論文《代數模型理論》(Algebraic Model Theory)的講座由托馬斯·斯坎倫(Thomas Scanlon)代為發言[11]。2019年獲海因茨霍夫獎英語Heinz Hopf Prize[1],2022年獲邵逸夫獎數學獎[12]

另外,赫魯紹夫斯基於2007年當選美國文理科學院院士[13],2008年當選以色列科學與人文學院院士,2020年成為皇家學會院士[14]

參考

  1. ^ 1.0 1.1 1.2 Heinz Hopf Prize to a model theorist. math.ethz.ch. 2019-10-23 [2020-08-17]. (原始內容存檔於2022-03-05) (英語). 
  2. ^ Professor Ehud Hrushovski. Merton College, Oxford. [2020-08-17]. (原始內容存檔於2020-07-14) (英國英語). 
  3. ^ 3.0 3.1 Academy of Europe: Hrushovski Ehud. www.ae-info.org. [2020-08-17]. (原始內容存檔於2021-04-11). 
  4. ^ Archives, Ghetto Fighters' House
  5. ^ Pillay, Anand; Pillay, Professor of Mathematics Anand. Geometric Stability Theory. Clarendon Press. 1996 [2022-05-24]. ISBN 978-0-19-853437-2. (原始內容存檔於2022-05-24) (英語). 
  6. ^ Evans, David M.; Ferreira, Marco S. The geometry of Hrushovski constructions, I. The uncollapsed case. 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. Model Theory and Algebraic Geometry: An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture. Springer. 2009-03-14 [2022-05-24]. ISBN 978-3-540-68521-0. (原始內容存檔於2022-05-24) (英語). 
  8. ^ ICM Plenary and Invited Speakers. International Mathematical Union. [2019-07-22]. (原始內容存檔於2021-01-21). 
  9. ^ Hrushovski, Ehud. Geometrical model theory. Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. I. 1998: 281–302 [2022-05-24]. (原始內容存檔於2020-07-18). 
  10. ^ Karp Prize Recipients. Association for Symbolic Logic英語Association for Symbolic Logic. [2019-07-22]. (原始內容存檔於2019-07-22). 
  11. ^ Džamonja, Mirna. 2007 Annual Meeting of the Association for Symbolic Logic. 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. ^ Shaw Prize 2022. [2022-05-24]. (原始內容存檔於2020-06-14). 
  13. ^ Ehud Hrushovski. American Academy of Arts & Sciences. [2020-08-17]. (原始內容存檔於2020-03-27) (英語). 
  14. ^ Ehud Hrushovski. Royal Society. [2020-09-19]. (原始內容存檔於2020-10-27). 

外部鏈接