Эхуд Грушовски, FRS ( иврит : אהוד הרושובסקי ; родился 30 сентября 1959 года) — математический логик . [1] Он является профессором математической логики Мертона в Оксфордском университете и членом Мертон-колледжа в Оксфорде . [2] Он также был профессором математики в Еврейском университете в Иерусалиме . [3]
Отец Грушовски, Бенджамин Харшав (иврит: בנימין הרשב, урожденный Грушовски; 1928–2015), [4] был литературным теоретиком , поэтом на идише и иврите и переводчиком, профессором Йельского университета и Тель-Авивского университета по сравнительному литературоведению . Эхуд Грушовски получил докторскую степень в Калифорнийском университете в Беркли в 1986 году под руководством Лео Харрингтона ; его диссертация называлась «Вклад в теорию стабильных моделей» . [5] Он был профессором математики в Массачусетском технологическом институте до 1994 года, когда он стал профессором Еврейского университета в Иерусалиме. В 2017 году Грушовски переехал в Оксфордский университет, где он является профессором математической логики Мертона. [3] [1]
Грушовский хорошо известен несколькими фундаментальными вкладами в теорию моделей , в частности, в раздел, который стал известен как геометрическая теория моделей , и ее приложения. [6] Его докторская диссертация произвела революцию в теории стабильных моделей (часть теории моделей, вытекающая из теории стабильности, введенной Сахароном Шелахом ). Вскоре после этого он нашел контрпримеры к гипотезе трихотомии Бориса Зильбера , и его метод доказательства стал хорошо известен как конструкции Грушовского и нашел много других применений с тех пор. [7]
Одним из его самых известных результатов является доказательство геометрической гипотезы Морделла–Лэнга во всех характеристиках с использованием теории моделей в 1996 году. Это глубокое доказательство стало вехой в логике и геометрии. У него было много других известных и примечательных результатов в теории моделей и ее приложениях к геометрии, алгебре и комбинаторике. [8]
Он был приглашенным докладчиком на Международном конгрессе математиков 1990 года и пленарным докладчиком на ICM 1998 года . [9] [10] Он является лауреатом премии Эрдёша Израильского математического союза в 1994 году, премии Ротшильда в 1998 году, премии Карпа Ассоциации символической логики в 1993 году (совместно с Алексом Уилки ) и снова в 1998 году, [11] В 2007 году он был удостоен чести провести лекцию Гёделя . В его отсутствие лекцию о его работе под названием «Алгебраическая теория моделей» прочитал Томас Скэнлон. [12] В 2019 году он был награжден премией Хайнца Хопфа [1] и в 2022 году премией Шоу в области математических наук. [13]
Грушовски является членом Американской академии искусств и наук (2007), [14] и Израильской академии наук и гуманитарных наук (2008). Он был избран членом Королевского общества в 2020 году. [15]