Das Bit
Das Bit gilt als Grundbaustein der Information. Doch welche Information trägt dieser Grundbaustein?
Statische und dynamische Logik
Viele denken, dass unsere abendländische Logik perfekt sei. Sie hat sich über viele Jahrhunderte um das Beweisen bemüht, angefangen von den Syllogismen des Aristoteles über die Gottesbeweisen der mittelalterlichen Scholastik bis hin zur First-Order-Logic der Mathematik in jüngerer Zeit. Diese Systeme sind trotz ihres reifen Entwicklungsgrades nicht ausreichend, um die dynamischen Prozesse des Denkens abzubilden.
Dies fängt bereits mit dem einfachen IF-THEN an, das in den Syllogismen und der First-Order-Logic aus Prinzip immer statisch ist. Eine dynamische Logik ist jedoch unabdingbar, um Denkprozesse präzis zu beschreiben.
- Ist das IF-THEN statisch oder dynamisch?
- Logodynamik
Die klassische Logik ist monoton. Um die Denkprozesse abzubilden bedarf es einer nicht-monotonen, d.h. dynamischen Logik:
- NMR (Non-Monotonic-Reasoning)
Ein Problem der konventionellen Logik liegt in der Schlaufe der Selbstreferentialität (Barbierparadox, Gödel, Spencer-Brown):
Informationsreduktion
Logische Systeme sind immer Vereinfachungen der viel komplexeren und detailhaltigeren Realität. Um zu verstehen, wie wir denken, müssen wir uns mit dieser notgeborenen und unausweichlichen Beschränkung unseres Wissens um die Realität abfinden. Doch das Prinzip der Notwendigkeit der Informationsreduktion ist auch mathematisch begründbar:
Natürlich wollen wir immer möglichst viel, am besten alles und das in allen Details wissen. Weil das nicht zielführend sein kann, ist der Vorgang der Informationsreduktion entscheidend:
Das Thema der Informationsreduktion irritiert viele, doch wir befinden uns damit auf den Spuren von zwei der wichtigsten europäischen Philosophen, nämlich von William Ockham (Ockhams Razor) und Sokrates (Ich weiss, dass ich nichts weiss).
Maschinelles Denken
Als Informatiker bin ich fasziniert von Denkmaschinen. Doch denken Automaten wirklich selber? Oder beziehen sie ihre Intelligenz von denjenigen, die sie bauen, füttern und lenken? Was ist der Unterschied zwischen maschineller und biologischer Intelligenz?
- KI (Künstliche Intelligenz)