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 enthä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 diesem 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 einen sehr moderaten Preis anbietet: Bestellung der Druckversion über amazon.de. Der Verlag College Publications erlaubt es der DVMLG, den Band vollständig als diamond open access unter dem folgenden Link 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 |