Лекция Гёделя
Лекция Гёделя — это награда в области математической логики, вручаемая Ассоциацией символической логики , связанная с ежегодной лекцией на общем собрании ассоциации. Премия названа в честь Курта Гёделя и вручается ежегодно с 1990 года. [ 1 ] [ 2 ]
Лауреаты премии
[ редактировать ]Список лауреатов премии и названий лекций поддерживается в Интернете Ассоциацией символической логики. [ 3 ]
- 1990 Рональд Дженсен , Внутренние модели и большие кардиналы.
- 1991 Дана Скотт , Будут ли логики заменены машинами?
- 1992 Джозеф Р. Шонфилд , Метод приоритетов.
- 1993 Ангус Макинтайр , Логика реального и p-адического анализа: достижения и проблемы.
- 1994 Дональд А. Мартин , слева (справа): обзор.
- 1995 Лео Харрингтон , Гёдель, Хайдеггер и прямое восприятие (или «Почему я теоретик рекурсии»).
- 1996 Сахарон Шелах , Категоричность без компактности.
- 1997 Соломон Феферман , Занятия и озабоченность Гёделем: его *работы* и работа.
- 1998 Александр С. Кекрис , Современные тенденции в описательной теории множеств.
- 1999 Стивен Кук , Логика и вычислительная сложность.
- 2000 Джон Барвайз — отменено из-за смерти спикера. [ 4 ]
- 2001 Теодор Сламан , Теория рекурсии.
- 2002 Харви Фридман , Проблемы оснований математики.
- 2003 Борис Зильбер , Категоричность.
- 2004 Майкл О. Рабин , Доказательства, убеждения и случайность в математике.
- 2005 Менахем Магидор , Теоремы Сколема-Ловенгейма для обобщенной логики.
- 2006 Пер Мартин-Лёф , Два уровня логики.
- 2007 г. Эхуд Грушовски - лекция по его работе « Теория алгебраических моделей» была прочитана Т.М. Скэнлоном в его отсутствие. [ 5 ]
- 2008 У. Хью Вудин , Гипотеза континуума, Гипотеза и внутренняя модельная проблема одного сверхкомпактного кардинала.
- 2009 Ричард Шор , Обратная математика: игровая площадка логики.
- 2010 Александр Разборов , Сложность доказательств высказываний.
- 2011 Ананд Пиллэй , Теории первого порядка.
- 2012 Джон Р. Стил , Наследственно порядковые определяемые множества в моделях детерминированности.
- 2013 Кит Файн , Семантика Truthmaker.
- 2014 Джулия Ф. Найт , Теория вычислимых структур и формулы специальных форм.
- 2015 Алекс Уилки , Комплексные продолжения функций, определяемых в с диофантовым приложением.
- 2016 Стево Тодорчевич , Базисные задачи в теории множеств.
- 2017 Чарльз Парсонс (философ) , Гёдель и вселенная множеств.
- 2018 Род Дауни , Алгоритмическая случайность.
- 2019 Сэмюэл Басс , Тотальность, доказуемость и осуществимость.
- 2020 Элизабет Бускарен , Повсеместное распространение конфигураций в теории моделей.
- 2021 Мэтью Форман , Диффеоморфизмы Гёделя.
- 2022 Патрисия Бланшетт , Формализм в логике.
- 2023 Карл Йокуш , От алгоритмов, успешно обрабатывающих большой набор входных данных, к степеням Тьюринга как метрическому пространству.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Кекрис, Александр С. (1991). «Ежегодное собрание Ассоциации символической логики: Беркли, 1990» . Журнал символической логики . 56 (1): 361–371. дои : 10.2307/2274945 . ISSN 0022-4812 .
Кроме того, в этом году была открыта лекция Гёделя, новое мероприятие ежегодных собраний ASL. Первую лекцию по Гёделю прочитал Рональд Йенсен, который говорил о внутренних моделях и больших кардиналах.
- ^ «Ежегодное собрание Ассоциации символической логики» . Журнал символической логики . 57 (1): 352–365. 1992. дои : 10.2307/2275205 . ISSN 0022-4812 .
Дана Скотт прочитала вторую ежегодную лекцию в Гёделе под названием « Будут ли логики заменены машинами?»
- ^ «Лекторы Гёделя – Ассоциация символической логики» . Проверено 31 мая 2023 г.
- ^ «Ежегодное собрание Ассоциации символической логики 2000 г.» . Бюллетень символической логики . 6 (3): 361–396. 2000. дои : 10.2307/421070 . ISSN 1079-8986 .
- ^ «Ежегодное собрание Ассоциации символической логики 2007 г.» . Бюллетень символической логики . 13 (3): 386–408. 2007. ISSN 1079-8986 .
Внешние ссылки
[ редактировать ]- Официальный сайт. Архивировано 8 ноября 2021 г. на Wayback Machine.