Max Home IndustryВ этом году лауреатами премии Абеля, считающейся одной из высших наград в области математики, стали Ави Вигдерсон и Ласло Ловас за их вклад в теорию сложности и теорию графов, которые связывают математику и информатику.
Норвежская академия наук и литературы учредила Премию Абеля в 2002 году, чтобы отметить вклад необычайной глубины и влияния в математические науки. Впервые он был присужден в 2003 году, а среди предыдущих победителей — Эндрю Уайлс за доказательство Великой теоремы Ферма (2016).
В этом году приз в размере 7,5 миллионов норвежских крон, или около 880 000 долларов, разделен между Ласло Ловасом из Института математики Альфреда Реньи и Университета Этвеша Лоранда, Будапешт, Венгрия, и Ави Вигдерсоном из Института перспективных исследований, Принстон, США:
«За их фундаментальный вклад в теоретическую информатику и дискретную математику, а также за их ведущую роль в превращении их в центральные области современной математики».
Работа, в которой они оба принимали участие, «вычислительная сложность», которая связана со скоростью и эффективностью алгоритмов и впервые появилась в 1970-х годах, в настоящее время является признанной областью как математики, так и теоретической информатики и обеспечивает теоретическую основу для Интернета безопасность.
Ханс Мунте-Каас, математик из Бергенского университета в Норвегии, который был председателем комитета по присуждению премии Абеля, объяснил, что и Ловас, и Вигдерсон внесли фундаментальный вклад в понимание случайности в вычислениях и в исследование границ эффективных вычислений, говоря:
«Благодаря новаторской работе этих двоих дискретная математика и относительно молодая область теоретической информатики теперь прочно утвердились в качестве центральных областей современной математики».
Ласло Ловас (слева), родившийся в 1948 году в Будапеште, Венгрия, установил связь между дискретной математикой и информатикой. Вместе с Арьеном и Хендриком Ленстрой он разработал алгоритм сокращения решетки LLL, приложения которого включают факторизацию рациональных многочленов, взлом определенных криптосистем и проектирование безопасных криптосистем на основе решеток. Среди других важных вкладов в комбинаторику и теорию графов он доказал локальную лемму, показал, как эффективно решать полуопределенные программы, и решил гипотезу Кнезера. Его предыдущие награды включают Премию Вольфа 1999 г., Премию Кнута 1999 г., Премию Гёделя 2001 г. и Киотскую премию 2010 г.
Ави Вигдерсон (справа), родившийся в Хайфе, Израиль, в 1956 году, провел исследование всех основных открытых проблем теории сложности. Он является соавтором работ с более чем 100 людьми и углубил связь между математикой и информатикой. Наиболее важным современным приложением теории сложности является интернет-криптография. В начале своей карьеры Вигдерсон внес фундаментальный вклад в эту область, включая доказательство нулевого знания, которое сейчас используется в криптовалютных технологиях. Его предыдущие награды включают Премию Рольфа Неванлинны 1994 года в области информатики, Премию Гёделя 2009 года и, как мы сообщали в то время, Премию Кнута 2019 года,
По словам Мунте-Кааса, у этих двух лауреатов:
«Действительно открыли мир и показали плодотворное взаимодействие между информатикой и математикой».
Д-р Майк Джеймс — автор «Руководства программиста по теории», целью которого является неформальное и информативное представление фундаментальных идей информатики.