Асоціація символьної логіки

Асоціація символьної логіки (англ. The Association for Symbolic Logic, ASL) — міжнародна організація фахівців з математичної логіки та філософської логіки. ASL була заснована в 1936 році, та її першим президентом був Алонзо Черч. Нинішній президент ASL — Джулія Ф. Найт[1].

Асоціація символьної логіки
Абревіатура ASL
Тип наукове товариство
Засновано 1936
Правовий статус асоціація
Мета Research, Inquiry
Сфера Філософська логіка і математична логіка
Країна  США
Штаб-квартира Сторс, Крнектикут
Президент Джулія Ф.Найт
Віце-президент Phokion Kolaitis
Co-Secretary-Treasurer Russell G. Miller
Co-Secretary-Treasurer Reed Solomon
Вебсайт aslonline.org

Публікації

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 «Логіка та аналіз» із відкритим доступом. ISSN 1759-9008.

Організація зіграла певну роль у публікації зібраних творів Курта Геделя[2].

Зустрічі

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-й президент Alasdair Urquhart 2013–2015
29-й президент Ульріх Коленбах 2016–2018
30-й президент Джулія Ф.Найт 2019–2021

[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 рік Род Дауні та Денис Гіршфельдт (книга);

Лу ван ден Дріс (стаття)

Список літератури
  1. Council Members, Committees, and Representatives – Association for Symbolic Logic. Association for Symbolic Logic. Процитовано 24 січня 2019.
  2. Gödel Lecturers — Association for Symbolic Logic
  3. Former Officers — Association for Symbolic Logic
  4. Prizes and Awards – Association for Symbolic Logic. Association of Symbolic Logic. Процитовано 24 січня 2019.
  5. Karp Prize Recipients — Association for Symbolic Logic
  6. Sacks Prize Recipients — Association for Symbolic Logic
  7. Shoenfield Prize Recipients — Association for Symbolic Logic

Посилання
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.