Ассоциация символической логики

Ассоциация символической логики

Аббревиатура	АМЖ
Формирование	1936
Тип	Научное общество
Цель	Исследование , Запрос
Штаб-квартира	Сторрс, Коннектикут
Президент	Фокион Колаитис
вице-президент	Наташа Добринен
Сосекретарь-казначей	Рассел Г. Миллер
Сосекретарь-казначей	Рид Соломон
Веб-сайт	aslonline.org

Ассоциация символической логики ( ASL ) — международная организация специалистов по математической логике и философской логике . ASL была основана в 1936 году, а ее первым президентом был Курт Джон Дюкасс . Действующим президентом ASL является Фокион Колайтис . ^[1]

ASL публикует книги и научные журналы . Его три официальных журнала:

• Журнал символической логики – публикует исследования во всех областях математической логики. Основан в 1936 году, ISSN  0022-4812.
• Bulletin of Symbolic Logic – публикует в основном обзорные статьи и обзоры. Основан в 1995 году, ISSN  1079-8986.
• Review of Symbolic Logic – публикует исследования, касающиеся логики, философии, науки и их взаимодействия. Основан в 2008 году, ISSN  1755-0203.

Кроме того, ASL спонсирует журнал:

• Журнал «Logic and Analysis» публикует исследования по взаимодействию математической логики с чистым и прикладным анализом. Основан в 2009 году как преемник журнала Springer «Logic and Analysis» с открытым доступом . ISSN  1759-9008.

Организация сыграла свою роль в публикации собрания сочинений Курта Гёделя . ^[2]

Конспекты лекций по логике ^[3]

Перспектива в логике ^[4]

Математическая логика Джозефа Р. Шоенфилда ^[5]

Серия лекций Гёделя — это серия ежегодных лекций на американском языке жестов, которая ведёт свою историю с 1990 года. ^[6]

Тридцать пятая Гёделевская лекция 2024 г.

Томас Скэнлон, (Не)разрешимость в полях

Тридцать четвертая Гёделевская лекция 2023 г.

Карл Йокуш , От алгоритмов, которые успешно работают на большом наборе входных данных, к степеням Тьюринга как метрическому пространству

Тридцать третья Гёделевская лекция 2022 г.

Патрисия Бланшетт , Формализм в логике

Тридцать вторая Гёделевская лекция 2021 г.

Мэтью Форман , Диффеоморфизмы Гёделя

Тридцать первая лекция Гёделя 2020 г.

Элизабет Бускарен , Вездесущность конфигураций в теории моделей

Тридцатая Гёделевская лекция 2019 г.

Сэм Басс , Тотальность, Доказуемость и Осуществимость

Двадцать девятая ежегодная лекция Гёделя 2018 г.

Род Дауни , Алгоритмическая случайность

Двадцать восьмая ежегодная лекция Гёделя 2017 г.

Чарльз Парсонс , Гёдель и вселенная множеств

Двадцать седьмая ежегодная лекция Гёделя 2016 г.

Стево Тодорчевич , Базисные проблемы в теории множеств

Двадцать шестая ежегодная лекция Гёделя 2015 г.

Алекс Уилки , Комплексные продолжения функций, определяемых в с помощью диофантового приложения${\displaystyle \mathbb {R} _{an,exp}}$

Двадцать пятая ежегодная лекция Гёделя 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 году, Лекция Гёделя — это честь быть докладчиком на ежегодном собрании ассоциации. Премия названа в честь Курта Гёделя .

Полный список докладчиков см. в разделе «Серия лекций Гёделя» выше.

• веб-сайт на американском языке
• Журнал символической логики
• Обзор символической логики
• Журнал логики и анализа