L'Association for Symbolic Logic (ASL) est une organisation internationale regroupant des spécialistes et chercheurs en logique mathématique et logique philosophique. L'ASL est fondée en 1936. et son premier président est Alonzo Church. Le président actuel de l'ASL est .
Publications L'Association for Symbolic Logic publie de nombreux ouvrages académiques et revues universitaires. De nombreuses œuvres publiées par l'ASL sont consultables en ligne par l'intermédiaire du projet Euclide..
L'association édite ou collabore aux journaux suivants :
– créée en 1936, dans cette revue sont publiés des études dans tous les domaines de la logique mathématique. . . – créée en 1995, dans cette revue sont publiés des revues d'ouvrages, d'articles d'histoire ou d'actualité concernant le domaine de la logique, de l'association ou diverses actualités de domaines connexes. Jusqu'en 1999 des revues d'articles d'Ernest Schimmerling y étaient présentes. . . – créée en 2008, dans cette revue sont publiés des études relatives à la logique, la philosophie, la science, l'informatique, et de leurs interactions. . L'association subventionne également le . Cette revue étudie et analyse les interactions de la logique mathématique avec les autres domaines des mathématiques. Y sont publiés des articles d'analyse non standard ou portant sur les domaines connexes à la théorie des modèles. Il comprend également des extraits de documents ou des articles en rapport à tous les domaines de la logique mathématique .
L'association publie également des œuvres de Kurt Gödel..
Récompenses L'ASL attribue des prix., pour des apports remarquables dans le domaine de la logique, et pour encourager des étudiants logiciens, chacun de ses lauréats est également crédité d'une rémunération.
Le Prix Karp (ou ) : créé en 1973 à la mémoire de Carol Karp, il est décerné tous les cinq ans, et attribué à un chercheur pour la publication d'un ouvrage ou d'un article notable dans l'un des domaines de la recherche en logique. Le premier prix Karp est attribué à Robert Vaught de l'université de Californie en 1978.
Prix Sacks (ou ) créé en 1999 à la mémoire de Gerald E. Sacks, il est décerné tous les ansEn fonction des années il peut ne pas être attribué et attribué pour la thèse de doctorat jugée la plus remarquable en logique mathématique sans contrainte de nationalité du lauréat ou de son université, ce prix offre également cinq années de cotisation en tant que membre à l'ASL.
Prix Shoenfield (ou ) : créé en 1999 à la mémoire de Joseph R. Shoenfield, il est décerné tous les trois ans et attribué à un étudiant pour la rédaction d'un article et récompense également l'auteur d'une œuvre remarquable dans le domaine de la logique.
Conférencier Gödel (ou )qu'il ne faut cependant pas confondre avec le prix Gödel : à la mémoire de Kurt Gödel l'ASL organise chaque année une conférence, le conférencier est sélectionné chaque année par le Comité des prix et récompenses de l'Association for Symbolic Logic sur la base de ses contributions remarquables à la logique à travers ses recherches. Il a lieu alternativement lors de la réunion annuelle européenne ou nord-américaine.
Lauréats Depuis 1978 de nombreux prix sont décernés par l'ASL à différents chercheurs, étudiants ou mathématiciens reconnus dans le domaine de la logique mathématique.
Prix Karp 1978 : Robert Vaught, Université de Californie 1983 : Saharon Shelah, Université hébraïque de Jérusalem 1988 : Donald A. Martin, Université de Californie à Los Angeles, John R. Steel, Université de Californie à Los Angeles, et W. Hugh Woodin, Université de Californie 1993 : Ehud Hrushovski, MIT et Alex Wilkie, Université d'Oxford 1998 : Ehud Hrushovski, Université hébraïque de Jérusalem 2003 : Gregory Hjorth, Université de Californie à Los Angeles et , Caltech 2008 : , Université hébraïque de Jérusalem 2013 : , Université de Tel Aviv, Ya'acov Peterzil, Université de Haïfa, Jonathan Pila, Université d'Oxford, Sergei Starchenko, université de Notre-Dame-du-Lac, et Alex Wilkie, Université de Manchester
Prix Sacks 1994 : Gregory Hjorth, California Institute of Technology 1995 : Slawomir Solecki, Caltech 1996 : Byunghan Kim, Institut Fields et Itay Neeman, Université Harvard 1997 : Ilijas Farah, université de Toronto et Tom Scanlon, Mathematical Sciences Research Institute de Berkeley 1998 : non décerné 1999 : Denis Hirschfeldt, université Cornell et Rene Schipperus, Université du Colorado à Boulder 2000 : Eric Jaligot, université Claude-Bernard Lyon 1 2001 : Matthias Aschenbrenner, université de Californie à Berkeley 2002 : non décerné 2003 : Itay Ben Yaacov, Massachusetts Institute of Technology 2004 : Joseph Mileti, université de Chicago, et Nathan Segerlind, université de Washington 2005 : Antonio Montalbán, université de Chicago 2006 : Matteo Viale, université de Turin et université Paris-Diderot 2007 : Adrien Deloro, université Rutgers et Wojciech Moczydlowski, université Cornell 2008 : Inessa Epstein, California Institute of Technology et Dilip Raghavan, université de Toronto 2009 : Isaac Goldbring et Grigor Sargsyan, tous les deux de l'université de Californie à Los Angeles 2010 : Uri Andrews, université du Wisconsin à Madison 2011 : Mingzhong Cai, université du Wisconsin à Madison et Adam Day, université de Californie à Berkeley 2012 : Pierre Simon, université hébraïque de Jérusalem 2013 : Artem Chernikov, université Paris-Diderot et MSRI, et Nathanaël Mariaule, université de Naples II 2014 : non décerné
Prix Shoenfield 2007 : John P. Burgess pour son œuvre 2007 : David E. Marker pour son œuvre 2007 : et Thomas Jech pour leur article Weak distributivity, a problem of Von Neumann and the mystery of measurability, publié dans 2010 : John T. Baldwin pour son œuvre 2010 : Rod Downey, Denis Hirschfeldt, Andrew Nies, et Sebastiaan Terwijn pour leur article Calibrating randomness paru dans l'ouvrage 2013 : Stevo Todorčević pour son œuvre 2013 : Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson, et Alexander Usvyatsov pour leur article Model Theory for Metric Structures paru dans l'ouvrage .
Conférenciers Gödel 1990 : Ronald Jensen, Inner Models and Large Cardinals. 1991 : Dana Scott, Will Logicians be Replaced by Machines? 1992 : Joseph R. Shoenfield, The Priority Method. 1993 : Angus Macintyre, Logic of Real and p-adic Analysis: Achievements and Challenges. 1994 : Donald A. Martin, L(R): A Survey. 1995 : Leo Harrington, Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist). 1996 : Saharon Shelah, Categoricity without compactness. 1997 : Solomon Feferman, Occupations and Preoccupations with Gödel: His « Works » and the Work. 1998 : Alexander S. Kechris, Current Trends in Descriptive Set Theory. 1999 : Stephen A. Cook, Logic and Computational Complexity. 2000 : Jon Barwise, cette conférence est annulée à la suite de son décès. 2001 : Theodore A. Slaman, Recursion Theory. 2002 : Harvey Friedman, Issues in the foundations of mathematics. 2003 : Boris Zilber, Categoricity. 2004 : Michael Rabin, Proofs Persuasions and Randomness in Mathematics. 2005 : Menachem Magidor, Skolem-Lowenheim theorems for generalized logics. 2006 : Per Martin-Löf, The Two Layers of logic. 2007 : Ehud Hrushovski, une conférence sur son travail a eu lieu en son absence par Thomas Scanlon. 2008 : W. Hugh Woodin, The Continuum Hypothesis, the ω Conjecture, and the Inner Model Problem of one Supercompact cardinal. 2009 : Richard A. Shore, Reverse Mathematics: the Playground of Logic. 2010 : Alexandre Razborov, Complexity of Propositional Proofs. 2011 : Anand Pillay, First Order Theories. 2012 : John R. Steel, The Hereditarily Ordinal Definable Sets in Models of Determinacy. 2013 : Kit Fine, Truth-Maker Semantics for Intuitionistic Logic 2014 : Julia Knight, Computable structure theory and formulas of special forms 2015 : Alex Wilkie, Complex Continuations of Functions Definable in with a Diophantine Application.
Notes et références Notes
Références
Catégorie:Organisme fondé en 1936 Catégorie:American Mathematical Society