Из Википедии, бесплатной энциклопедии
  (Перенаправлено из "Вестника символической логики" )
Перейти к навигации Перейти к поиску
Ассоциация символической логики
Ассоциация символической логики Logo.svg
СокращениеASL
Формирование1936 г.
ТипНаучное общество
ЦельИсследования , запросы
Штаб-квартираСторрс, Коннектикут
ПрезидентДжулия Ф. Найт
Заместитель президентаФокион Колайтис
Сосекретарь-казначейРассел Дж. Миллер
Сосекретарь-казначейРид Соломон
Веб-сайтaslonline .org

Ассоциация символической логики ( ASL ) является международной организацией специалистов в области математической логики и философской логике . ASL была основана в 1936 году, и ее первым президентом был Алонзо Черч . Нынешний президент ASL ​​- Джулия Ф. Найт . [1]

Публикации [ править ]

ASL издает книги и академические журналы . Его три официальных журнала:

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

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

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

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

Встречи [ править ]

ASL ежегодно проводит два основных собрания: одно в Северной Америке и одно в Европе (последнее известно как Коллоквиум по логике ). Кроме того, ASL регулярно проводит совместные встречи с Американским математическим обществом («AMS») и Американской философской ассоциацией («APA»), а также ежегодно спонсирует встречи во многих разных странах.

Список президентов [ править ]

ИмяСрок полномочий
1-й президентКурт Джон Дюкасс1936–1937 гг.
2-й президентХаскелл Карри1938–1940
3-й президентКупер Гарольд Лэнгфорд1941–1943 гг.
4-й президентАльфред Тарский1944–1946
Пятый президентЭрнест Нагель1947–1949
Шестой президентДж. Баркли Россер1950–1952 гг.
Седьмой президентУиллард Ван Орман Куайн1953–1955
8-й президентСтивен Коул Клини1956–1958 гг.
9-й президентФредерик Фитч1959–1961
10-й президентЛеон Хенкин1962–1964
11-й президентУильям Крейг1965–1967
12-й президентАвраам Робинсон1968–1970
13-й президентДана Скотт1971–1973 гг.
14-й президентДжозеф Р. Шенфилд1974–1976
Пятнадцатый президентХилари Патнэм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 гг.

[3]

Награды [ править ]

Ассоциация периодически вручает ряд премий и наград. [4]

Приз Карпа [ править ]

Премия Карпа присуждается ассоциацией каждые пять лет за выдающуюся статью или книгу в области символической логики. Он состоит из денежной премии и был учрежден в 1973 году в память о профессоре Кэрол Карп . [5]

ГодПолучатель (и)
1978 г.Роберт Воот , Калифорнийский университет, Беркли
1983 г.Сахарон Шелах , Еврейский университет
1988 г.Дональд А. Мартин , Калифорнийский университет в Лос-Анджелесе; Джон Р. Стил , Калифорнийский университет в Лос-Анджелесе; В. Хью Вудин , Калифорнийский университет, Беркли
1993 г.Эхуд Грушовски , Массачусетский технологический институт, и Алекс Уилки , Оксфорд
1998 г.Эхуд Грушовски , Еврейский университет
2003 г.Грегори Хьорт , Калифорнийский университет в Лос-Анджелесе, и Александр Кечрис , Калифорнийский технологический институт
2008 г.Злил Села , Еврейский университет
2013Моти Гитик , Тель-Авивский университет; Яаков Петерзил , Хайфский университет; Джонатан Пила , Оксфордский университет; Сергей Старченко , Университет Нотр-Дам; Алекс Уилки , Манчестерский университет
2018 г.Маттиас Ашенбреннер , Калифорнийский университет в Лос-Анджелесе; Лу ван ден Дрис , Университет Иллинойса в Урбане-Шампейн; Йорис ван дер Хувен , Политехническая школа

Приз мешков [ править ]

Премия Сакса присуждается за наиболее выдающуюся докторскую диссертацию по математической логике. Он состоит из денежной премии и был учрежден в 1999 году в честь профессора Джеральда Сакса из Массачусетского технологического института и Гарварда.

Среди получателей: [6]

ГодПолучатель (и)
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 г.Габриэль Голдберг

Приз Шенфилда [ править ]

Открытая в 2007 году, премия Шенфилда присуждается каждые три года в двух категориях: книги и статьи, отмечая выдающиеся разъяснительные работы в области логики и чествуя имя Джозефа Р. Шенфилда . [7]

Получатели включают:

ГодПолучатель (и)
2007 г.Джон П. Берджесс (книга); Богуслав Балкар и Томас Ех (статья)
2010 г.Джон Т. Болдуин (книга); Род Дауни, Денис Хиршфельд, Эндрю Найс и Себастьян Тервейн (статья)
2013Стево Тодорцевич (книга); Итай Бен Яаков, Александр Беренштейн, К. Уорд Хенсон и Александр Усвяцов (статья)
2016 г.Род Дауни и Денис Хиршфельдт (книга); Лу ван ден Дрис (статья)

Ссылки [ править ]

  1. ^ «Члены Совета, комитеты и представители - Ассоциация символической логики» . Ассоциация символической логики . Проверено 24 января 2019 .
  2. ^ Лекторы Гёделя - Ассоциация символической логики
  3. ^ Бывшие офицеры - Ассоциация символической логики
  4. ^ «Призы и награды - Ассоциация символической логики» . Ассоциация символической логики . Проверено 24 января 2019 .
  5. ^ Получатели премии Карпа - Ассоциация символической логики
  6. ^ Получатели премии Sacks - Ассоциация символической логики
  7. ^ Получатели премии Шенфилда - Ассоциация символической логики

Внешние ссылки [ править ]

  • Сайт ASL
  • v
  • т
  • е