The German Association for Mathematical Logic and for Basic Research in the Exact Sciences (German: Deutsche Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften; DVMLG) is the

learned society A learned society (; also learned academy, scholarly society, or academic association) is an organization that exists to promote an discipline (academia), academic discipline, profession, or a group of related disciplines such as the arts and s ...

representing the interdisciplinary research area of

Logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

(within the disciplines of

Mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

Philosophy Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ...

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

, and

Linguistics Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Linguis ...

) in

German German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Ger ...

-speaking countries. It was founded in 1962 by

Wilhelm Ackermann Wilhelm Friedrich Ackermann (; ; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. Biography ...

Gisbert Hasenjaeger Gisbert F. R. Hasenjaeger (June 1, 1919 – September 2, 2006) was a German mathematical logician. Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt Gödel for predicate logi ...

Hans Hermes Hans Hermes (; 12 February 1912 – 10 November 2003) was a German mathematician and logician, who made significant contributions to the foundations of mathematical logic. Hermes was born in Neunkirchen, Germany. Personal life From 1931, Hermes ...

, Jürgen von Kempski,

Paul Lorenzen Paul Lorenzen (March 24, 1915 – October 1, 1994) was a German philosopher and mathematician, founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz). Biography Lorenzen studied at the University ...

, Arnold Schmidt, and

Kurt Schütte Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) was a Germans, German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for pr ...

. Its members are researchers in

Mathematical Logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

Philosophical Logic Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical ...

, and

Theoretical Computer Science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

. Biannually, the DVMLG organises the ''Colloquium Logicum'', an international research conference in logic. The DVMLG forms the National Committee for Logic, Methodology and Philosophy of Science representing the Ordinary Member

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

within the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST).

Governance

The current President of the DVMLG is Katrin Tent (since 2022). The Board consists of the President and five other members:

Matthias Aschenbrenner Matthias Aschenbrenner (born 1972 in Bad Kötzting) is a German-American mathematician. He is a professor of mathematics at the University of Vienna and director of the logic group there. His research interests include differential algebra and m ...

(Vice President; ''stellvertretende Vorsitzende''), Manuel Bodirsky, Leon Horsten,

Benedikt Löwe Benedikt Löwe (born 1972) is a German mathematician and logician working at the universities of Amsterdam, Hamburg, and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the ...

, Heike Mildenberger.

Past Presidents

Past Board members

The following persons were among the members of the DVMLG Board in the past:

(1962),

(since 2021; Vice President since 2022),

(1962–1970),

(1962–1972; President 1967–1970),

(1962–1972),

(1962–1971),

Arnold Oberschelp Arnold Oberschelp (born 5 February 1932 in Recklinghausen) is a German mathematician and logician. He was for many years professor of logic and in Kiel. Life Oberschelp studied mathematics and physics at the universities of University of Götti ...

(1965–1979; President 1970–1976),

Wolfgang Stegmüller Wolfgang Stegmüller (; June 3, 1923 – June 11, 1991) was a German-Austrian philosopher who made important contributions in philosophy of science and analytic philosophy. Biography W. Stegmüller studied economics and philosophy at the Universit ...

(1965–1969),

Ernst Specker Ernst Paul Specker (11 February 1920, Zurich – 10 December 2011, Zurich) was a Swiss mathematician. Much of his most influential work was on Quine's New Foundations, a set theory with a universal set, but he is most famous for the Kochen–Sp ...

(1970–1977),

Heinz-Dieter Ebbinghaus Heinz-Dieter Ebbinghaus (born 22 February 1939 in Hemer, Province of Westphalia) is a German mathematician and logician. He received his PhD in 1967 at the University of Münster under Hans Hermes and Dieter Rödding. Ebbinghaus has written vari ...

(1972–1981), Anne Troelstra (1977–2000),

Michael M. Richter Michael M. Richter (21 June 1938 – 10 July 2020) was a German mathematician and computer scientist. Richter is well known for his career in mathematical logic, in particular non-standard analysis, and in artificial intelligence, in partic ...

(1981–1986; President 1981–1985),

Johann Makowsky Johann (János) A. Makowsky (born March 12, 1948) is a Hungarian-born naturalised Swiss mathematician who works in mathematical logic and the logical foundations of computer science and combinatorics. He studied at ETH Zurich from 1967–73. He w ...

(1998–2010),

Ulrich Kohlenbach Ulrich Wilhelm Kohlenbach (born 27 July 1962 in Frankfurt am Main) is a German mathematician and professor of algebra and Mathematical logic, logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining ...

(2006–2012; Vice President 2006–2008; President 2008–2012),

(seit 2006; Vice President 2008–2012; President 2012-2022), Sy David Friedman (2012–2014), Katrin Tent (since 2012; Vice President 2016-2022; President since 2022).

Activities

The DVMLG organises a biannual conference called ''Colloquium Logicum''. Since 2002, there is a ''PhD Colloquium'' organised as part of the ''Colloquium Logicum'' where excellent doctoral dissertations in logic are presented (based on nominations by the membership of the DVMLG). Past ''Colloquia Logica'' took place in

Kiel Kiel () is the capital and most populous city in the northern Germany, German state of Schleswig-Holstein, with a population of 246,243 (2021). Kiel lies approximately north of Hamburg. Due to its geographic location in the southeast of the J ...

(1988),

Bielefeld Bielefeld () is a city in the Ostwestfalen-Lippe Region in the north-east of North Rhine-Westphalia, Germany. With a population of 341,755, it is also the most populous city in the administrative region (''Regierungsbezirk'') of Detmold and the ...

(1990),

Münster Münster (; nds, Mönster) is an independent city (''Kreisfreie Stadt'') in North Rhine-Westphalia, Germany. It is in the northern part of the state and is considered to be the cultural centre of the Westphalia region. It is also a state distr ...

(1992), Neuseddin (1994),

Berlin Berlin ( , ) is the capital and largest city of Germany by both area and population. Its 3.7 million inhabitants make it the European Union's most populous city, according to population within city limits. One of Germany's sixteen constitue ...

(1998),

Dresden Dresden (, ; Upper Saxon: ''Dräsdn''; wen, label=Upper Sorbian, Drježdźany) is the capital city of the German state of Saxony and its second most populous city, after Leipzig. It is the 12th most populous city of Germany, the fourth larg ...

(2000),

(2002),

Heidelberg Heidelberg (; Palatine German language, Palatine German: ''Heidlberg'') is a city in the States of Germany, German state of Baden-Württemberg, situated on the river Neckar in south-west Germany. As of the 2016 census, its population was 159,914 ...

(2004),

Bonn The federal city of Bonn ( lat, Bonna) is a city on the banks of the Rhine in the German state of North Rhine-Westphalia, with a population of over 300,000. About south-southeast of Cologne, Bonn is in the southernmost part of the Rhine-Ruhr r ...

(2006),

Darmstadt Darmstadt () is a city in the States of Germany, state of Hesse in Germany, located in the southern part of the Frankfurt Rhine Main Area, Rhine-Main-Area (Frankfurt Metropolitan Region). Darmstadt has around 160,000 inhabitants, making it th ...

(2008),

(2010),

Paderborn Paderborn (; Westphalian: ''Patterbuorn'', also ''Paterboärn'') is a city in eastern North Rhine-Westphalia, Germany, capital of the Paderborn district. The name of the city derives from the river Pader and ''Born'', an old German term for t ...

(2012),

Neubiberg Neubiberg is a municipality and a village in south-east of Munich, Germany, founded in 1912. It used to have an airport that was used as a Luftwaffe-base in the Third Reich and after the war as a U.S. airbase and in the following years as the Germa ...

(2014),

Hamburg (male), (female) en, Hamburger(s), Hamburgian(s) , timezone1 = Central (CET) , utc_offset1 = +1 , timezone1_DST = Central (CEST) , utc_offset1_DST = +2 , postal ...

(2016),

Bayreuth Bayreuth (, ; bar, Bareid) is a town in northern Bavaria, Germany, on the Red Main river in a valley between the Franconian Jura and the Fichtelgebirge Mountains. The town's roots date back to 1194. In the 21st century, it is the capital of U ...

(2018), and

Konstanz Konstanz (, , locally: ; also written as Constance in English) is a university city with approximately 83,000 inhabitants located at the western end of Lake Constance in the south of Germany. The city houses the University of Konstanz and was th ...

(2022). ''Colloquium Logicum 2012'' was part of the

activities of the

Alan Turing Year The Alan Turing Year, 2012, marked the celebration of the life and scientific influence of Alan Turing during the centenary of his birth on 23 June 1912. Turing had an important influence on computing, computer science, artificial intelligence, ...

, celebrating the centenary of

Alan Turing Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical com ...

. As part of these celebrations, the DVMLG organised a theatre tour of the

University Players Hamburg A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase ''universitas magistrorum et scholarium'', which rou ...

performing

Hugh Whitemore Hugh John Whitemore (16 June 1936 – 17 July 2018) was an English playwright and screenwriter. Biography Whitemore studied for the stage at London's Royal Academy of Dramatic Art, where he was taught by Peter Barkworth, then on the staff at RADA ...

's play

Breaking the Code ''Breaking the Code'' is a 1986 play by Hugh Whitemore about British mathematician Alan Turing, who was a key player in the breaking of the German Enigma code at Bletchley Park during World War II and a pioneer of computer science. The play the ...

in Germany and the

Netherlands ) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherl ...

. The ''Colloquium Logicum'' in

was scheduled for September 2020, but was postponed to for two years due to the

COVID-19 pandemic The COVID-19 pandemic, also known as the coronavirus pandemic, is an ongoing global pandemic of coronavirus disease 2019 (COVID-19) caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). The novel virus was first identif ...

. Together with the

German Mathematical Society The German Mathematical Society (german: Deutsche Mathematiker-Vereinigung, DMV) is the main professional society of German mathematicians and represents German mathematics within the European Mathematical Society (EMS) and the International Mathe ...

(DMV), the DVMLG organises the ''Fachgruppe Mathematische Logik'' (Section Mathematical Logic). The DVMLG has a publication agreement with the scientific publishing house

Wiley Wiley may refer to: Locations * Wiley, Colorado, a U.S. town *Wiley, Pleasants County, West Virginia, U.S. * Wiley-Kaserne, a district of the city of Neu-Ulm, Germany People * Wiley (musician), British grime MC, rapper, and producer * Wiley Mill ...

and has been responsible for the scientific management of the journal ''Mathematical Logic Quarterly'' since 2011.

References

External links

* {{Authority control 1962 establishments in Germany Education in Germany Learned societies of Germany