166

Tätigkeitsberichte

H. E. Schlosser, V. Ebert, B. A. Williams, J. W. Fleming, ‘NIR-Diode Laser Based In-
sim Measurement of Moleclar Oxygen in Full-Scale Fire Suppression Tests“, Tenth
Annual Halon Options Technical Working Conference (HOTWC 2000) Albu-
querque, New Mexico, May 2000, (Paper in press)
Promotionen
Heiner Pitz, „Empfindlicher In-situ Nachweis von Methan in einem 1 GWth Gas-
kraftwerk mit Hilfe der NIR Diodenlaserspektroskopie“, Universität Heidelberg,
2000

6. Mathematische Logik (Kaiserslautern)
Das Unternehmen „Mathematische Logik“ verfolgt das Ziel, den aktuellen Wissens-
stand aus dem Bereich der Mathematischen Logik und angrenzender Gebiete zu doku-
mentieren, zu strukturieren und zu repräsentieren sowie das vorhandene Wissen
spezifischen Anforderungen gemäß zugänglich zu machen. Zu diesem Zweck unter-
hält es eine umfassende strukturierte Bibliographie der Literatur aus den genannten
Bereichen und entwickelt Formalismen zur funktionsgerechten Darstellung inhalt-
lichen Wissens.
Mitglieder der Kommission:
die ordentlichen Mitglieder der Akademie Albrecht Dold, Hans Hermes, Klaus Kirch-
gäßner (Vorsitzender), Heinrich-Wolfgang Leopoldt, Dieter Puppe, Peter Roquette;
Prof. Dr. Dieter Maaß, Kaiserslautern; Prof. Dr. Gert H. Müller, Heidelberg).
Leiter der Forschungsstelle: Prof. Dr. Michael M. Richter, Kaiserslautern.
Mitarbeiter: Dr. Wolfgang Lenski, Dr. Elisabeth Wette-Roch.
Die übergeordneten Ziele der Forschungsstelle manifestieren sich wesentlich in der
Erstellung eines zentralen Auskunftsdienstes, der das Fachgebiet der mathematischen
Logik als Ganzes sowohl in seiner historischen Entwicklung als auch in seiner aktuel-
len Forschung dokumentiert und zukünftig auch einen direkten Zugang zu seinen
Inhalten ermöglichen will. Durch diesen Dienst soll zum einen die Grundlage für wis-
senschafts-historische Untersuchungen geschaffen als auch Unterstützung für die
aktuelle Forschung geboten werden, so dass die damit verbundenen Angebote der
Forschungsstelle ein einzigartiges Handwerkszeug ohne Vergleich weltweit für den
arbeitenden Wissenschaftler darstellen.
Implizit ist damit insbesondere ein universeller Anspruch der Ordnungserstellung
für eine wissenschaftliche Einzeldisziplin verbunden in einem Umfeld, das tendenziell
von zunehmender Verstreutheit der Angebote geprägt ist. Zur Erreichung dieser Ziele
wurden im Berichtsjahr wesentliche Fortschritte erzielt.
Bereits im Vorjahr wurde ein Vertrag mit den Mathematical Reviews und der Ame-
rican Mathematical Society über eine weitreichende Zusammenarbeit auf dem Gebiet
der mathematischen Logik abgeschlossen. Dieser Vertrag sieht den Aufbau eines
gemeinsam betriebenen Servers als Grundlage für ein umfassendes Auskunftssystem