Loading AI tools
来自维基百科,自由的百科全书
艾胡德·赫魯紹夫斯基FRS(希伯來語:אהוד הרושובסקי;1959年9月30日—)是一個數理邏輯學家。[1]
現為英國牛津大學默頓數理邏輯講座教授及牛津大學默頓學院院士。[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]。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.