Duration: 1974–2004

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.

To this end, the company maintained a comprehensive, structured bibliography covering the aforementioned fields and developed methodologies for the functional presentation of substantive knowledge, enabling the targeted search for and dissemination of information. As part of this effort, the six-volume bibliography of logic, published in 1987, was updated and expanded into an information system for mathematical logic that centrally coordinated and organized the resources available worldwide.

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.

This work represents an attempt to provide a comprehensive overview of a scientific discipline and to facilitate access to its content. However, given the foundational nature of mathematical logic, this approach extends far beyond the boundaries of the field.

Chairman of the Commission

Prof. Dr. Klaus Kirchgäßner †

head of research

Prof. Dr. Michael M. Richter †

staff

Dr. Wolfgang Lenski