Асоціація символьної логіки (англ. The Association for Symbolic Logic, ASL) — міжнародна організація фахівців з математичної логіки та філософської логіки. ASL була заснована в 1936 році, та її першим президентом був Алонзо Черч. Нинішній президент ASL — Джулія Ф. Найт[1].
Публікації
ASL видає книги та наукові журнали. Три основні офіційні журнали такі:
Крім того, ASL має журнал, який видається на спонсорські внески:
Організація зіграла певну роль у публікації зібраних творів Курта Геделя[2].
Зустрічі
ASL проводить дві основні зустрічі щороку: одну в Північній Америці та одну в Європі (остання знана як Логічний Колоквіум (Logic Colloquium)). Крім того, ASL регулярно проводить спільні зустрічі як з Американським математичним товариством («AMS»), так і з Американською філософською асоціацією («APA»), і щороку спонсорує зустрічі в багатьох різних країнах.
Список президентів
[3]
Нагороди
Асоціація періодично вручає чисельні призи та нагороди[4].
Премія Карпа
Премію Карпа асоціація присуджує раз на п'ять років за видатний документ або книгу в галузі символьної логіки. Вона складається з грошової винагороди і була заснована в 1973 році в пам'ять професора Керола Карпа[5].
| Рік
|
Одержувач(і)
|
| 1978 рік
|
Роберт Вот, Каліфорнійський університет, Берклі
|
| 1983 рік
|
Сахарон Шелах, Єврейський університет
|
| 1988 рік
|
Дональд А. Мартін, UCLA; Джон Р. Стіл, UCLA; В. Х'ю Вудін, Каліфорнійський університет, Берклі
|
| 1993 рік
|
Ехуд Грушовскі, Массачусетський технологічний інститут та Алекс Вілкі, Оксфорд
|
| 1998 рік
|
Ехуд Грушовський, Єврейський університет
|
| 2003 рік
|
Грегорі Хьорт, UCLA та Олександр Кехріс, Caltech
|
| 2008 рік
|
Зліл Села, Єврейський університет
|
| 2013 рік
|
Моті Гітік, Тель-Авівський університет; Яаков Петерзіл, Хайфський університет;
Джонатан Піла, Оксфордський університет;
Сергій Старченко, Університет Нотр-Дам; Алекс Вілкі, Манчестерський університет
|
| 2018 рік
|
Маттіас Ашенбреннер, UCLA; Лу ван ден Дріс, Університет Іллінойсу в Урбана — Шампань;
Йоріс ван дер Ховен, Політехніка Еколе
|
Премія Сакса
Премію Сакса присуджують за найвидатнішу докторську дисертацію з математичної логіки. Вона складається з грошової винагороди і була заснована в 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 рік
|
Род Дауні та Денис Гіршфельдт (книга);
Лу ван ден Дріс (стаття)
|
Список літератури
Посилання
