stringtranslate.com

Asociación para la lógica simbólica

La Asociación de Lógica Simbólica ( 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 Curt John Ducasse . El actual presidente de la ASL es Phokion Kolaitis . [1]

Publicaciones

La ASL publica libros y revistas académicas . Sus tres revistas oficiales son:

Además, la ASL cuenta con una revista patrocinada:

La organización jugó un papel en la publicación de los escritos recopilados de Kurt Gödel . [2]

Serie de libros

Apuntes de clases de lógica [3]

La perspectiva en la lógica [4]

Libros

Lógica matemática de Joseph R. Shoenfield [5]

Ciclo de conferencias sobre Gödel

La serie de conferencias Gödel es una serie de conferencias anuales en ASL que se remontan a 1990. [6]

La 35.ª Conferencia Gödel de 2024

Thomas Scanlon, (In)decidibilidad en campos

La 34.ª Conferencia Gödel de 2023

Carl Jockusch , De los algoritmos que tienen éxito en un gran conjunto de entradas a los grados de Turing como espacio métrico

La 33.ª Conferencia Gödel de 2022

Patricia Blanchette , El formalismo en la lógica

La trigésima segunda conferencia de Gödel de 2021

Matthew Foreman , Difeomorfismos de Gödel

La 31.ª Conferencia Gödel de 2020

Elisabeth Bouscaren , La ubicuidad de las configuraciones en la teoría de modelos

La 30.ª Conferencia Gödel 2019

Sam Buss , Totalidad, Probabilidad y Viabilidad

La vigésimo novena conferencia anual Gödel 2018

Rod Downey , Aleatoriedad algorítmica

La vigésimo octava conferencia anual Gödel 2017

Charles Parsons , Gödel y el universo de conjuntos

La vigésimo séptima conferencia anual Gödel 2016

Stevo Todorcevic , Problemas básicos en la teoría de conjuntos

La vigésimo sexta conferencia anual Gödel 2015

Alex Wilkie , Continuaciones complejas de funciones definibles en una aplicación diofántica

La vigésimo quinta conferencia anual Gödel 2014

Julia F. Knight , Teoría de la estructura computable y fórmulas de formas especiales

La vigésimo cuarta conferencia anual Gödel 2013

Kit Fine , semáforo de Truthmaker

La vigésimo tercera conferencia anual Gödel 2012

John Steel , Los conjuntos definibles ordinales hereditarios en modelos de determinación

La vigésimo segunda conferencia anual Gödel 2011

Anand Pillay , Teorías de primer orden

La vigésimo primera conferencia anual Gödel 2010

Alexander Razborov , Complejidad de las pruebas proposicionales

La vigésima conferencia anual Gödel 2009

Richard Shore , Matemáticas inversas: el patio de recreo de la lógica

La decimonovena conferencia anual Gödel 2008

W. Hugh Woodin , La hipótesis del continuo, la conjetura de $\Omega$ y el problema del modelo interno de un cardinal supercompacto

La decimoctava conferencia anual Gödel 2007

Ehud Hrushovski (una conferencia sobre su obra pronunciada en su ausencia por Thomas Scanlon )

Decimoséptima Conferencia Anual Gödel 2006

Per Martin-Löf , Las dos capas de la lógica

La decimosexta conferencia anual Gödel 2005

Menachem Magidor , teoremas de Skolem-Lowenheim para lógicas generalizadas

Decimoquinta Conferencia Anual Gödel 2004

Michael O. Rabin , Pruebas, persuasiones y aleatoriedad en matemáticas

La decimocuarta conferencia anual Gödel 2003

Boris Zilber , Categoricidad

La decimotercera conferencia anual Gödel 2002

Harvey Friedman , Cuestiones sobre los fundamentos de las matemáticas

Duodécima Conferencia Anual Gödel 2001

Theodore A. Slaman , Teoría de la recursión

La undécima conferencia anual Gödel 2000

Jon Barwise (Cancelado debido a la muerte del orador)

Décima Conferencia Anual Gödel 1999

Stephen A. Cook , Lógica y complejidad computacional

Novena Conferencia Anual Gödel 1998

Alexander S. Kechris , Tendencias actuales en la teoría descriptiva de conjuntos

La octava conferencia anual Gödel de 1997

1997 Solomon Feferman , Ocupaciones y preocupaciones con Gödel: Sus *Obras* y la Obra

Séptima Conferencia Anual Gödel 1996

1996 Saharon Shelah , Categoricidad sin compacidad

La sexta conferencia anual Gödel de 1995

1995 Leo Harrington , Goedel, Heidegger y la percepción directa (o por qué soy un teórico de la recursión)

La quinta conferencia anual de Gödel de 1994

1994 Donald A. Martin , izq. (der.): Una encuesta

La cuarta conferencia anual de Gödel de 1993

1993 Angus Macintyre , Lógica del análisis real y p-ádico: logros y desafíos

La tercera conferencia anual de Gödel de 1992

1992 Joseph R. Shoenfield , El método de la prioridad

La segunda conferencia anual de Gödel de 1991

1991 Dana Scott , ¿Los lógicos serán reemplazados por máquinas?

La primera conferencia anual de Gödel de 1990

1990 Ronald Jensen , modelos interiores y grandes cardenales

Reuniones

La ASL celebra dos reuniones principales cada año, una en América del Norte y otra en Europa (esta última conocida como el Coloquio de Lógica ). Además, la ASL celebra periódicamente 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

[7]

Premios

La asociación entrega periódicamente una serie de premios y reconocimientos. [8]

Premio Karp

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 fue establecido en 1973 en memoria de la profesora Carol Karp . [9]

Premio Sacks

El premio Sacks se otorga a la tesis doctoral más destacada en lógica matemática. Consiste en un premio en metálico y fue establecido en 1999 para honrar al profesor Gerald Sacks del MIT y Harvard.

Los destinatarios incluyen: [10]

Premio Shoenfield

Inaugurado en 2007, el Premio Shoenfield se otorga cada tres años en dos categorías, libro y artículo, reconociendo la escritura expositiva destacada en el campo de la lógica y honrando el nombre de Joseph R. Shoenfield . [11]

Los destinatarios incluyen:

Conferencia de Gödel

Inaugurada en 1990, la Conferencia Gödel es el honor de ser el orador en la reunión anual de la asociación. El premio lleva el nombre de Kurt Gödel .

Para consultar la lista completa de oradores, consulte la serie de conferencias Gödel más arriba.

Referencias

  1. ^ "Miembros del Consejo, Comités y Representantes – Asociación para la Lógica Simbólica". Asociación para la Lógica Simbólica. Archivado desde el original el 4 de mayo de 2023. Consultado el 4 de mayo de 2023 .
  2. ^ «Gödel Lecturers – Association for Symbolic Logic». Archivado desde el original el 22 de diciembre de 2019. Consultado el 21 de febrero de 2019 .
  3. ^ "Lecture Notes in Logic – Association for Symbolic Logic". Archivado desde el original el 29 de febrero de 2024. Consultado el 29 de febrero de 2024 .
  4. ^ "Perspectivas en lógica – Asociación de lógica simbólica". Archivado desde el original el 29 de febrero de 2024 . Consultado el 29 de febrero de 2024 .
  5. ^ «Otros libros – Asociación de Lógica Simbólica». Archivado desde el original el 29 de febrero de 2024. Consultado el 29 de febrero de 2024 .
  6. ^ «Gödel Lecturers – Association for Symbolic Logic». Archivado desde el original el 12 de febrero de 2024. Consultado el 29 de febrero de 2024 .
  7. ^ "Exoficiales – Asociación de Lógica Simbólica". Archivado desde el original el 22 de diciembre de 2019. Consultado el 26 de septiembre de 2019 .
  8. ^ «Premios y reconocimientos – Asociación de Lógica Simbólica». Asociación de Lógica Simbólica. Archivado desde el original el 24 de enero de 2019. Consultado el 24 de enero de 2019 .
  9. ^ "Ganadores del Premio Karp – Asociación de Lógica Simbólica". Archivado desde el original el 22 de julio de 2019 . Consultado el 24 de enero de 2019 .
  10. ^ "Ganadores del Premio Sacks – Asociación de Lógica Simbólica". Archivado desde el original el 22 de julio de 2019 . Consultado el 24 de enero de 2019 .
  11. ^ "Ganadores del Premio Shoenfield – Asociación de Lógica Simbólica". Archivado desde el original el 22 de julio de 2019. Consultado el 21 de febrero de 2019 .

Enlaces externos