Ассоциация символической логики
 | |
| Аббревиатура | АСЛ |
|---|---|
| Формирование | 1936 |
| Тип | Научное общество |
| Цель | Исследования , Запрос |
| Штаб-квартира | Сторрс, Коннектикут |
Президент | Фокион Колайтис |
вице-президент | Наташа Добринен |
Со-секретарь-казначей | Рассел Дж. Миллер |
Со-секретарь-казначей | Рид Соломон |
| Веб-сайт | aslonline |
Ассоциация символической логики ( ASL ) — международная организация специалистов в области математической логики и философской логики . ASL была основана в 1936 году, а ее первым президентом был Курт Джон Дюкасс . Нынешний президент ASL — Фокион Колайтис . [1]
Публикации
[ редактировать ]ASL издает книги и научные журналы . Его три официальных журнала:
- Журнал символической логики – публикует исследования во всех областях математической логики. Основанная в 1936 году, ISSN 0022-4812 .
- Бюллетень символической логики - публикует в основном разъяснительные статьи и обзоры. Основанная в 1995 году, ISSN 1079-8986 .
- Обзор символической логики - публикует исследования, касающиеся логики, философии, науки и их взаимодействия. Основанная в 2008 году, ISSN 1755-0203 .
Кроме того, у ASL есть спонсируемый журнал:
- Журнал логики и анализа публикует исследования о взаимодействии математической логики и чистого и прикладного анализа. Основан в 2009 году как с открытым доступом преемник журнала Springer Logic and Analysis . ISSN 1759-9008 .
Организация сыграла роль в публикации собрания сочинений Курта Гёделя . [2]
Серия книг
[ редактировать ]Конспекты лекций по логике [3]
Перспектива в логике [4]
Книги
[ редактировать ]Математическая логика Джозефа Р. Шенфилда [5]
Серия лекций по Гёделю
[ редактировать ]Серия лекций Гёделя — это серия ежегодных лекций ASL, начиная с 1990 года. [6]
Тридцать четвертая гёдельская лекция 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»), а также ежегодно спонсирует встречи во многих разных странах.
Список президентов
[ редактировать ]| Имя | Срок полномочий | |
|---|---|---|
| 1-й президент | Курт Джон Дюкасс | 1936–1937 |
| 2-й президент | Хаскелл Карри | 1938–1940 |
| 3-й президент | Купер Гарольд Лэнгфорд | 1941–1943 |
| 4-й президент | Альфред Тарский | 1944–1946 |
| 5-й президент | Эрнест Нагель | 1947–1949 |
| 6-й президент | Дж. Баркли Россер | 1950–1952 |
| 7-й президент | Уиллард Ван Орман Куайн | 1953–1955 |
| 8-й президент | Стивен Коул Клини | 1956–1958 |
| 9-й президент | Фредерик Фитч | 1959–1961 |
| 10-й президент | Дух Леона | 1962–1964 |
| 11-й президент | Уильям Крейг | 1965–1967 |
| 12-й президент | Авраам Робинсон | 1968–1970 |
| 13-й президент | Дана Скотт | 1971–1973 |
| 14-й президент | Джозеф Р. Шонфилд | 1974–1976 |
| 15-й президент | Хилари Патнэм | 1977–1979 |
| 16-й президент | Соломон Феферман | 1980–1982 |
| 17-й президент | Рут Баркан Маркус | 1983–1985 |
| 18-й президент | Майкл Морли | 1986–1988 |
| 19-й президент | Чарльз Парсонс | 1989–1991 |
| 20-й президент | Яннис Мошовакис | 1992–1994 |
| 21-й президент | Джордж Булос | 1995–1996 |
| 22-й президент | Менахем Магидор | 1996–1997 |
| 23-й президент | Дональд А. Мартин | 1998–2000 |
| 24-й президент | Ричард Шор | 2001–2003 |
| 25-й президент | Александр Кехрис | 2004–2006 |
| 26-й президент | Пенелопа Мэдди | 2007–2009 |
| 27-й президент | Алекс Уилки | 2010–2012 |
| 28-й президент | Александр Уркарт | 2013–2015 |
| 29-й президент | Ульрих Коленбах | 2016–2018 |
| 30-й президент | Джулия Найт | 2019–2021 |
| 31-й президент | Фокион Колайтис | 2022–2024 |
Награды
[ редактировать ]Ассоциация периодически вручает ряд премий и наград. [8]
Премия Карпа
[ редактировать ]Премия Карпа присуждается ассоциацией каждые пять лет за выдающуюся статью или книгу в области символической логики. Она состоит из денежной премии и учреждена в 1973 году в память о профессоре Кэрол Карп . [9]
| Год | Получатель(и) |
|---|---|
| 1978 | Роберт Воот , Калифорнийский университет, Беркли |
| 1983 | Сахарон Шелах , Еврейский университет |
| 1988 | Дональд А. Мартин , Калифорнийский университет в Лос-Анджелесе; Джон Р. Стил , Калифорнийский университет в Лос-Анджелесе; У. Хью Вудин , Калифорнийский университет, Беркли |
| 1993 | Эхуд Грушовски , Массачусетский технологический институт и Алекс Уилки , Оксфорд |
| 1998 | Эхуд Грушовски , Еврейский университет |
| 2003 | Грегори Хьёрт , Калифорнийский университет в Лос-Анджелесе и Александр Кекрис , Калифорнийский технологический институт |
| 2008 | Злил Села , Еврейский университет |
| 2013 | Моти Гитик , Тель-Авивский университет; Яаков Петерзил , Хайфский университет; Джонатан Пила , Оксфордский университет; Сергей Старченко , Университет Нотр-Дам; Алекс Уилки , Манчестерский университет |
| 2018 | Маттиас Ашенбреннер , Калифорнийский университет в Лос-Анджелесе; Лу ван ден Дрис , Университет Иллинойса в Урбане-Шампейне; Йорис ван дер Хувен , Политехническая школа |
Премия Сакса
[ редактировать ]Премия Сакса присуждается за наиболее выдающуюся докторскую диссертацию в области математической логики. Она представляет собой денежную премию и была учреждена в 1999 году в честь профессора Джеральда Сакса из Массачусетского технологического института и Гарварда.
Среди получателей: [10]
| Год | Получатель(и) |
|---|---|
| 1994 | Грегори Хьёрт |
| 1995 | Славомир Солецкий |
| 1996 | Бюнхан Ким |
| 1997 | Илияс Фарах и Томас Скэнлон |
| 1998 | приз не присуждается |
| 1999 | Денис Хиршфельдт и Рене Шипперус |
| 2000 | Эрик Джалиго |
| 2001 | Маттиас Ашенбреннер |
| 2002 | приз не присуждается |
| 2003 | Итай Бен Яаков |
| 2004 | Джозеф Милети и Натан Сегерлинд |
| 2005 | Антонио Монтальбан |
| 2006 | Маттео Виале |
| 2007 | Адриен Делоро и Войцех Мочидловски |
| 2008 | Инесса Эпштейн и Дилип Рагхаван |
| 2009 | Исаак Голдбринг и Григор Саргсян |
| 2010 | Ури Эндрюс |
| 2011 | Минчжун Цай и Адам Дэй |
| 2012 | Питер Саймон |
| 2013 | Артем Черников и Натанаэль Мариоль |
| 2014 | приз не присуждается |
| 2015 | Омер Бен-Нерия и Мартино Лупини |
| 2016 | Уильям Джонсон и Людовик Пэти |
| 2017 | Мэттью Харрисон-Трейнор и Себастьен Васи |
| 2018 | Дэнни Нгуен |
| 2019 | Габриэль Голдберг |
| 2020 | Джеймс Уолш |
| 2021 | Маркос Мазари Армида |
| 2022 | Франческо Галлинаро и Патрик Лутц |
| 2023 | Андреас Литц и Скотт Мучник |
Премия Шоенфилда
[ редактировать ]Премия Шоенфилда, учрежденная в 2007 году, вручается каждые три года в двух категориях: книги и статьи, в знак признания выдающихся разъяснительных работ в области логики и в честь имени Джозефа Р. Шенфилда . [11]
Среди получателей:
| Год | Получатель(и) |
|---|---|
| 2007 | Джон П. Берджесс (книга); Богуслав Бальчар и Томас Йех (статья) |
| 2010 | Джон Т. Болдуин (книга); Род Дауни, Денис Хиршфельдт, Андре Нис и Себастьян Тервейн (статья) |
| 2013 | Стево Тодорчевич (книга); Итай Бен Яаков, Александр Беренштейн, К. Уорд Хенсон и Александр Усвятов (статья) |
| 2016 | Род Дауни и Денис Хиршфельдт (книга); Лу ван ден Дрис (статья) |
| 2019 | Пьер Симон (книга); Джон Стил (статья) |
| 2022 | Паоло Манкосу, Серджио Гальван и Ричард Зак (книга); Васко Браттка (статья) |
Лекция Гёделя
[ редактировать ]Гёдельская лекция, открытая в 1990 году, удостоена чести выступать на ежегодном собрании ассоциации. Премия носит имя Курта Гёделя .
Полный список докладчиков см. в серии лекций Гёделя выше.
Ссылки
[ редактировать ]- ^ «Члены советов, комитетов и представителей – Ассоциация символической логики» . Ассоциация символической логики. Архивировано из оригинала 4 мая 2023 года . Проверено 4 мая 2023 г.
- ^ «Лекторы Гёделя - Ассоциация символической логики» . Архивировано из оригинала 22 декабря 2019 года . Проверено 21 февраля 2019 г.
- ^ «Конспекты лекций по логике - Ассоциация символической логики» . Архивировано из оригинала 29 февраля 2024 года . Проверено 29 февраля 2024 г.
- ^ «Перспективы логики - Ассоциация символической логики» . Архивировано из оригинала 29 февраля 2024 года . Проверено 29 февраля 2024 г.
- ^ «Другие книги – Ассоциация символической логики» . Архивировано из оригинала 29 февраля 2024 года . Проверено 29 февраля 2024 г.
- ^ «Лекторы Гёделя - Ассоциация символической логики» . Архивировано из оригинала 12 февраля 2024 года . Проверено 29 февраля 2024 г.
- ^ «Бывшие офицеры – Ассоциация символической логики» . Архивировано из оригинала 22 декабря 2019 года . Проверено 26 сентября 2019 г.
- ^ «Премии и награды – Ассоциация символической логики» . Ассоциация символической логики. Архивировано из оригинала 24 января 2019 года . Проверено 24 января 2019 г.
- ^ «Лауреаты премии Карпа – Ассоциация символической логики» . Архивировано из оригинала 22 июля 2019 года . Проверено 24 января 2019 г.
- ^ «Лауреаты премии Сакса - Ассоциация символической логики» . Архивировано из оригинала 22 июля 2019 года . Проверено 24 января 2019 г.
- ^ «Лауреаты премии Шоенфилда - Ассоциация символической логики» . Архивировано из оригинала 22 июля 2019 года . Проверено 21 февраля 2019 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| Другой | |
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |