- ホーム
- > 洋書
- > ドイツ書
- > Mathematics, Sciences & Technology
- > Computer & Internet
- > general surveys & lexicons
Description
(Text)
Menschliche Erkenntnis ist auf Sprache angewiesen, diese aber wird durch Erkenntnis geprägt und umgestaltet. Aus der Sicht der Informatik stellt sich die Frage: Wie soll Wissen, das auf einer derartigen Verklammerung beruht, in einem Computer (und das heißt formal) repräsentiert werden? Dieses Grundproblem wird hier als informatische Ausprägung des "hermeneutischen Zirkels" genommen, und dieser in einer erweiterten Theorie der Berechenbarkeit ( Scott's Domains ) modelliert. Das Resultat ist der Kern einer typenfreien approximativen Informationslogik. Jede "Aussage" einer Ebene n ist isomorph mit einem Aussagebestandteil der Ebene n+l , der den Informationsgehalt der Aussage n nichtlokal speichert. Dieser mathematische Gehalt wird aus Analysen zum Aussagebegriff bei Aristoteles entwickelt, wobei Arbeiten Martin Heideggers zur Unterstützung herangezogen werden.
(Table of content)
Aus dem Inhalt: Typ-1- und Typ-2-Berechenbarkeitstheorie - Hermeneutische Analyse informatischer Anwendungsproblematik - Klassischer/moderner Aussagebegriff - Qualitativer Informationsbegriff - Repräsentation unvollständiger Kenntnisse - Aristotelische Logik.
(Author portrait)
Der Autor: Claus Brillowski wurde 1955 in Altötting/Oberbayern geboren. Er studierte Informatik und Philosophie an der Universität Hamburg. Praktische Konsequenzen dieser Arbeit verfolgt der Autor gegenwärtig im Rahmen seiner Arbeit für die Unternehmensberatung Pohlmann.
