L'entreprise « Logique mathématique » avait pour objectif de documenter, structurer et représenter l'état actuel des connaissances dans le domaine de la logique mathématique et des domaines connexes dans toute leur étendue et leur profondeur, ainsi que de rendre les connaissances existantes accessibles en fonction d'exigences spécifiques. Pour ce domaine scientifique, il s'agissait ainsi de contrer la multiplication constante des publications et la dispersion croissante des résultats scientifiques par un outil de classification unificateur permettant de garantir l'intégralité des connaissances dans ce domaine depuis ses origines et de rendre son contenu accessible.

À cette fin, l'entreprise a constitué une bibliographie complète et structurée de la littérature dans les domaines mentionnés et a développé des formalismes permettant une présentation fonctionnelle des connaissances thématiques avec la possibilité d'effectuer des recherches d'informations spécifiques et de transmettre des informations. La bibliographie en six volumes sur la logique, publiée en 1987, a été mise à jour et développée pour devenir un système d'information accessible à tous sur la logique mathématique (https://www.math-logic.org), qui coordonnait et traitait de manière centralisée les offres disponibles dans le monde entier.

La littérature documentée a été classée selon le schéma de classification pour la logique mathématique développé par le centre de recherche, dont les principes fondamentaux ont été repris dans la partie logique du schéma de classification mathématique MSC 2000, largement accepté à l'échelle internationale. La littérature a en outre été structurée et devrait être exploitée de manière plus approfondie sur la base d'une compréhension conceptuelle plus approfondie du domaine.

À titre d'exemple, on a tenté ici d'appréhender une discipline scientifique dans sa globalité et de permettre l'accès à ses contenus. Cependant, en raison du caractère fondamental de la logique mathématique, cette approche dépasse largement les limites propres à ce domaine.

Président de la commission

Professeur Klaus Kirchgäßner

directeur de recherche

Professeur Michael M. Richter

collaborateurs

Dr Wolfgang Lenski