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

Лекция Гёделя — это награда в области математической логики, вручаемая Ассоциацией символической логики , связанная с ежегодной лекцией на общем собрании ассоциации. Премия названа в честь Курта Гёделя и вручается ежегодно с 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 У. Хью Вудин , Гипотеза континуума, $\Omega$ Гипотеза и внутренняя модельная проблема одного сверхкомпактного кардинала.
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. дои : 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.

[1] Кекрис, Александр С. (1991). «Ежегодное собрание Ассоциации символической логики: Беркли, 1990» . Журнал символической логики . 56 (1): 361–371. дои : 10.2307/2274945 . ISSN 0022-4812 . Кроме того, в этом году была открыта лекция Гёделя, новое мероприятие ежегодных собраний ASL. Первую лекцию по Гёделю прочитал Рональд Йенсен, который говорил о внутренних моделях и больших кардиналах.

[2] «Ежегодное собрание Ассоциации символической логики» . Журнал символической логики . 57 (1): 352–365. 1992. дои : 10.2307/2275205 . ISSN 0022-4812 . Дана Скотт прочитала вторую ежегодную лекцию в Гёделе под названием « Будут ли логики заменены машинами?»

[3] «Лекторы Гёделя – Ассоциация символической логики» . Проверено 31 мая 2023 г.

[4] «Ежегодное собрание Ассоциации символической логики 2000 г.» . Бюллетень символической логики . 6 (3): 361–396. 2000. дои : 10.2307/421070 . ISSN 1079-8986 .

[5] «Ежегодное собрание Ассоциации символической логики 2007 г.» . Бюллетень символической логики . 13 (3): 386–408. 2007. ISSN 1079-8986 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]