Die Vorgeschichte: Von Leibniz zur Turingmaschine
Dieser Text ist eine Vorschau auf Geschichte der Hegelrezeption, Band II, der 2026 bei Reflexivity Press erscheint.
Leibniz’ Traum: Calculemus!
Der Traum, das Denken zu mechanisieren, ist alt. Gottfried Wilhelm Leibniz, im 17. Jahrhundert, entwarf eine „characteristica universalis“ - eine universale Zeichensprache, in der alle Gedanken ausgedrückt werden könnten. Und einen „calculus ratiocinator“ - einen Kalkül, mit dem alle Wahrheiten berechnet werden könnten.
Leibniz’ Vision: Wenn Menschen streiten, sollten sie sagen: „Lasst uns rechnen!“ (Calculemus!) Der Streit würde sich auflösen wie eine Rechenaufgabe. Keine Rhetorik, keine Überredung, nur Berechnung.
Das blieb Traum. Leibniz konnte weder die universale Sprache noch den Kalkül entwickeln. Aber der Traum wirkte weiter. Die formale Logik des 19. Jahrhunderts - Boole, Frege, Russell - war ein Schritt in diese Richtung. Und die Computerwissenschaft des 20. Jahrhunderts ein weiterer.
Alan Turing und die universelle Maschine
Alan Turing bewies 1936 etwas Erstaunliches: Es gibt eine Maschine, die jede berechenbare Funktion berechnen kann. Die „Turingmaschine“ ist ein abstraktes Modell - ein unendliches Band mit Symbolen, ein Lese/Schreibkopf, der sich bewegt und Symbole verändert, ein endlicher Satz von Regeln.
Diese einfache Maschine kann alles berechnen, was überhaupt berechenbar ist. Nicht nur Arithmetik - auch Textverarbeitung, Bildbearbeitung, Schachspiel, alles. Die Turingmaschine ist die theoretische Grundlage des Computers.
Aber Turing bewies auch etwas Negatives: Es gibt Probleme, die keine Turingmaschine lösen kann. Das berühmteste ist das „Halteproblem“: Man kann nicht im Allgemeinen entscheiden, ob ein Programm jemals anhält oder ewig weiterläuft. Es gibt prinzipielle Grenzen der Berechenbarkeit.
Die philosophische Frage drängt sich auf: Ist das menschliche Denken eine Turingmaschine? Können Menschen Probleme lösen, die keine Maschine lösen kann? Oder sind wir auch „nur“ sehr komplexe Berechnungsprozesse?
Der Turing-Test
Turing stellte 1950 die Frage: „Können Maschinen denken?“ Und er gab eine pragmatische Antwort: Wenn eine Maschine sich in einem Gespräch so verhält, dass man sie nicht von einem Menschen unterscheiden kann, dann „denkt“ sie - zumindest operativ.
Das ist der Turing-Test: Ein Mensch kommuniziert über einen Bildschirm mit einem unbekannten Gegenüber. Wenn er nicht entscheiden kann, ob es ein Mensch oder eine Maschine ist, hat die Maschine den Test bestanden.
Der Test ist behaviouristisch: Er fragt nicht nach dem inneren Erleben der Maschine, sondern nur nach ihrem äußeren Verhalten. Das ist seine Stärke und seine Grenze. Die Stärke: Er vermeidet metaphysische Spekulationen über „wahres Bewusstsein“. Die Grenze: Er könnte eine perfekte Simulation für echtes Denken halten.