艾胡德·赫魯紹夫斯基

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

艾胡德·赫魯紹夫斯基 אהוד הרושובסקי FRS
出生	1959年（65—66歲）
知名於	模型論
科學生涯
機構	牛津大學 希伯來大學 麻省理工學院
論文	對穩定模型理論的貢獻
學術指導者	里奧·哈靈頓（英語：Leo Harrington）

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

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

早年生活和教育

其父班傑明·哈沙夫（希伯來語：בנימין הרשב）（本性[בנימין הרשב] 錯誤：{{Lang}}：無效參數：|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]。