The “Mathematical Logic” project aimed to document, structure, and represent the current state of knowledge in the field of mathematical logic and related areas in its full breadth and depth, as well as to make this knowledge accessible in accordance with specific requirements. For this field of science, the aim was to counter the ever-growing volume of publications and the increasing dispersion of scientific results with a unifying organizational tool designed to preserve the entire body of knowledge in this field from its origins and to make its contents available.

Zu diesem Zweck unterhielt das Unternehmen eine umfassende, strukturierte Bibliographie aus den genannten Bereichen und entwickelte Formalismen zur funktionsgerechten Darstellung inhaltlichen Wissens mit der Möglichkeit spezifischer Informationssuche und Informationsvermittlung. Dabei wurde die im Jahre 1987 erschienene, sechsbändige Logikbibliographie fortgeschrieben und zu einem Informationssystem für die mathematische Logik ausgebaut, das die weltweit verfügbaren Angebote zentral koordinierte und aufbereitete.

The documented literature was classified according to the classification scheme for mathematical logic developed at the research center, which essentially became the logic section of the internationally accepted comprehensive Mathematical Subject Classification Scheme (MSC 2000). The literature was also organized structurally and was to be further cataloged based on a more in-depth conceptual understanding of the field.

Exemplarisch wurde hiermit der Versuch unternommen, eine wissenschaftliche Disziplin in ihrer Gesamtheit zu erfassen sowie den Zugang zu ihren Inhalten zu ermöglichen. Durch den Grundlagen-Charakter der mathematischen Logik weist dieser Ansatz jedoch weit über die Grenzen des Gebietes hinaus.

Chairman of the Commission

Prof. Dr. Klaus Kirchgäßner †

head of research

Prof. Dr. Michael M. Richter †

staff

Dr. Wolfgang Lenski