Эхуд Хрушковский: Жизнь и научные достижения выдающегося математика-логика.
Ehud Hrushovski
Эхуд Хрушковский: израильский математик-логик, профессор Оксфордского университета. Исследования в области стабильной теории моделей. Биография и карьера.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Израильский математик (род. 1959)
Israeli mathematician (born 1959)
Эхуд Хрушовский (род. 30 сентября 1959) — математический логик. Он является профессором математической логики в Оксфордском университете и членом колледжа Мертон при Оксфордском университете. Ранее он был профессором математики в Еврейском университете в Иерусалиме.
Ehud Hrushovski (; born 30 September 1959) is a mathematical logician. He is a Merton Professor of Mathematical Logic at the University of Oxford and a Fellow of Merton College, Oxford. He was also Professor of Mathematics at the Hebrew University of Jerusalem.
Ранние годы и образование
Отец Хрушовского, Бенджамин Харшав (ивр. בנימין הרשב, 1928–2015), был литературным теоретиком, поэтом на идиш и иврите, переводчиком и профессором сравнительной литературы в Йельском и Тель-Авивском университетах. Эхуд Хрушовски получил степень доктора философии в Калифорнийском университете в Беркли в 1986 году под руководством Лео Харрингтона; его диссертация была посвящена теме «Вклад в теорию стабильных моделей». Он был профессором математики в Массачусетском технологическом институте до 1994 года, после чего стал профессором в Еврейском университете в Иерусалиме. В 2017 году Хрушовский перешел в Оксфордский университет, где он занимает должность профессора математической логики имени Мёртона. Его диссертация произвела революцию в теории стабильных моделей (области теории моделей, возникшей из теории стабильности, разработанной Сахароном Шелахом). Вскоре после этого он обнаружил контрпримеры к гипотезе трихотомии Бориса Зилбера, а его метод доказательства стал широко известен как построения Хрушовского и нашел множество других применений. Одной из его наиболее известных работ является доказательство геометрической гипотезы Морделла — Ланга во всех характеристиках с использованием теории моделей в 1996 году. Это глубокое доказательство стало важной вехой в логике и геометрии. Он также является автором множества других известных и значимых результатов в теории моделей и ее приложениях к геометрии, алгебре и комбинаторике.
Hrushovski's father, Benjamin Harshav (Hebrew: בנימין הרשב, né Hruszowski; 1928–2015), was a literary theorist, a Yiddish and Hebrew poet and a translator, professor at Yale University and Tel Aviv University in comparative literature. Ehud Hrushovski earned his PhD from the University of California, Berkeley in 1986 under Leo Harrington; his dissertation was titled Contributions to Stable Model Theory. He was a professor of mathematics at the Massachusetts Institute of Technology until 1994, when he became a professor at the Hebrew University of Jerusalem. Hrushovski moved in 2017 to the University of Oxford, where he is the Merton Professor of Mathematical Logic. His PhD thesis revolutionized stable model theory (a part of model theory arising from the stability theory introduced by Saharon Shelah). Shortly afterwards he found counterexamples to the Trichotomy Conjecture of Boris Zilber and his method of proof has become well known as Hrushovski constructions and found many other applications since. One of his most famous results is his proof of the geometric Mordell–Lang conjecture in all characteristics using model theory in 1996. This deep proof was a landmark in logic and geometry. He has had many other famous and notable results in model theory and its applications to geometry, algebra, and combinatorics.
Почести и награды
Он был приглашенным докладчиком на Международном конгрессе математиков в 1990 году и пленарным докладчиком на ICM в 1998 году. Он является лауреатом премии Эрдеша Израильского математического союза (1994), премии Ротшильда (1998), премии Карпа Ассоциации символической логики (1993, совместно с Алексом Уилки) и вновь в 1998 году. В 2007 году ему была оказана честь прочитать лекцию Геделя. В его отсутствие Томас Сканлон прочитал лекцию о его работе под названием «Алгебраическая теория моделей». В 2019 году он был удостоен премии Хайнца Хопфа.
He was an invited speaker at the 1990 International Congress of Mathematicians and a plenary speaker at the 1998 ICM. He is a recipient of the Erdős Prize of the Israel Mathematical Union in 1994, the Rothschild Prize in 1998, the Karp Prize of the Association for Symbolic Logic in 1993 (jointly with Alex Wilkie) and again in 1998, In 2007, he was honored with holding the Gödel Lecture. In his absence, a lecture on his work titled Algebraic Model Theory was given by Thomas Scanlon. In 2019 he was awarded the Heinz Hopf Prize
Хрушовский – член Американской академии искусств и наук (с 2007 года) и Израильской академии наук и гуманитарных наук (с 2008 года). В 2020 году он был избран членом Королевского общества.
Hrushovski is a fellow of the American Academy of Arts and Sciences (2007), and Israel Academy of Sciences and Humanities (2008). He was elected a Fellow of the Royal Society in 2020.