Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Халықаралық мамандар ұйымы
International specialist organization
Символикалық логика қауымдастығы (ASL) – математикалық логика және философиялық логика саласындағы мамандардың халықаралық ұйымы. ASL 1936 жылы құрылған, алғашқы президенті Курт Джон Дукасс болды. Қазіргі ASL президенті – Фокион Колаитис.
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–19372-ші президент Хаскелл Керри1938–19403-ші президент Купер Гарольд Лэнгфорд1941–19434-ші президент Альфред Тарски1944–19465-ші президент Эрнест Нагель1947–19496-шы президент Дж. Баркли Россер1950–19527-ші президент Уиллард Ван Орман Куин1953–19558-ші президент Стивен Коул Клейн1956–19589-шы президент Фредерик Фитч1959–196110-шы президент Леон Хенкин1962–196411-ші президент Уильям Крейг1965–196712-ші президент Абрахам Робинсон1968–197013-ші президент Дана Скотт1971–197314-ші президент Джозеф Р. Шоенфилд1974–197615-ші президент Хилари Путнам1977–197916-шы президент Соломон Феферман1980–198217-ші президент Рут Баркан Маркус1983–198518-ші президент Майкл Морли1986–198819-шы президент Чарльз Парсонс1989–199120-шы президент Йаннис Мосховакис1992–199421-ші президент Джордж Булос1995–199622-ші президент Менахем Магидор1996–199723-ші президент Дональд А. Мартин1998–200024-ші президент Ричард Шор2001–200325-ші президент Александр Кехрис2004–200626-шы президент Пенелопа Мэдди2007–200927-ші президент Алекс Вилки2010–201228-ші президент Аласдер Уркухарт2013–201529-шы президент Ульрих Коленбах2016–201830-шы президент Джулия Найт2019–202131-ші президент Фокион Колайтис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 жылы профессор Кэрол Карптың естелігіне арнап құрылды. Жыл Жеңімпаз(дар): 1978 Роберт Вотт, Калифорния университеті, Беркли 1983 Сахарон Шелах, Еврей университеті 1988 Дональд А. Мартин, UCLA; Джон Р. Стил, UCLA; В. Хью Вуддин, Калифорния университеті, Беркли 1993 Эхуд Хрушовски, MIT және Алекс Вилки, Оксфорд 1998 Эхуд Хрушовски, Еврей университеті 2003 Грегори Хёрт, UCLA және Александр Кехрис, Калтек 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 жылы құрылған Гёдель лекциясы – қауымдастықтың жылдық мәжілісінде сөз сөйлеудің ең жоғары құрметі саналады. Бұл марапат Курт Гёдельдің есімімен аталады. Спикерлердің толық тізімін жоғарыдағы «Gödel Lecture Series» бөлімінен қараңыз.
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.