Ассоциация символической логики ( ASL ) — международная организация специалистов по математической логике и философской логике . ASL была основана в 1936 году, а ее первым президентом был Курт Джон Дюкасс . Действующим президентом ASL является Фокион Колайтис . [1]
ASL публикует книги и научные журналы . Его три официальных журнала:
Кроме того, ASL спонсирует журнал:
Организация сыграла свою роль в публикации собрания сочинений Курта Гёделя . [2]
Конспекты лекций по логике [3]
Перспектива в логике [4]
Математическая логика Джозефа Р. Шоенфилда [5]
Серия лекций Гёделя — это серия ежегодных лекций на американском языке жестов, которая ведёт свою историю с 1990 года. [6]
Тридцать пятая Гёделевская лекция 2024 г.
Томас Скэнлон, (Не)разрешимость в полях
Тридцать четвертая Гёделевская лекция 2023 г.
Карл Йокуш , От алгоритмов, которые успешно работают на большом наборе входных данных, к степеням Тьюринга как метрическому пространству
Тридцать третья Гёделевская лекция 2022 г.
Патрисия Бланшетт , Формализм в логике
Тридцать вторая Гёделевская лекция 2021 г.
Мэтью Форман , Диффеоморфизмы Гёделя
Тридцать первая лекция Гёделя 2020 г.
Элизабет Бускарен , Вездесущность конфигураций в теории моделей
Тридцатая Гёделевская лекция 2019 г.
Сэм Басс , Тотальность, Доказуемость и Осуществимость
Двадцать девятая ежегодная лекция Гёделя 2018 г.
Род Дауни , Алгоритмическая случайность
Двадцать восьмая ежегодная лекция Гёделя 2017 г.
Чарльз Парсонс , Гёдель и вселенная множеств
Двадцать седьмая ежегодная лекция Гёделя 2016 г.
Стево Тодорчевич , Базисные проблемы в теории множеств
Двадцать шестая ежегодная лекция Гёделя 2015 г.
Алекс Уилки , Комплексные продолжения функций, определяемых в с помощью диофантового приложения
Двадцать пятая ежегодная лекция Гёделя 2014 г.
Джулия Ф. Найт , Теория вычислимых структур и формулы специальных форм
Двадцать четвертая ежегодная лекция Гёделя 2013 г.
Кит Файн , сематика Truthmaker
Двадцать третья ежегодная лекция Гёделя 2012 г.
Джон Стил , Наследственно порядковые определимые множества в моделях определенности
Двадцать вторая ежегодная лекция Гёделя 2011 г.
Ананд Пиллэй , Теории первого порядка
Двадцать первая ежегодная лекция Гёделя 2010 г.
Александр Разборов , Сложность пропозициональных доказательств
Двадцатая ежегодная лекция Гёделя 2009 г.
Ричард Шор , Обратная математика: игровая площадка логики
Девятнадцатая ежегодная лекция Гёделя 2008 г.
В. Хью Вудин , Гипотеза континуума, гипотеза $\Omega$ и внутренняя модельная проблема одного суперкомпактного кардинала
Восемнадцатая ежегодная лекция Гёделя 2007 г.
Эхуд Грушовский (лекция о его творчестве, прочитанная в его отсутствие Томасом Скэнлоном )
Семнадцатая ежегодная лекция Гёделя 2006 г.
Пер Мартин-Лёф , Два слоя логики
Шестнадцатая ежегодная лекция Гёделя 2005 г.
Менахем Магидор , Теоремы Скулема-Лёвенгейма для обобщенных логик
Пятнадцатая ежегодная лекция Гёделя 2004 г.
Майкл О. Рабин , Доказательства, убеждения и случайность в математике
Четырнадцатая ежегодная лекция Гёделя 2003 г.
Борис Зильбер , Категоричность
Тринадцатая ежегодная лекция Гёделя 2002 г.
Харви Фридман , Проблемы оснований математики
Двенадцатая ежегодная лекция Гёделя 2001 г.
Теодор А. Сламан , Теория рекурсии
Одиннадцатая ежегодная лекция Гёделя 2000 г.
Джон Барвайз (Отменено из-за смерти докладчика)
Десятая ежегодная лекция Гёделя 1999 г.
Стивен А. Кук , Логика и вычислительная сложность
Девятая ежегодная лекция Гёделя 1998 г.
Александр С. Кехрис , Современные тенденции в дескриптивной теории множеств
Восьмая ежегодная лекция Гёделя 1997 г.
1997 Соломон Феферман , Занятия и интересы Гёделя: Его*Труды* и работа
Седьмая ежегодная лекция Гёделя 1996 г.
1996 Сахарон Шелах , Категоричность без компактности
Шестая ежегодная лекция Гёделя 1995 г.
1995 Лео Харрингтон , Гёдель, Хайдеггер и прямое восприятие (или почему я теоретик рекурсии)
Пятая ежегодная лекция Гёделя 1994 г.
1994 Дональд А. Мартин , слева направо: Обзор
Четвертая ежегодная лекция Гёделя 1993 г.
1993 Ангус Макинтайр , Логика вещественного и p-адического анализа: достижения и проблемы
Третья ежегодная лекция Гёделя 1992 г.
1992 Джозеф Р. Шоенфилд , Метод приоритетов
Вторая ежегодная лекция Гёделя 1991 г.
1991 Дэна Скотт , Будут ли логики заменены машинами?
Первая ежегодная лекция Гёделя 1990 г.
1990 Рональд Дженсен , Внутренние модели и большие кардиналы
ASL проводит два основных собрания каждый год: одно в Северной Америке и одно в Европе (последнее известно как Logic Colloquium ). Кроме того, ASL регулярно проводит совместные собрания с Американским математическим обществом («AMS») и Американской философской ассоциацией («APA»), а также ежегодно спонсирует собрания во многих странах.
[7]
Ассоциация периодически вручает ряд премий и наград. [8]
Премия Карпа присуждается ассоциацией каждые пять лет за выдающуюся работу или книгу в области символической логики. Она представляет собой денежное вознаграждение и была учреждена в 1973 году в память о профессоре Кэрол Карп . [9]
Премия Сакса присуждается за самую выдающуюся докторскую диссертацию по математической логике. Она представляет собой денежное вознаграждение и была учреждена в 1999 году в честь профессора Джеральда Сакса из Массачусетского технологического института и Гарварда.
Получатели включают: [10]
Премия Шенфилда, учрежденная в 2007 году, присуждается каждые три года в двух номинациях: книга и статья, в знак признания выдающихся научных трудов в области логики и в честь Джозефа Р. Шенфилда . [11]
Получатели включают:
Учрежденная в 1990 году, Лекция Гёделя — это честь быть докладчиком на ежегодном собрании ассоциации. Премия названа в честь Курта Гёделя .
Полный список докладчиков см. в разделе «Серия лекций Гёделя» выше.
