1972 - 2004
The aim of the “Mathematical Logic” undertaking was 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 and to make the existing knowledge accessible in accordance with specific requirements. For this field of science, the constantly growing publication activity and the increasing scattering of scientific results were to be countered by a unifying organizing instrument to secure the entire state of knowledge in this field from its origins and to make its contents available.
To this end, the company maintained a comprehensive, structured bibliography of literature from the aforementioned fields and developed formalisms for the functional presentation of content-related knowledge with the possibility of specific information searches and information transfer. The six-volume logic bibliography published in 1987 was updated and expanded into a generally accessible information system for mathematical logic (http://www.math-logic.org), which centrally coordinated and processed the globally available offers.
The documented literature was classified according to the classification scheme for mathematical logic developed at the research center, which in its essential features became the logic part of the internationally accepted comprehensive Mathematical Subject Classification Scheme MSC 2000.
This was an exemplary attempt to capture a scientific discipline in its entirety and to enable access to its contents. However, due to the fundamental nature of mathematical logic, this approach goes far beyond the boundaries of the field.
Chairman of the Commission
Prof. Dr. Klaus Kirchgäßner
Head of research
Prof. Dr. Michael M. Richter
Employees
Dr. Wolfgang Lenski