Dimensionen - die Welt der Wissenschaft
Gödel googelt. Wie logisch ist die digitale Welt?
Gestaltung: Armin Stadler
14. Juli 2015, 19:05
In Wien formulierte der größte Logiker nach Aristoteles seinen epochalen "Unvollständigkeitssatz" und schlug damit ein Leck in das bis dahin wasserdichte Beweissystem der Mathematik: Kurt Gödel. - Eine kleine Spekulation: Was wäre, wenn Gödel die Frage stellte, ob die digitale Welt inzwischen nicht doch etwas logischer funktionieren könnte? Wenn man beim Googeln den Buchstabe "G" ins Suchfeld schreibt und als erstes den Begriff "Google" serviert bekommt, obwohl man sich gar nicht über diese Suchmaschine informieren will, das kann Gödel gerade noch akzeptieren. Aber muss die Logik des Marktes im Internet wirklich so dominant sein? Und wo bleibt das "Semantic Web", von dem alle Surfer träumen? Indem man schneller relevante Informationen findet, weil die Datenverknüpfung nach ausschließlich logischen Regeln funktioniert. Die dafür notwendigen Suchalgorithmen müsste es doch längst geben? 37 Jahre nach seinem Tod? - Der wiederbelebte Kurt Gödel fragt bei einigen seiner Erben nach.
