Асоціація символьної логіки (англ. The Association for Symbolic Logic, ASL) — міжнародна організація фахівців з (математичної логіки) та (філософської логіки). ASL була заснована в 1936 році, та її першим президентом був (Алонзо Черч). Нинішній президент ASL — .
Асоціація символьної логіки | |
---|---|
Абревіатура | ASL |
Тип | (наукове товариство) |
Засновано | 1936 |
Правовий статус | (асоціація) |
Мета | , |
Сфера | (філософська логіка) і (математична логіка) |
Країна | США |
Штаб-квартира | |
Президент | |
Віце-президент | Phokion Kolaitis |
Co-Secretary-Treasurer | Russell G. Miller |
Co-Secretary-Treasurer | Reed Solomon |
Критерій членів | логік[d] |
Вебсайт: aslonline.org | |
Публікації
ASL видає (книги) та наукові журнали. Три основні офіційні журнали такі:
- (Journal of Symbolic Logic) (вебсайт) [ 17 січня 2021 у Wayback Machine.] — публікує дослідження з усіх областей математичної логіки. Заснований 1936 року. (ISSN) 0022-4812.
- Бюлетень символічної логіки (Bulletin of Symbolic Logic) (вебсайт) [ 17 січня 2021 у Wayback Machine.] — публікує переважно статті та огляди. Заснований 1995 року. (ISSN) 1079-8986.
- Огляд символічної логіки (Review of Symbolic Logic) (вебсайт) [ 17 січня 2021 у Wayback Machine.] — публікує дослідження, що стосуються логіки, філософії, науки та їх взаємодії. Заснований 2008 року. (ISSN) 1755-0203.
Крім того, ASL має журнал, який видається на спонсорські внески:
- Журнал логіки та аналізу (Journal of Logic and Analysis) (вебсайт) [ 24 січня 2021 у Wayback Machine.] — публікує дослідження взаємодії математичної логіки, чистого та прикладного аналізу. Заснований в 2009 році як вільний для доступу нащадок журналу «Логіка та аналіз» із (відкритим доступом). (ISSN) 1759-9008.
Організація зіграла певну роль у публікації зібраних творів (Курта Геделя).
Зустрічі
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 |
Нагороди
Асоціація періодично вручає чисельні призи та нагороди.
Премія Карпа
Премію Карпа асоціація присуджує раз на п'ять років за видатний документ або книгу в галузі символьної логіки. Вона складається з грошової винагороди і була заснована в 1973 році в пам'ять професора .
Рік | Одержувач(і) |
---|---|
1978 рік | Роберт Вот, Каліфорнійський університет, Берклі |
1983 рік | Сахарон Шелах, Єврейський університет |
1988 рік | Дональд А. Мартін, UCLA; Джон Р. Стіл, UCLA; В. Х'ю Вудін, Каліфорнійський університет, Берклі |
1993 рік | Ехуд Грушовскі, Массачусетський технологічний інститут та Алекс Вілкі, Оксфорд |
1998 рік | Ехуд Грушовський, Єврейський університет |
2003 рік | Грегорі Хьорт, UCLA та Олександр Кехріс, Caltech |
2008 рік | Зліл Села, Єврейський університет |
2013 рік | Моті Гітік, Тель-Авівський університет; Яаков Петерзіл, Хайфський університет; Джонатан Піла, Оксфордський університет; Сергій Старченко, Університет Нотр-Дам; Алекс Вілкі, Манчестерський університет |
2018 рік | Маттіас Ашенбреннер, UCLA; Лу ван ден Дріс, Університет Іллінойсу в Урбана — Шампань; Йоріс ван дер Ховен, Політехніка Еколе |
Премія Сакса
Премія Сакса присуджується за найвидатнішу докторську дисертацію з математичної логіки. Вона складається з грошової винагороди і була заснована в 1999 році на честь професора з Массачусетського технологічного університету та Гарварду.
Нагороджені:
Рік | Одержувач(і) |
---|---|
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 році, премія Шоенфілда присуджується кожні три роки у двох категоріях — в області книги та в області статті, які зробили видатний внесок в галузь логіки. Премія названа в честь , американського математика.
Нагороджені:
Рік | Одержувач(і) |
---|---|
2007 рік | Джон П. Берджесс (книга); та Томас Єх (стаття) |
2010 рік | Джон Т. Болдуін (книга); Род Дауні, Денис Гіршфельдт, Ендрю Ніс та Себастіан Тервійн (стаття) |
2013 рік | Стево Тодорчевич (книга); Ітаї Бен Яков, Олександр Беренштейн, К. Уорд Хенсон та Олександр Усвяцов (стаття) |
2016 рік | Род Дауні та Денис Гіршфельдт (книга); Лу ван ден Дріс (стаття) |
Список літератури
- . Association for Symbolic Logic. Архів оригіналу за 24 січня 2019. Процитовано 24 січня 2019.
- . Архів оригіналу за 22 грудня 2019. Процитовано 28 січня 2021.
- . Архів оригіналу за 22 грудня 2019. Процитовано 28 січня 2021.
- . Association of Symbolic Logic. Архів оригіналу за 24 січня 2019. Процитовано 24 січня 2019.
- . Архів оригіналу за 22 липня 2019. Процитовано 28 січня 2021.
- . Архів оригіналу за 22 липня 2019. Процитовано 28 січня 2021.
- . Архів оригіналу за 22 липня 2019. Процитовано 28 січня 2021.
Посилання
- Вебсайт ASL [ 25 січня 2021 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет