 | |
| Abreviatura | ASL |
|---|---|
| Formación | 1936 |
| Tipo | Sociedad académica |
| Propósito | Investigación , Consulta |
| Sede | Storrs, Connecticut |
| presidente | Julia F. Knight |
| Vicepresidente | Phokion Kolaitis |
| Co-Secretario-Tesorero | Russell G. Miller |
| Co-Secretario-Tesorero | Reed Solomon |
| Sitio web | aslonline |
La Association for Symbolic Logic ( ASL ) es una organización internacional de especialistas en lógica matemática y lógica filosófica . La ASL fue fundada en 1936 y su primer presidente fue Alonzo Church . La actual presidenta de la ASL es Julia F. Knight . [1]
Publicaciones [ editar ]
La ASL publica libros y revistas académicas . Sus tres revistas oficiales son:
- Journal of Symbolic Logic (sitio web) : publica investigaciones en todas las áreas de la lógica matemática. Fundada en 1936, ISSN 0022-4812 .
- Bulletin of Symbolic Logic (sitio web) : publica principalmente artículos y reseñas expositivos. Fundada en 1995, ISSN 1079-8986 .
- Review of Symbolic Logic (sitio web) : publica investigaciones relacionadas con la lógica, la filosofía, la ciencia y sus interacciones. Fundada en 2008, ISSN 1755-0203 .
Además, la ASL tiene una revista patrocinada:
- Journal of Logic and Analysis (sitio web) : publica investigaciones sobre las interacciones entre la lógica matemática y el análisis puro y aplicado. Fundada en 2009 como sucesora de acceso abierto de la revista Springer Logic and Analysis . ISSN 1759-9008 .
La organización participó en la publicación de los escritos recopilados de Kurt Gödel . [2]
Reuniones [ editar ]
La ASL celebra dos reuniones principales cada año, una en América del Norte y otra en Europa (esta última conocida como Coloquio de la Lógica ). Además, la ASL celebra reuniones conjuntas con la Sociedad Matemática Estadounidense ("AMS") y la Asociación Filosófica Estadounidense ("APA"), y patrocina reuniones en muchos países diferentes cada año.
Lista de presidentes [ editar ]
| Nombre | Termino de oficina | |
|---|---|---|
| 1er presidente | Curt John Ducasse | 1936-1937 |
| 2do presidente | Haskell Curry | 1938-1940 |
| 3er presidente | Cooper Harold Langford | 1941-1943 |
| Cuarto presidente | Alfred Tarski | 1944-1946 |
| 5to presidente | Ernest Nagel | 1947-1949 |
| Sexto presidente | J. Barkley Rosser | 1950-1952 |
| Séptimo presidente | Willard Van Orman Quine | 1953-1955 |
| Octavo presidente | Stephen Cole Kleene | 1956-1958 |
| Noveno presidente | Frederic Fitch | 1959-1961 |
| Décimo presidente | Leon Henkin | 1962-1964 |
| 11 ° presidente | William Craig | 1965-1967 |
| 12 ° presidente | Abraham Robinson | 1968-1970 |
| 13 ° presidente | Dana Scott | 1971-1973 |
| 14 ° presidente | Joseph R. Shoenfield | 1974-1976 |
| 15 ° presidente | Hilary Putnam | 1977-1979 |
| 16 ° presidente | Solomon Feferman | 1980-1982 |
| 17mo presidente | Ruth Barcan Marcus | 1983–1985 |
| 18o presidente | Michael Morley | 1986–1988 |
| 19 ° presidente | Charles Parsons | 1989-1991 |
| 20 ° presidente | Yiannis Moschovakis | 1992-1994 |
| 21 ° presidente | George Boolos | 1995–1996 |
| 22 ° presidente | Menachem Magidor | 1996-1997 |
| 23 ° presidente | Donald A. Martin | 1998–2000 |
| 24 ° presidente | Richard Shore | 2001-2003 |
| 25 ° presidente | Alexander Kechris | 2004-2006 |
| 26 ° presidente | Penélope Maddy | 2007-2009 |
| 27 ° presidente | Alex Wilkie | 2010-2012 |
| 28 ° presidente | Alasdair Urquhart | 2013-2015 |
| 29 ° presidente | Ulrich Kohlenbach | 2016-2018 |
| 30 ° presidente | Julia Knight | 2019-2021 |
[3]
Premios [ editar ]
La asociación presenta periódicamente una serie de premios y galardones. [4]
Premio Karp [ editar ]
El Premio Karp es otorgado por la asociación cada cinco años por un artículo o libro destacado en el campo de la lógica simbólica. Consiste en un premio en efectivo y se estableció en 1973 en memoria de la profesora Carol Karp . [5]
| Año | Destinatario (s) |
|---|---|
| 1978 | Robert Vaught , Universidad de California, Berkeley |
| 1983 | Saharon Shelah , Universidad Hebrea |
| 1988 | Donald A. Martin , UCLA; John R. Steel , UCLA; W. Hugh Woodin , Universidad de California, Berkeley |
| 1993 | Ehud Hrushovski , MIT y Alex Wilkie , Oxford |
| 1998 | Ehud Hrushovski , Universidad Hebrea |
| 2003 | Gregory Hjorth , UCLA y Alexander Kechris , Caltech |
| 2008 | Zlil Sela , Universidad Hebrea |
| 2013 | Moti Gitik , Universidad de Tel Aviv; Ya'acov Peterzil , Universidad de Haifa; Jonathan Pila , Universidad de Oxford; Sergei Starchenko , Universidad de Notre Dame; Alex Wilkie , Universidad de Manchester |
| 2018 | Matthias Aschenbrenner , UCLA; Lou van den Dries , Universidad de Illinois en Urbana – Champaign; Joris van der Hoeven , École Polytechnique |
Premio Sacks [ editar ]
El Premio Sacks se otorga a la tesis doctoral más destacada en lógica matemática. Consiste en un premio en efectivo y se estableció en 1999 para honrar al profesor Gerald Sacks del MIT y Harvard.
Los destinatarios incluyen: [6]
| Año | Destinatario (s) |
|---|---|
| 1994 | Gregory Hjorth |
| 1995 | Slawomir Solecki |
| 1996 | Byunghan Kim |
| 1997 | Ilijas Farah y Thomas Scanlon |
| 1998 | sin premio otorgado |
| 1999 | Denis Hirschfeldt y Rene Schipperus |
| 2000 | Eric Jaligot |
| 2001 | Matthias Aschenbrenner |
| 2002 | sin premio otorgado |
| 2003 | Itay Ben Yaacov |
| 2004 | Joseph Mileti y Nathan Segerlind |
| 2005 | Antonio Montalbán |
| 2006 | Matteo Viale |
| 2007 | Adrien Deloro y Wojciech Moczydlowski |
| 2008 | Inessa Epstein y Dilip Raghavan |
| 2009 | Isaac Goldbring y Grigor Sargsyan |
| 2010 | Uri Andrews |
| 2011 | Mingzhong Cai y Adam Day |
| 2012 | Pierre Simon |
| 2013 | Artem Chernikov y Nathanaël Mariaule |
| 2014 | sin premio otorgado |
| 2015 | Omer Ben-Neria y Martino Lupini |
| 2016 | William Johnson y Ludovic Patey |
| 2017 | Matthew Harrison-Trainor y Sebastien Vasey |
| 2018 | Danny Nguyen |
| 2019 | Gabriel Goldberg |
Premio Shoenfield [ editar ]
Inaugurado en 2007, el Premio Shoenfield se otorga cada tres años en dos categorías, libro y artículo, reconociendo la escritura expositiva sobresaliente en el campo de la lógica y honrando el nombre de Joseph R. Shoenfield . [7]
Los destinatarios incluyen:
| Año | Destinatario (s) |
|---|---|
| 2007 | John P. Burgess (libro); Bohuslav Balcar y Thomas Jech (artículo) |
| 2010 | John T. Baldwin (libro); Rod Downey, Denis Hirschfeldt, Andrew Nies y Sebastiaan Terwijn (artículo) |
| 2013 | Stevo Todorcevic (libro); Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson y Alexander Usvyatsov (artículo) |
| 2016 | Rod Downey y Denis Hirschfeldt (libro); Lou van den Dries (artículo) |
Referencias [ editar ]
- ^ "Miembros del consejo, comités y representantes - Asociación de lógica simbólica" . Asociación de Lógica Simbólica . Consultado el 24 de enero de 2019 .
- ^ Profesores de Gödel - Asociación de lógica simbólica
- ^ Ex oficiales - Asociación para la lógica simbólica
- ^ "Premios y reconocimientos - Asociación de lógica simbólica" . Asociación de Lógica Simbólica . Consultado el 24 de enero de 2019 .
- ^ Destinatarios del premio Karp - Asociación de lógica simbólica
- ^ Destinatarios del premio Sacks - Asociación de lógica simbólica
- ^ Destinatarios del premio Shoenfield - Asociación de lógica simbólica
Enlaces externos [ editar ]
- Sitio web de ASL
