Metadaten

Heidelberger Akademie der Wissenschaften [Hrsg.]
Jahrbuch ... / Heidelberger Akademie der Wissenschaften: Jahrbuch 2002 — 2003

DOI Kapitel:
II. Die Forschungsvorhaben
DOI Kapitel:
Die Forschungsvorhaben der Heidelberger Akademie der Wissenschaften
DOI Kapitel:
Mathematisch-naturwissenschaftliche Klasse
DOI Kapitel:
7. Mathematische Logik (Kaiserslautern)
DOI Seite / Zitierlink: 
https://doi.org/10.11588/diglit.66351#0194
Lizenz: Freier Zugang - alle Rechte vorbehalten

DWork-Logo
Überblick
Faksimile
0.5
1 cm
facsimile
Vollansicht
OCR-Volltext
Mathematische Logik | 205

ten Bezugspunkt für die Arbeiten der Forschungsstelle. Diese wurden im Berichts-
jahr bereits verstärkt auf das Laufzeitende 2004 hin perspektiviert. Das übergeord-
nete Ziel besteht darin, mit dem Abschluss der Förderung der Akademie ein erfolg-
reiches Unternehmen auf dem Stand der Forschung präsentieren zu können.
Die inhaltlichen Angebote der Forschungsstelle orientieren sich an der Ziel-
vorstellung, eine Wissenschaftsdisziplin in ihrer Ganzheit, sowohl in ihrer histori-
schen Entwicklung als auch in ihrer aktuellen Forschung, zu erfassen und den
Zugang zu ihren Inhalten zu ermöglichen. Die praktische Ausgestaltung dieser Vor-
stellung erfolgt dabei unter dem einheitsstiftenden Leitgedanken, der Verstreutheit
wissenschaftlicher Resultate ein Ordnungsinstrument entgegen zu stellen, das Orien-
tierung im Gefüge der weltweiten Informationslandschaft sowie Unterstützung für
aktuelle Forschungsfragen bietet.
Für die konkrete Arbeit der Forschungsstelle bedeutet dies insbesondere die
Integration aller weltweit angebotenen einschlägigen Dienste in ein zentrales Infor-
mationsangebot. Die Zusammenarbeit des Unternehmens mit den Referateorganen
sichert hierfür das Fundament.
Die Kooperation mit den Mathematical Reviews ist fest etabliert und verlief auch
im Berichtsjahr reibungslos. Die Forschungsstelle erhält parallel zu den Updates der
Datenbank der Mathematical Reviews sowie der Current Mathematical Publications die
jeweiligen Daten in deren internem Datenformat. Während die Verarbeitung der
Daten unter Beachtung der Struktureinteilung der Logik-Bibliographie inzwischen
weitest gehend automatisiert ist, verbleibt bei der inhaltlichen Anpassung an die Nor-
mierungen der Logik-Bibliographie jedoch ein zusätzlicher Verarbeitungsschritt, der
aber im Hinblick auf die integrative Funktion der Logik-Bibliographie als zentrales
Auskunftssystem für den Bereich der mathematischen Logik unhintergehbar ist.
Der Daten-Austausch mit dem Zentralblatt Math ist in vergleichbarer Weise ein-
gespielt. Im Hinblick auf das Laufzeitende des Unternehmens wurden über die
datentechnische Seite hinaus jedoch mit dem Zentralblatt MATH erste weiter führen-
de Gespräche über eine zukünftig auch institutionelle Einbindung geführt, die die
beiderseitigen Datenbestände in eine gemeinsame uniforme Struktur einbringen
soll. Für die hierzu erforderlichen strukturellen und inhaltlichen Anpassungen
einschließlich der Einführung eines gemeinsamen Informations-Angebots wurden
die notwendigen Bedingungen erörtert sowie eine erste Studie initiiert, die Per-
spektiven eines gemeinsamen Angebots für die mathematische Logik konkretisieren,
die technischen Möglichkeit einer Verknüpfung der beiderseitigen Bestände zur
mathematischen Logik klären sowie eine Abschätzung des erforderlichen techni-
schen Aufwand liefern soll.
Durch die Kooperation mit dem Documentation Center der Chinesischen Akade-
mie der Wissenschaften in Beijing wurden der Forschungsstelle im Berichtsjahr
routinemäßig die Daten der dort laufend neu verzeichneten Publikationen zur
mathematischen Logik zur Verfügung gestellt. Dies schließt über die Bereitstellung
von Metadaten zur bibliographischen Beschreibung der Publikationen hinaus auch
englisch-sprachige Fassungen der Referate ein, für die die Forschungsstelle aufgrund
der vertraglichen Vereinbarungen ein eigenständiges Verwertungsrecht besitzt. Diese
 
Annotationen
© Heidelberger Akademie der Wissenschaften