Премия Рольфа Неванлинны, известная с 2022 года как Медаль IMU Abacus Medal, является присуждается раз в четыре года на Международном конгрессе математиков, организованном Международным математическим союзом (IMU), за выдающийся вклад в математические аспекты информационных наук, в том числе:
Премия была учреждена в 1981 году Исполнительным комитетом Международного математического союза и названа в честь финского математика Рольфа Неванлинны. Он состоит из золотой медали и денежного приза. Премия предназначена для молодых ученых-теоретиков-компьютерщиков, и только те, кто моложе 40 лет на 1 января года награждения, имеют право на нее. Он присуждается вместе с другими призами IMU, включая Медаль Филдса.
Премия была названа в честь финского математика Рольфа Неванлинны, умершего за год до учреждения премии в 1981 году. На медали изображен профиль Неванлинны, текст «Премия Рольфа Неванлинны», и очень маленькие буквы "RH 83" на лицевой стороне. RH относится к Раймо Хейно, разработчику медали, а 83 - к году первой чеканки. На реверсе выгравированы две цифры, относящиеся к Хельсинкскому университету, спонсору приза. На оправе указано имя лауреата.
Александр Сойфер, президент Всемирной федерации национальных математических соревнований, жаловался на присуждение премии Неванлинне, поскольку он был сторонником Гитлера и выступал в качестве представителя Финский добровольческий батальон Ваффен-СС во время Второй мировой войны. Сойфер рассказал о деятельности Неванлинны во время войны в книге 2015 года и направил свои личные запросы и запросы своей организации в Исполнительный комитет ИДУ об изменении названия Премии. В июле 2018 года 18-я Генеральная ассамблея ИДУ приняла решение исключить имя Рольфа Неванлинны из приза. Позже было объявлено, что премия будет называться IMU Abacus Medal.
Год | Лауреат | Причины |
---|---|---|
1982 | Роберт Тарьян | «Получил первую премию Неванлинны за выдающийся вклад в математические аспекты информатики.« Чистая математика наслаждается роскошью изучения своих конструкций, конечных или бесконечных, при полной независимости от всех вопросов эффективности », - объяснил выступавший Якоб Шварц. о работе Тарьяна ». Напротив, теоретическая информатика должна в конечном итоге заниматься вычислительными механизмами, которые работают с ограниченной скоростью и хранением данных, и, следовательно, должны рассматривать эффективность как одну из основных задач. Из этой неизбежной проблемы вырастают два тесно связанных вида деятельности: разработка алгоритмов и анализ алгоритмов ». |
1986 | Leslie Valiant | « Valiant внес решающий вклад в рост почти каждой отрасли быстрорастущей молодое дерево теоретической информатики, его теория задач счета, пожалуй, самая важная и зрелая его работа ». |
1990 | Александр Разборов | |
1994 | Ави Вигдерсон | |
1998 | Питер Шор | |
2002 | Мадху Судан | |
2006 | Джон Кляйнберг | |
2010 | Дэниел Спилман | |
2014 | Субхаш Хот | «За дальновидное определение проблемы« Уникальных игр », и руководить усилиями по пониманию его сложности и его ключевой роли в изучении эффективного приближения задач оптимизации; его работа привела к прорывам в алгоритмическом дизайне и сложности аппроксимации, а также к новым захватывающим взаимодействиям между вычислительной сложностью, анализом и геометрией ». |
2018 | Константинос Даскалакис | « Для преобразования нашего понимания вычислительной сложности фундаментальных проблемы на рынках, аукционах, равновесиях и других экономических структурах. Его работа обеспечивает как эффективные алгоритмы, так и ограничения на то, что может быть эффективно выполнено в этих областях. " |
.