Войти
 | |
| Abbreviation | ASL |
|---|---|
| Formation | 1936 |
| Type | Научное общество |
| Цель | Исследование, Запрос |
| Штаб-квартира | Сторрс, Коннектикут |
| Президент | Джулия Ф. Найт |
| Вице-президент | Фокион Колайтис |
| Со- Секретарь-казначей | Рассел Дж. Миллер |
| Сосекретарь-казначей | Рид Соломон |
| Веб-сайт | aslonline.org |
Ассоциация символической логики (ASL ) - это международная организация специалистов по математической логике и философской логике. ASL была основана в 1936 году, и ее первым президентом был Алонсо Черч. Текущий президент ASL - Джулия Ф. Найт.
ASL издает книги и академические журналы. Его три официальных журнала:
Кроме того, у ASL есть спонсируемый журнал:
Организация сыграла роль в публикации собрания сочинений Курта Гёделя.
ASL поддерживает два основных встречи каждый год, одно в Северной Америке и одно в Европе (последнее, известное как коллоквиум по логике). Кроме того, ASL регулярно проводит совместные встречи с Американским математическим обществом («AMS») и Американской философской ассоциацией («APA»), а также спонсирует встречи во многих разных странах. каждый год.
| Имя | Срок полномочий | |
|---|---|---|
| Первый президент | Курт Джон Дюкасс | 1936–1937 |
| Второй президент | Хаскелл Карри | 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-й президент | Ричард Шор | 200 1–2003 |
| 25-й президент | Александр Кехрис | 2004–2006 |
| 26-й президент | Пенелопа Мэдди | 2007–2009 |
| 27-й президент | Алекс Уилки | 2010– 2012 |
| 28-й президент | Аласдер Уркхарт | 2013–2015 гг. |
| 29-й президент | Ульрих Коленбах | 2016–2018 |
| 30-й президент | Джулия Найт | 2019–2021 |
.
Ассоциация периодически вручает ряд призов и наград.
Премия Карпа присуждается ассоциацией каждые пять лет за выдающуюся работу или книга в области символической логики. Он состоит из денежного вознаграждения и был учрежден в 1973 году в память о профессоре Кэрол Карп.
| Год | Получатель (ы) |
|---|---|
| 2018 | Маттиас Ашенбреннер, UCLA; Лу ван ден Дрис, Иллинойский университет в Урбане-Шампейне; Йорис ван дер Ховен, Политехническая школа |
| 2013 | Моти Гитик, Тель-Авивский университет;, Хайфский университет; Джонатан Пила, Оксфордский университет; Сергей Старченко, Университет Нотр-Дам; Алекс Уилки, Манчестерский университет |
| 2008 | Злил Села, Еврейский университет |
| 2003 | Грегори Хьорт, Калифорнийский университет в Лос-Анджелесе и Александр Кечрис, Caltech |
| 1998 | Эхуд Грушовски, Еврейский университет |
| 1993 | Эхуд Грушовски, Массачусетский технологический институт и Алекс Уилки, Оксфорд |
| 1988 | Дональд А. Мартин, Калифорнийский университет в Лос-Анджелесе; Джон Р. Стил, Калифорнийский университет в Лос-Анджелесе; В. Хью Вудин, Калифорнийский университет, Беркли |
| 1983 | Сахарон Шелах, Еврейский университет |
| 1978 | Роберт Воот, Калифорнийский университет, Беркли |
Премия Сакса присуждается за наиболее выдающуюся докторскую диссертацию по математической логике. Он состоит из денежной премии и был учрежден в 1999 году в честь профессора Джеральда Сакса из Массачусетского технологического института и Гарварда.
Среди получателей:
| Год | Получатели |
|---|---|
| 2019 | Габриэль Голдберг |
| 2018 | Дэнни Нгуен |
| 2017 | Мэтью Харрисон-Трейнор и Себастьян Васи |
| 2016 | Уильям Джонсон и Людовик Пейти |
| 2015 | и |
| 2014 | премия не присуждена |
| 2013 | Артем Черников и |
| 2012 | Пьер Симон |
| 2011 | и Адам Дэй |
| 2010 | |
| 2009 | и |
| 2008 | и |
| 2007 | и |
| 2006 | |
| 2005 | |
| 2004 | и |
| 2003 | |
| 2002 | приз не присуждается |
| 2001 | Маттиас Ашенбреннер |
| 2000 | |
| 1999 | и |
| 1998 | без приза присуждены |
| 1997 | Илияс Фарах и Томас Скэнлон |
| 1996 | |
| 1995 | |
| 1994 | Грегори Хьорт |
Открытие в 2007 году конкурса Shoenfield Премия присуждается каждые три года в двух категориях, книги и статьи, за выдающиеся разъяснительные работы в области логики и за имя Джозеф Р. Шенфилд.
Среди получателей:
| Год | Получатель (ы) |
|---|---|
| 2016 | Род Дауни и Денис Хиршфельдт (книга); Лу ван ден Дрис (статья) |
| 2013 | Стево Тодорчевич (книга); Итай Бен Яаков, Александр Беренштейн, К. Уорд Хенсон и Александр Усвяцов (статья) |
| 2010 | Джон Т. Болдуин (книга); Род Дауни, Денис Хиршфельд, Эндрю Найс и Себастьян Тервейн (статья) |
| 2007 | Джон П. Берджесс (книга); Богуслав Балкар и Томас Йеч (статья) |
