Période d'activité : 1974-2004

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 ampleur et leur profondeur, ainsi que de rendre ces connaissances accessibles en fonction d’exigences spécifiques. Pour ce domaine scientifique, il s'agissait ainsi de répondre à l'activité de publication en constante augmentation ainsi qu'à la dispersion croissante des résultats scientifiques par un outil de classement unificateur, destiné à préserver l'ensemble des connaissances de ce domaine depuis ses origines et à en rendre le contenu accessible.

À cette fin, l’entreprise a entretenu une bibliographie exhaustive et structurée dans les domaines mentionnés et a développé des formalismes permettant une présentation fonctionnelle des connaissances, avec la possibilité d’effectuer des recherches spécifiques et de transmettre des informations. Dans ce cadre, la bibliographie de logique en six volumes, parue en 1987, a été mise à jour et développée pour devenir un système d’information dédié à la logique mathématique, qui coordonnait et traitait de manière centralisée les ressources disponibles à l’échelle mondiale.

La littérature répertoriée a été classée selon le schéma de classification pour la logique mathématique développé au sein du centre de recherche, dont les grandes lignes sont devenues la partie « logique » du Mathematical Subject Classification Scheme MSC 2000, un système de classification mathématique complet et internationalement reconnu.La littérature a en outre été traitée sur le plan structurel et devait faire l’objet d’une exploitation plus approfondie sur la base d’une compréhension conceptuelle plus poussée du domaine.

À titre d’exemple, nous avons ainsi tenté de saisir une discipline scientifique dans sa globalité et de permettre l’accès à ses contenus. Toutefois, en raison du caractère fondamental de la logique mathématique, cette approche dépasse largement les limites de ce domaine.

Président de la commission

Prof. Dr Klaus Kirchgäßner †

Directeur du centre de recherche

Prof. Dr Michael M. Richter †

Collaborateur

Dr Wolfgang Lenski