Jubiläumsband 60 Jahre DVMLG

Am 28. Juli 2022 jährte sich die Gründung der DVMLG zum sechzigsten Male. Zu diesem Anlaß wurde ein Jubiläumsband zusammengestellt, der auf dem Colloquium Logicum 2022 am 27. September 2022 in Konstanz feierlich vorgestellt wurde.

Der Jubiläumsband hat zum Ziel, allen Leserinnen und Lesern einen Überblick über Hintergründe, den institutionellen Kontext und persönliche Erlebnisse von der Grundung der DVMLG bis zum heutigen Tage zu geben. Der Band entält historische Darstellungen von Archivmaterial, Beschreibungen von Logikstandorten im deutschsprachigen Raum und Forschungsüberblicke von Gebieten, die bedeutend für die Entwicklung des Gebiets Logik & Grundlagenforschung waren. Die Auswahl der Themen in disem Bande kann keinem Anspruch der Vollständigkeit oder Repräsentativität genügen.

Der Band wurde in der Reihe Tributes des Verlags College Publications veröffentlicht, der die Druckversion des Bands als print-on-demand für den sehr moderaten Preis von € 21,30 anbietet: Bestellung der Druckversion über amazon.de. Der Verlag College Publications erlaubt es der DVMLG, den Band vollständig als open access auf dieser Webseite zur Verfügung zu stellen.

Benedikt Löwe, Deniz Sarikaya (eds.) 60 Jahre DVMLG Tributes, Volume 48 College Publications, London, 2022 PDF-Datei des gesamten Buchs in veröffentlichter Form PDF-Datei des gesamten Buchs mit einer Korrektur auf Seite xi (Austrittsdatum Michael Richter); erstellt im Januar 2023.

Vorwort Benedikt Löwe & Deniz Sarikaya	vii–xiii	PDF-Datei
Vorwort mit Korrektur auf Seite xi; erstellt im Januar 2023		PDF-Datei
Erinnerungen an frühe Jahre der DVMLG Wolfgang Bibel	1–11	PDF-Datei
Weihrauch complexity and the Hagen school of computable analysis Vasco Brattka	13–44	PDF-Datei
Geschichte des Lehrstuhls für Logik und Grundlagenforschung an der Rheinischen Friedrich-Wilhelms-Universität Bonn Elke Brendel & Rainer Stuhlmann-Laeisz	45–50	PDF-Datei
Logic and foundations of the exact sciences at the University of Konstanz: people & projects 1966–2021 Bernd Buldt	51–96	PDF-Datei
Zum Zermelo-Ring Heinz-Dieter Ebbinghaus & Benedikt Löwe	97–102	PDF-Datei
DLMPS—Tarski's vision and ours Wilfrid Hodges	103–119	PDF-Datei
Interview mit Arnold Oberschelp Deborah Kant & Deniz Sarikaya	121–126	PDF-Datei
Unterwegs mit Alan Turing Anke Kell	127–132	PDF-Datei
Mathematical logic at the Department of Mathematics at TU Darmstadt Ulrich Kohlenbach & Thomas Streicher	133–137	PDF-Datei
What can formal systems do for mathematics? A discussion through the lens of proof assistants Angeliki Koutsoukou-Argyraki	139–169	PDF-Datei
Die Mitgliederentwicklung in der Frühzeit der DVMLG Benedikt Löwe	171–185	PDF-Datei
Grundlagenforschung der exakten Wissenschaften: die DVMLG und die Philosophie Benedikt Löwe	187–202	PDF-Datei
Satzungen der DVMLG durch die Jahrzehnte Benedikt Löwe & Deniz Sarikaya	203–224	PDF-Datei
Eine kurze Geschichte der Entwicklung der Logik in Münster Wolfram Pohlers	225–232	PDF-Datei
Logik am Mathematischen Institut der Ludwig-Maximilians-Universität München Wolfram Pohlers & Stan Wainer	233–238	PDF-Datei
The birth pangs of DLMPS Paul van Ulsen	239–242	PDF-Datei