艾胡德·赫魯紹夫斯基
艾胡德·赫魯紹夫斯基FRS(希伯來語:אהוד הרושובסקי;1959年9月30日—)是一個數理邏輯學家。[1]
艾胡德·赫魯紹夫斯基 אהוד הרושובסקי FRS | |
---|---|
出生 | 1959年(64—65歲) |
知名於 | |
科學生涯 | |
機構 | |
論文 | 對穩定模型理論的貢獻 |
學術指導者 | 里奧·哈靈頓 |
現為英國牛津大學默頓數理邏輯講座教授及牛津大學默頓學院院士。[2]
早年生活和教育
其父本傑明·哈沙夫(本性בנימין הרשב; 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.0 1.1 1.2 Heinz Hopf Prize to a model theorist. math.ethz.ch. 2019-10-23 [2020-08-17]. (原始內容存檔於2022-03-05) (英語).
- ^ Professor Ehud Hrushovski. Merton College, Oxford. [2020-08-17]. (原始內容存檔於2020-07-14) (英國英語).
- ^ 3.0 3.1 Academy of Europe: Hrushovski Ehud. www.ae-info.org. [2020-08-17]. (原始內容存檔於2021-04-11).
- ^ Archives, Ghetto Fighters' House
- ^ 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) (英語).
- ^ 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).
- ^ 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) (英語).
- ^ ICM Plenary and Invited Speakers. International Mathematical Union. [2019-07-22]. (原始內容存檔於2021-01-21).
- ^ Hrushovski, Ehud. Geometrical model theory. Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. I. 1998: 281–302 [2022-05-24]. (原始內容存檔於2020-07-18).
- ^ Karp Prize Recipients. Association for Symbolic Logic. [2019-07-22]. (原始內容存檔於2019-07-22).
- ^ 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).
- ^ Shaw Prize 2022. [2022-05-24]. (原始內容存檔於2020-06-14).
- ^ Ehud Hrushovski. American Academy of Arts & Sciences. [2020-08-17]. (原始內容存檔於2020-03-27) (英語).
- ^ Ehud Hrushovski. Royal Society. [2020-09-19]. (原始內容存檔於2020-10-27).