Медаль ИДУ «Абакус»
Медаль IMU Abacus , известная до 2022 года как Премия Рольфа Неванлинны , [1] присуждается раз в четыре года на Международном конгрессе математиков , организованном Международным математическим союзом (IMU), за выдающийся вклад в математические аспекты информационных наук, включая:
- Все математические аспекты информатики , включая теорию сложности вычислений , логику языков программирования , анализ алгоритмов , криптографию , компьютерное зрение , распознавание образов , обработку информации и моделирование интеллекта.
- Научные вычисления и численный анализ . Вычислительные аспекты теории оптимизации и управления . Компьютерная алгебра .
Премия учреждена в 1981 году Исполнительным комитетом Международного математического союза и названа в честь финского математика Рольфа Неванлинны . Он состоит из золотой медали и денежного приза. Премия предназначена для молодых ученых-теоретиков в области информатики, и право на нее имеют только те, кто моложе 40 лет на 1 января, в год вручения награды. [2] Она вручается наряду с другими наградами IMU, включая Медаль Филдса . [3]
Мы
[ редактировать ]Первоначально премия была названа в честь финского математика Рольфа Неванлинны , который умер за год до учреждения премии в 1981 году. На медали был изображен профиль Неванлинны, текст «Премия Рольфа Неванлинны» и очень маленькие символы «RH 83». лицевой. RH ссылается на Раймо Хейно , создателя медали, а 83 — на год первой чеканки. На реверсе две фигуры, связанные с Хельсинкским университетом выгравированы , спонсором премии. На ободе указано имя лауреата. [4]
Александр Сойфер , президент Всемирной федерации национальных математических соревнований, пожаловался на вручение премии Неванлинне, поскольку он был сторонником Гитлера и выступал в качестве представителя финского добровольческого батальона Ваффен-СС во время Второй мировой войны. Сойфер рассказал о деятельности Неванлинны во время войны в книге 2015 года и направил свои личные запросы и запросы своей организации в Исполнительный комитет ИДУ об изменении названия премии. [5] [6] В июле 2018 года 18-я Генеральная ассамблея ИДУ решила исключить имя Рольфа Неванлинны из премии. [7] Позже было объявлено, что награда будет называться Медалью IMU Abacus. [1]
Лауреаты
[ редактировать ]| Год | Лауреат | Причины |
|---|---|---|
| 1982 | Роберт Тарьян | «Получил первую премию Неванлинны за выдающийся вклад в математические аспекты информатики. «Чистая математика наслаждается роскошью изучения своих конструкций, конечных или бесконечных, при полной независимости от всех вопросов эффективности», — объяснил Джейкоб Шварц, говоря о Тарьяне. «Напротив, теоретическая информатика должна, в конечном счете, заниматься вычислительными машинами, которые работают с ограниченной скоростью и хранилищем данных, и поэтому должна рассматривать эффективность как одну из своих главных задач. Из этой неизбежной проблемы вытекают два тесно связанных вида деятельности: разработка алгоритмов и анализ алгоритмов». [8] |
| 1986 | Лесли Валиант | «Валиант внес решающий вклад в рост почти каждой ветви быстро растущего молодого дерева теоретической информатики, его теория задач счета является, пожалуй, его самой важной и зрелой работой». [9] |
| 1990 | Alexander Razborov | «За новаторскую работу по нижним оценкам сложности схем». [10] |
| 1994 | Ави Вигдерсон | «За выдающуюся работу по математическим основам информатики. К объектам исследований там относятся, например, поиск эффективных методов решения сложных задач, а также верхних и нижних границ вычислительных усилий для некоторых задач. Вигдерсон внес значительный вклад к пониманию парадоксального термина «интерактивные доказательства с нулевым разглашением». [11] |
| 1998 | Питер Шор | «За выдающуюся работу по квантовым вычислениям и, в частности, за вывод алгоритма Шора ». |
| 2002 | Мадху Судан | «За важный вклад в несколько областей теоретической информатики, включая вероятностно проверяемые доказательства, неаппроксимируемость задач оптимизации и коды, исправляющие ошибки». |
| 2006 | Джон Кляйнберг | «За глубокий, творческий и проницательный вклад в математическую теорию глобальной информационной среды, включая влиятельный алгоритм «концентраторов и авторитетов»; методы обнаружения коротких цепочек в крупных социальных сетях; методы моделирования, идентификации и анализа всплесков потоков данных». теоретические модели роста сообщества в социальных сетях и вклад в математическую теорию кластеризации». |
| 2010 | Дэниел Спилман [12] | «Для сглаженного анализа линейного программирования, алгоритмов кодов на основе графов и приложений теории графов к численным вычислениям». |
| 2014 | Subhash Khot [13] | «За дальновидное определение проблемы «Уникальные игры» и руководство усилиями по пониманию ее сложности и ключевой роли в изучении эффективной аппроксимации задач оптимизации; его работа привела к прорывам в разработке алгоритмов и сложности аппроксимации, а также за новые захватывающие взаимодействия между вычислительной сложностью, анализом и геометрией». [14] |
| 2018 | Константинос Даскалакис [15] | «За изменение нашего понимания вычислительной сложности фундаментальных проблем на рынках, аукционах, равновесиях и других экономических структурах. Его работа предлагает как эффективные алгоритмы, так и ограничения на то, что можно эффективно выполнять в этих областях». [16] |
| 2022 | Марк Браверман | «За новаторские исследования по разработке теории сложности информации, основы для использования теории информации для рассуждений о протоколах связи. Его работа привела к созданию теорем прямой суммы, дающих нижние границы амортизируемой связи, изобретательным методам сжатия протоколов и новым интерактивным технологиям. протоколы связи, устойчивые к шуму». [17] |
См. также
[ редактировать ]- Премия Тьюринга
- Премия Кнута
- Премия Гёделя
- Премия Абеля
- Премия Калинга
- Медаль Филдса
- Премия Гаусса
- Chern Medal
- Премия Шока
- Премия Вольфа
- Список наград в области информатики
- Список наград по математике
Примечания
[ редактировать ]- ^ Jump up to: а б Стеклз, Кэти (23 мая 2019 г.). «Медаль ИДУ Счеты» . Блог Гейдельбергского форума лауреатов. спектр науки .
- ^ «Премия Рольфа Неванлинны» . Международный математический союз. 07.09.2004. Архивировано из оригинала 13 мая 2008 г. Проверено 30 января 2007 г.
- ^ «Награды, премии и специальная лекция IMU» . Международный математический союз . Проверено 14 сентября 2020 г.
- ^ Лехто, Олли (12 августа 1998 г.). «История премии Рольфа Неванлинны» . Международный математический союз. Архивировано из оригинала 13 мая 2008 года . Проверено 30 января 2007 г.
- ^ «Тайная жизнь Международного математического союза» . Александр Сойфер. 01.07.2017.
- ^ Сойфер, Александр (2015). Ученый и государство: В поисках Ван дер Вардена (1-е изд.). Базель: Биркхойзер. стр. 189, 286–288. дои : 10.1007/978-3-0348-0712-8 . ISBN 978-3-0348-0711-1 .
- ^ «Резолюции Генеральной Ассамблеи ИДУ 2018 г. – Резолюция 7» (PDF) . Международный математический союз . Проверено 12 марта 2019 г.
- ^ «Медали Филдса и премия Неванлинны 1982 года» . mathunion.org . Международный математический союз. "
- ^ «Медали Филдса и премия Неванлинны 1986 года» . mathunion.org . Международный математический союз. "
- ^ «Премия Неванлинны 1990» . Международный математический союз . Проверено 5 июля 2022 г.
- ^ Вигдерсон - Премия Неванлинны 1994 г.
- ^ Живое видео ICM 2010. Архивировано 18 августа 2010 г. на Wayback Machine.
- ^ «Премия Рольфа Неванлинны 2014» . mathunion.org .
- ^ «Премия Рольфа Неванлинны 2014» . mathunion.org . Международный математический союз. "
- ^ «Премия Рольфа Неванлинны 2018» . mathunion.org .
- ^ «Премия Рольфа Неванлинны 2018» . mathunion.org . Международный математический союз. "
- ^ «Медаль Абакус 2022» . Международный математический союз . 2022 . Проверено 5 июля 2022 г.
Внешние ссылки
[ редактировать ]- Медаль IMU Abacus - Официальный сайт
- Премии Рольфа Неванлинны – Официальный сайт
 | Эта статья о научных наградах незавершена . Вы можете помочь Википедии, расширив ее . |