La Asociación Alemana para la Lógica Matemática y la Investigación Básica en Ciencias Exactas (en alemán: Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften; DVMLG) es la sociedad científica que representa el área de investigación interdisciplinaria de la Lógica (dentro de las disciplinas de Matemáticas , Filosofía , informática y lingüística ) en los países de habla alemana . Fue fundada en 1962 por Wilhelm Ackermann , Gisbert Hasenjaeger , Hans Hermes , Jürgen von Kempski, Paul Lorenzen , Arnold Schmidt y Kurt Schütte . Sus miembros son investigadores en Lógica Matemática , Lógica Filosófica e Informática Teórica . Cada dos años, la DVMLG organiza el Colloquium Logicum , una conferencia internacional de investigación en lógica. [1] El DVMLG forma el Comité Nacional de Lógica, Metodología y Filosofía de la Ciencia que representa al miembro ordinario Alemania dentro de la División de Lógica, Metodología y Filosofía de la Ciencia y Tecnología (DLMPST). [2]
La actual presidenta de la DVMLG es Katrin Tent (desde 2022). La junta está formada por el presidente y otros cinco miembros: Matthias Aschenbrenner (vicepresidente; stellvertretende Vorsitzende ), Manuel Bodirsky, Leon Horsten, Benedikt Löwe y Heike Mildenberger.
Entre los miembros de la junta directiva de DVMLG en el pasado figuraban las siguientes personas: [3] Wilhelm Ackermann (1962), Matthias Aschenbrenner (desde 2021; vicepresidente desde 2022), Gisbert Hasenjaeger (1962–1970), Hans Hermes (1962–1972 ) ; Presidente 1967–1970), Paul Lorenzen (1962–1972), Kurt Schütte (1962–1971), Arnold Oberschelp (1965–1979; Presidente 1970–1976), Wolfgang Stegmüller (1965–1969), Ernst Specker (1970–1977 ). ), Heinz-Dieter Ebbinghaus (1972–1981), Anne Troelstra (1977–2000), Michael M. Richter (1981–1986; Presidente 1981–1985), Johann Makowsky (1998–2010), Ulrich Kohlenbach (2006–2012; Vicepresidente 2006–2008; Presidente 2008–2012), Benedikt Löwe (desde 2006; Vicepresidente 2008–2012; Presidente 2012-2022), Sy David Friedman (2012–2014), Katrin Tent (desde 2012; Vicepresidenta 2016-2022 ; Presidente desde 2022).
La DVMLG organiza una conferencia bianual llamada Colloquium Logicum . Desde 2002, hay un Coloquio de Doctorado organizado como parte del Colloquium Logicum donde se presentan excelentes tesis doctorales en lógica (basadas en nominaciones de los miembros del DVMLG). Los Coloquios Lógicos anteriores tuvieron lugar en Kiel (1988), Bielefeld (1990), Münster (1992), Neuseddin (1994), Berlín (1998), Dresde (2000), Münster (2002), Heidelberg (2004), Bonn (2006). , Darmstadt (2008), [4] Münster (2010), Paderborn (2012), [5] Neubiberg (2014), [6] Hamburgo (2016), Bayreuth (2018) y Constanza (2022). Coloquium Logicum 2012 fue parte de las actividades alemanas del Año Alan Turing , celebrando el centenario de Alan Turing . Como parte de estas celebraciones, la DVMLG organizó una gira teatral de University Players Hamburg presentando la obra de Hugh Whitemore Breaking the Code en Alemania y los Países Bajos . [7] El Coloquio Lógico en Constanza estaba previsto para septiembre de 2020, pero fue pospuesto dos años debido a la pandemia de COVID-19 . [8]
Junto con la Sociedad Alemana de Matemáticas (DMV), la DVMLG organiza el Fachgruppe Mathematische Logik (Sección de Lógica Matemática). [9] La DVMLG tiene un acuerdo de publicación con la editorial científica Wiley y es responsable de la gestión científica de la revista Mathematical Logic Quarterly desde 2011. [10]