Sdružení pro symbolickou logiku - Association for Symbolic Logic

Sdružení pro symbolickou logiku
Sdružení pro symbolickou logiku Logo.svg
ZkratkaASL
Formace1936
TypUčená společnost
ÚčelVýzkum, Poptávka
Hlavní sídloStorrs, Connecticut
Prezident
Julia F. Knight
Víceprezident
Phokion Kolaitis
Pomocný tajemník a pokladník
Russell G. Miller
Pomocný tajemník a pokladník
Reed Solomon
webová stránkaaslonline.org

The Sdružení pro symbolickou logiku (ASL) je mezinárodní organizace specialistů v matematická logika a filozofická logika. ASL byla založena v roce 1936 a jejím prvním prezidentem byl Alonzo Church. Současný prezident ASL je Julia F. Knight.[1]

Publikace

Publikuje ASL knihy a akademické časopisy. Jeho tři oficiální deníky jsou:

  • Journal of Symbolic Logic (webová stránka) - publikuje výzkum ve všech oblastech matematické logiky. Byla založena v roce 1936, ISSN  0022-4812.
  • Bulletin of Symbolic Logic (webová stránka) - vydává především výkladové články a recenze. Založena v roce 1995, ISSN  1079-8986.
  • Recenze symbolické logiky (webová stránka) - publikuje výzkum týkající se logiky, filozofie, vědy a jejich interakcí. Založena v roce 2008, ISSN  1755-0203.

Kromě toho má ASL sponzorovaný deník:

  • Journal of Logic and Analysis (webová stránka) - publikuje výzkum interakcí mezi matematickou logikou a čistou a aplikovanou analýzou. Společnost byla založena v roce 2009 jako otevřený přístup nástupce deníku Springer Logika a analýza. ISSN  1759-9008.

Organizace se podílela na vydávání sebraných spisů Kurt Gödel.[2]

Setkání

ASL pořádá každý rok dvě hlavní schůze, jedno v severní Americe a jedno v Evropě (druhé známé jako Logické kolokvium). Kromě toho ASL pravidelně pořádá společná setkání s oběma Americká matematická společnost ("AMS") a Americká filozofická asociace („APA“) a každoročně sponzoruje setkání v mnoha různých zemích.

Seznam prezidentů[3]

názevFunkční
1. prezidentCurt John Ducasse1936–1937
2. prezidentHaskell Curry1938–1940
3. prezidentCooper Harold Langford1941–1943
4. prezidentAlfred Tarski1944–1946
5. prezidentErnest Nagel1947–1949
6. prezidentJ. Barkley Rosser1950–1952
7. prezidentWillard Van Orman Quine1953–1955
8. prezidentStephen Cole Kleene1956–1958
9. prezidentFrederic Fitch1959–1961
10. prezidentLeon Henkin1962–1964
11. prezidentWilliam Craig1965–1967
12. prezidentAbraham Robinson1968–1970
13. prezidentDana Scott1971–1973
14. prezidentJoseph R. Shoenfield1974–1976
15. prezidentHilary Putnam1977–1979
16. prezidentSolomon Feferman1980–1982
17. prezidentRuth Barcan Marcus1983–1985
18. prezidentMichael Morley1986–1988
19. prezidentCharles Parsons1989–1991
20. prezidentYiannis Moschovakis1992–1994
21. prezidentGeorge Boolos1995–1996
22. prezidentMenachem Magidor1996–1997
23. prezidentDonald A. Martin1998–2000
24. prezidentRichard Shore2001–2003
25. prezidentAlexander Kechris2004–2006
26. prezidentPenelope Maddy2007–2009
27. prezidentAlex Wilkie2010–2012
28. prezidentAlasdair Urquhart2013–2015
29. prezidentUlrich Kohlenbach2016–2018
30. prezidentJulia Knight2019–2021


Ocenění

Sdružení pravidelně uděluje řadu cen a ocenění.[4]

Karpova cena

Karpovu cenu uděluje sdružení každých pět let za vynikající článek nebo knihu v oblasti symbolické logiky. Skládá se z ceny v hotovosti a byla založena v roce 1973 na památku profesora Carol Karp. [5]

RokPříjemce
2018Matthias Aschenbrenner, UCLA; Lou van den Dries, University of Illinois v Urbana – Champaign; Joris van der Hoeven, École Polytechnique
2013Moti Gitik, Tel Aviv University; Ya'acov Peterzil University of Haifa; Jonathan Pila, Oxfordská univerzita; Sergej Starčenko, University of Notre Dame; Alex Wilkie, University of Manchester
2008Zlil Sela, Hebrejská univerzita
2003Gregory Hjorth, UCLA a Alexander Kechris, Caltech
1998Ehud Hrushovski, Hebrejská univerzita
1993Ehud Hrushovski, MIT a Alex Wilkie, Oxford
1988Donald A. Martin, UCLA; John R. Steel, UCLA; W. Hugh Woodin, University of California, Berkeley
1983Saharon Shelah, Hebrejská univerzita
1978Robert Vaught, University of California, Berkeley

Cena pytle

Sacksova cena se uděluje za nejvýznamnější disertační práci v matematické logice. Skládá se z ceny v hotovosti a byla založena v roce 1999 na počest profesora Gerald Sacks MIT a Harvard.

Příjemci zahrnují:[6]

RokPříjemce
2019Gabriel Goldberg
2018Danny Nguyen
2017Matthew Harrison-Trainor a Sebastien Vasey
2016William Johnson a Ludovic Patey
2015Omer Ben-Neria a Martino Lupini
2014žádná cena udělena
2013Artem Černikov a Nathanaël Mariaule
2012Pierre Simon
2011Mingzhong Cai a Adam Day
2010Uri Andrews
2009Isaac Goldbring a Grigor Sargsyan
2008Inessa Epstein a Dilip Raghavan
2007Adrien Deloro a Wojciech Moczydlowski
2006Matteo Viale
2005Antonio Montalbán
2004Joseph Mileti a Nathan Segerlind
2003Itay Ben Yaacov
2002žádná cena udělena
2001Matthias Aschenbrenner
2000Eric Jaligot
1999Denis Hirschfeldt a René Schipperus
1998žádná cena udělena
1997Ilijas Farah a Thomas Scanlon
1996Byunghan Kim
1995Slawomir Solecki
1994Gregory Hjorth

Shoenfield Prize

Cena Shoenfield, která byla slavnostně otevřena v roce 2007, se uděluje každé tři roky ve dvou kategoriích, knize a článku, za uznání vynikajícího výkladového textu v oblasti logiky a na počest jména Joseph R. Shoenfield.[7]

Příjemci zahrnují:

RokPříjemce
2016Rod Downey a Denis Hirschfeldt (kniha); Lou van den Dries (článek)
2013Stevo Todorčević (rezervovat); Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson a Alexander Usvyatsov (článek)
2010John T. Baldwin (kniha); Rod Downey, Denis Hirschfeldt, Andrew Nies a Sebastiaan Terwijn (článek)
2007John P. Burgess (rezervovat); Bohuslav Balcar a Thomas Jech (článek)

Reference

  1. ^ „Členové, výbory a zástupci Rady - Sdružení pro symbolickou logiku“. Sdružení pro symbolickou logiku. Citováno 24. ledna 2019.
  2. ^ Gödel Lecturers - Association for Symbolic Logic
  3. ^ Bývalí důstojníci - Sdružení pro symbolickou logiku
  4. ^ „Ceny a ocenění - Sdružení pro symbolickou logiku“. Sdružení symbolické logiky. Citováno 24. ledna 2019.
  5. ^ Příjemci Karp Prize - Sdružení pro symbolickou logiku
  6. ^ Příjemci cen Pytle - Sdružení pro symbolickou logiku
  7. ^ Příjemci cen Shoenfield - Sdružení pro symbolickou logiku

externí odkazy