Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Международная специализированная организация
International specialist organization
Ассоциация символической логики (ASL) — международная организация специалистов в области математической и философской логики. Ассоциация была основана в 1936 году, а её первым президентом был Курт Джон Дукасс. Нынешний президент Ассоциации — Фокион Колаитис.
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.
Встречи
ASL проводит два основных собрания каждый год, одно в Северной Америке и одно в Европе (последнее известно как Логический коллоквиум). Помимо этого, ASL регулярно проводит совместные мероприятия с Американским математическим обществом ("AMS") и Американской философской ассоциацией ("APA"), а также ежегодно спонсирует мероприятия во многих странах мира.
The ASL holds two main meetings every year, one in North America and one in Europe (the latter known as the Logic Colloquium). In addition, the ASL regularly holds joint meetings with both the American Mathematical Society ("AMS") and the American Philosophical Association ("APA"), and sponsors meetings in many different countries every year.
Список президентов
НазваниеСрок полномочий 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 31-й президент Фокион Колаитис 2022–2024
NameTerm of office 1st President Curt John Ducasse 1936–1937 2nd President Haskell Curry 1938–1940 3rd President Cooper Harold Langford 1941–1943 4th President Alfred Tarski 1944–1946 5th President Ernest Nagel 1947–1949 6th President J. Barkley Rosser 1950–1952 7th President Willard Van Orman Quine 1953–1955 8th President Stephen Cole Kleene 1956–1958 9th President Frederic Fitch 1959–1961 10th President Leon Henkin 1962–1964 11th President William Craig 1965–1967 12th President Abraham Robinson 1968–1970 13th President Dana Scott 1971–1973 14th President Joseph R. Shoenfield 1974–1976 15th President Hilary Putnam 1977–1979 16th President Solomon Feferman 1980–1982 17th President Ruth Barcan Marcus 1983–1985 18th President Michael Morley 1986–1988 19th President Charles Parsons 1989–1991 20th President Yiannis Moschovakis 1992–1994 21st President George Boolos 1995–1996 22nd President Menachem Magidor 1996–1997 23rd President Donald A. Martin 1998–2000 24th President Richard Shore 2001–2003 25th President Alexander Kechris 2004–2006 26th President Penelope Maddy 2007–2009 27th President Alex Wilkie 2010–2012 28th President Alasdair Urquhart 2013–2015 29th President Ulrich Kohlenbach 2016–2018 30th President Julia Knight 2019–2021 31st President Phokion Kolaitis 2022–2024
Награды
Ассоциация периодически вручает ряд призов и наград.
The association periodically presents a number of prizes and awards.
Карпская премия
Премия Карпа присуждается ассоциацией каждые пять лет за выдающуюся статью или книгу в области символической логики. Она состоит из денежной награды и была учреждена в 1973 году в память о профессоре Кэрол Карп.
The Karp Prize is awarded by the association every five years for an outstanding paper or book in the field of symbolic logic. It consists of a cash award and was established in 1973 in memory of Professor Carol Karp. Year Recipient(s) 1978 Robert Vaught, University of California, Berkeley 1983 Saharon Shelah, Hebrew University 1988 Donald A. Martin, UCLA; John R. Steel, UCLA; W. Hugh Woodin, University of California, Berkeley 1993 Ehud Hrushovski, MIT and Alex Wilkie, Oxford1998 Ehud Hrushovski, Hebrew University 2003 Gregory Hjorth, UCLA and Alexander Kechris, Caltech 2008 Zlil Sela, Hebrew University 2013 Moti Gitik, Tel Aviv University; Ya'acov Peterzil, University of Haifa; Jonathan Pila, University of Oxford; Sergei Starchenko, University of Notre Dame; Alex Wilkie, University of Manchester 2018 Matthias Aschenbrenner, UCLA; Lou van den Dries, University of Illinois at Urbana–Champaign; Joris van der Hoeven, École Polytechnique
Год Лауреат(ы)
1978 Роберт Вотт, Калифорнийский университет, Беркли
1983 Саарон Шелах, Еврейский университет
1988 Дональд А. Мартин, UCLA; Джон Р. Стил, UCLA; В. Хью Вудин, Калифорнийский университет, Беркли
1993 Эхуд Хрушовски, MIT и Алекс Вилки, Оксфорд
1998 Эхуд Хрушовски, Еврейский университет
2003 Грегори Хёрт, UCLA и Александр Кехрис, Caltech
2008 Злил Села, Еврейский университет
2013 Моти Гитик, Тель-Авивский университет; Яаков Петерзил, Университет Хайфы; Джонатан Пила, Университет Оксфорда; Сергей Старченко, Университет Нотр-Дам; Алекс Вилки, Университет Манчестера
2018 Маттиас Ашенбреннер, UCLA; Лу ван ден Дриз, Университет Иллинойса в Урбана-Шампейне; Джорис ван дер Ховен, Эколь Политехническая
The Karp Prize is awarded by the association every five years for an outstanding paper or book in the field of symbolic logic. It consists of a cash award and was established in 1973 in memory of Professor Carol Karp. Year Recipient(s) 1978 Robert Vaught, University of California, Berkeley 1983 Saharon Shelah, Hebrew University 1988 Donald A. Martin, UCLA; John R. Steel, UCLA; W. Hugh Woodin, University of California, Berkeley 1993 Ehud Hrushovski, MIT and Alex Wilkie, Oxford1998 Ehud Hrushovski, Hebrew University 2003 Gregory Hjorth, UCLA and Alexander Kechris, Caltech 2008 Zlil Sela, Hebrew University 2013 Moti Gitik, Tel Aviv University; Ya'acov Peterzil, University of Haifa; Jonathan Pila, University of Oxford; Sergei Starchenko, University of Notre Dame; Alex Wilkie, University of Manchester 2018 Matthias Aschenbrenner, UCLA; Lou van den Dries, University of Illinois at Urbana–Champaign; Joris van der Hoeven, École Polytechnique
Лекция Гёделя
Основанная в 1990 году, Гёделевская лекция представляет собой честь выступать с докладом на ежегодном собрании ассоциации. Премия названа в честь Курта Гёделя. Полный список докладчиков можно найти в серии Гёделевских лекций, представленной выше.
Inaugurated in 1990, the Gödel Lecture is the honor of being the speaker at the association's annual meeting. The award is named after Kurt Gödel. For the complete list of speakers, please see Gödel Lecture Series above.