Лекция Гёделя

Лекция Гёделя — это почетное звание в области математической логики , присуждаемое Ассоциацией символической логики , связанное с ежегодной лекцией на общем собрании ассоциации. Премия названа в честь Курта Гёделя и вручается ежегодно с 1990 года. ^[1]^[2]

Лауреаты премии

Список лауреатов и названий лекций поддерживается в Интернете Ассоциацией символической логики. ^[3]

1990 Рональд Дженсен , Внутренние модели и большие кардиналы.
1991 Дэна Скотт , Будут ли логики заменены машинами?
1992 Джозеф Р. Шоенфилд , Метод приоритетов.
1993 Ангус Макинтайр , Логика вещественного и p-адического анализа: достижения и проблемы.
1994 Дональд А. Мартин , L(R): Обзор.
1995 Лео Харрингтон , Гёдель, Хайдеггер и прямое восприятие (или почему я теоретик рекурсии).
1996 Сахарон Шелах , Категоричность без компактности.
1997 Соломон Феферман , Занятия и интересы, связанные с Гёделем: его *труды* и работа.
1998 Александр С. Кехрис , Современные тенденции в дескриптивной теории множеств.
1999 Стивен Кук , Логика и вычислительная сложность.
2000 Джон Барвайз — отменено из-за смерти докладчика. ^[4]
2001 Теодор Сламан , Теория рекурсии.
2002 Харви Фридман , Проблемы оснований математики.
2003 Борис Зильбер , Категоричность.
2004 Майкл О. Рабин , Доказательства, убеждения и случайность в математике.
2005 Менахем Магидор , Теоремы Скулема-Лёвенгейма для обобщенных логик.
2006 Пер Мартин-Лёф , Два слоя логики.
2007 Эхуд Грушовский — в его отсутствие Т.М. Скэнлон прочитал лекцию о своей работе под названием «Теория алгебраических моделей» . ^[5]
2008 В. Хью Вудин , Гипотеза континуума, гипотеза и внутренняя модельная проблема одного суперкомпактного кардинала. $\Омега$
2009 Ричард Шор , Обратная математика: игровая площадка логики.
2010 Александр Разборов , Сложность пропозициональных доказательств.
2011 Ананд Пиллэй , Теории первого порядка.
2012 Джон Р. Стил , Наследственно порядковые определимые множества в моделях определенности.
2013 Кит Файн , Семантика Truthmaker.
2014 Джулия Ф. Найт , Теория вычислимых структур и формулы специальных форм.
2015 Алекс Уилки , Комплексные продолжения функций, определяемых в с помощью диофантова приложения. $\mathbb {R} _{an,exp}$
2016 Стево Тодорчевич , Базисные задачи в теории множеств.
2017 Чарльз Парсонс (философ) , Гёдель и вселенная множеств.
2018 Род Дауни , Алгоритмическая случайность.
2019 Сэмюэль Басс , Тотальность, доказуемость и осуществимость.
2020 Элизабет Бускарен , Вездесущность конфигураций в теории моделей.
2021 Мэтью Форман , Диффеоморфизмы Гёделя.
2022 Патрисия Бланшетт , Формализм в логике.
2023 Карл Йокуш , От алгоритмов, которые успешно работают с большим набором входных данных, к степеням Тьюринга как метрическому пространству.

Смотрите также

Ссылки

^ Кехрис, Александр С. (1991). "Ежегодное собрание Ассоциации символической логики: Беркли, 1990". Журнал символической логики . 56 (1): 361–371. doi :10.2307/2274945. ISSN 0022-4812. Кроме того, в этом году была открыта лекция Гёделя, новая функция ежегодных собраний ASL. Первую лекцию Гёделя прочитал Рональд Йенсен, который говорил о внутренних моделях и больших кардиналах.
^ "Ежегодное собрание Ассоциации символической логики". Журнал символической логики . 57 (1): 352–365. 1992. doi :10.2307/2275205. ISSN 0022-4812. Дана Скотт прочитала вторую ежегодную лекцию Гёделя под названием « Заменят ли логиков машины?»
^ "Gödel Lecturers – Association for Symbolic Logic" . Получено 2023-05-31 .
^ "Ежегодное собрание Ассоциации символической логики 2000 года". Бюллетень символической логики . 6 (3): 361–396. 2000. doi :10.2307/421070. ISSN 1079-8986.
^ "Ежегодное собрание Ассоциации символической логики 2007 года". Бюллетень символической логики . 13 (3): 386–408. 2007. ISSN 1079-8986.

Внешние ссылки

Официальный сайт Архивировано 08.11.2021 на Wayback Machine