Kurzfassung

Das Unternehmen "Mathematische Logik" der Heidelberger Akademie der Wissenschaften verfolgt das Ziel, den aktuellen Wissensstand aus dem Bereich der Mathematischen Logik und angrenzender Gebiete zu dokumentieren, zu strukturieren und zu repräsentieren sowie das vorhandene Wissen spezifischen Anforderungen gemäß zugänglich zu machen. Der ständig wachsenden Publikationstätigkeit sowie auch der zunehmenden Verstreutheit wissenschaftlicher Resultate soll damit ein Instrument zur Bewahrung und...Das Unternehmen "Mathematische Logik" der Heidelberger Akademie der Wissenschaften verfolgt das Ziel, den aktuellen Wissensstand aus dem Bereich der Mathematischen Logik und angrenzender Gebiete zu dokumentieren, zu strukturieren und zu repräsentieren sowie das vorhandene Wissen spezifischen Anforderungen gemäß zugänglich zu machen. Der ständig wachsenden Publikationstätigkeit sowie auch der zunehmenden Verstreutheit wissenschaftlicher Resultate soll damit ein Instrument zur Bewahrung und Verfügbarmachung wissenschaftlicher Inhalte entgegengesetzt werden. Zu diesem Zweck unterhält das Unternehmen eine umfassende strukturierte Bibliographie der Literatur aus den genannten Bereichen und entwickelt Formalismen zur funktionsgerechten Darstellung inhaltlichen Wissens. Dabei wird die im Jahre 1987 erschienene sechsbändige Logikbibliographie mit ca. 50.000 Einträgen und 3.600 Seiten Umfang fortgeschrieben. Die dokumentierte Literatur wird insbesondere durch Feinklassifikation unter Mitarbeit einer internatonalen Gruppe von Logikern aufbereitet und soll durch eine tiefergreifende inhaltliche Strukturierung des Gebietes weitergehend erschlossen werden. Aufbauend auf deren computergestützter Darstellung können damit für spezifische Forschungsziele klassifizierte Informationen bereitgestellt und abgerufen werden. Exemplarisch wird hiermit der Versuch unternommen, eine wissenschaftliche Disziplin in ihrer Gesamtheit zu erfassen und den Zugang zu ihren Inhalten zu ermöglichen.» weiterlesen» einklappen