Alan Turing, Denkgenie: Ausgerechnet: Die Grenzen der Wahrheit

Köpfe mit Sinn fürs Abstrakteste stehen in Menschengemeinschaften häufig abseits. Nicht selten gehen sie uns ganz verloren. Manchmal aber hat das, was nur sie sehen können, Einfluss aufs Schicksal von Millionen. Hätten zum Beispiel ein paar arbeitsame Engländer unter der Anleitung des ungewöhnlich abstraktionshellsichtigen Logikers Alan Turing einer Signalverschlüsselungsmaschine von Hitlers Streitmacht nicht deren Geheimnisse entrissen, dann wäre der Zweite Weltkrieg in Europa womöglich ein paar grauenvolle Monate später beendet worden. Atombombenabwürfe auf hiesige Städte gehören zu den Möglichkeiten, die das einschließt.

Turing und seiner Arbeitsgruppe im Spionagezentrum Bletchley Park verdankt die Welt das Bewusstsein von der Waffenfähigkeit formalisierter und automatisierter Folgerungsketten, die heute nicht nur zwischenstaatliche Konflikte, sondern auch die sich im Minutentakt vervielfältigenden Fronten asymmetrischer Kriegsführung bestimmen. Schicksale einzelner, dem Alltag scheinbar in Regionen platonischer Idealität entrückter Leute können also auskristallisierte Geschichtsmomente sein - im Erfolg wie im Scheitern. Der einzige Turing in seinem Fach auch nur entfernt ebenbürtige Deutsche jener Zeit, der Beweistheoretiker Gerhard Gentzen, zog sich, während Turing den Seekrieg mit entschied, als Funker eines Luftnachrichtenregiments der Wehrmacht ein Nervenleiden zu, das man als Mikro-Allegorie des Gesamtirrsinns der „deutschen Wissenschaft“ lesen kann, in deren Namen die Nazis die deutsche Wissenschaft seinerzeit verheerten.

Gefängnis - oder Therapie mit Hormonen

Ihr Regime hat man aus der Welt geschafft. Alan Turings krypto-analytischer Anteil daran wurde ihm schlecht entlohnt. Denn dieser Mann, der Männer liebte und dafür unter den Nazis um sein Leben hätte fürchten müssen, fand sich von 1952 an von Gesetzes wegen auch in England als Sexualdissident verfolgt. Man stellte ihn vor die Wahl: Gefängnis oder Therapie mit Hormonen. Eine Vergiftung, die ein Selbstmord gewesen sein mag, brachte ihm den Tod - man muss das Leben eines Liebes- oder Denkabweichlers nicht erst mit dem Schaftstiefel zertreten, um es ihm unrettbar zu verleiden.

Noch in seinen letzten Wochen war Turing, den die gesetzliche Festschreibung einer krude, eng und grausam bestimmten biologischen Norm um Glück und Gesundheit brachte, damit beschäftigt, die Vielfalt des Biologischen besser zu verstehen. Gerade erst traten die Lebenswissenschaften aus dem beschreibenden ins exakte Stadium, und Turing half an der Universität von Manchester seit 1949 dabei mit. 1952, zwei Jahre vor seinem Tod und im Jahr des Beginns seiner Drangsalierung durch den britischen Staat, skizzierte er in seinem Aufsatz „The Chemical Basis of Morphogenesis“ eine Theorie über Instabilitäten in homogenen chemischen Medien, formgebende Wellenmuster und andere neue Einfälle, die zusammen die Umrisse ganzer Großbezirke heutiger Forschung, von den Nichtgleichgewichts-Phasenübergängen der Synergetik bis zur bioinformatischen Enträtselung der Genetik und Proteomik ahnen ließen.

Quasiphilosophische Überreaktionen

Egal, was du weißt, es bleibt ein Rest, den du ebendeshalb nicht wissen kannst. Rund zweihundert Jahre vergingen zwischen D’Alemberts Vorwort zur „Enzyklopädie“, dem großen Buch der Aufklärung, das dem großen Buch der christlichen Religion die Grenzen seines Gewissheitsanspruchs setzen sollte, und Turings epochalem Aufsatz „On Computable Numbers With an Application to the Entscheidungsproblem“ (1936). Die wertvollste Lektion, die der Menschheit in diesen zweihundert Jahren zugestoßen ist, lautet: Gewissheit ist unwissenschaftlich.

Koryphäen der Wissenschaftstheorie des zwanzigsten Jahrhunderts wie Karl Popper, Imre Lakatos, Paul Feyerabend und einige besonders radikale Konstruktivisten zeigten sich von der bis zu dieser Einsicht zurückgelegten Lerngeschichte dermaßen beeindruckt, dass sie sich bei allen sonstigen Differenzen untereinander mit manchen Formulierungen gefährlich nah an einer törichten Idee entlangbewegten: „Wenn Gewissheit unwissenschaftlich ist, dann ist Ungewissheit wissenschaftlich.“ Dieses Fieber wird wohl im 21.Jahrhundert vorübergehen wie einige Exzesse der bürgerlichen, aber auch der forciert antibürgerlichen Wissenssoziologie des letzten Jahrhunderts, die den negativen Abdruck alter metaphysischer Gewissheitssehnsüchte als maßlosen Relativismus kultivierten.

Alan Turing lebte vom 23. Juni 1912 bis zum 7. Juni 1954

Weil derlei Überreaktionen der quasiphilosophischen Schriftstellerei auf einen neuen Stand menschlicher Erfahrung zumindest kurzfristig erhebliche Verwirrung stiften, hängt das Fortschreiten über sie hinaus entscheidend davon ab, ob Köpfe mit Sinn fürs Abstrakteste die nötige definitorische Kleinarbeit leisten, aus der sich erst das scharf aufgelöste Bild des Neuen schälen kann. Das Doppeljahr 1936 und 1937 erlebte solch ein Fortschreiten mit zwei fast gleichzeitigen Schritten: Der Amerikaner Alonzo Church benutzte das Instrumentarium der sogenannten rekursiven Funktionen - mathematische Gegenstände aus Variablen, Konstanten und Pforten der Selbstreferentialität von Informationsverarbeitungsprozessen - zur präzisen Bestimmung dessen, was wir mit „Berechenbarkeit“ überhaupt meinen. Alan Turing wiederum fand ein geniales anschauliches Bild, das dieser Bestimmung als ihr physisches Modell äquivalent war (und sich daher bauen ließ - als Apparat, den wir heute Computer nennen).

Mathematik ist alles. Wirklich?

In diesem Augenblick kollabierte der Unterschied zwischen den seinerzeit diskutierten drei Sorten von Versuchen, die Mathematik selbst mit mathematischen Mitteln zu beschreiben, also sozusagen einen Knoten in sie zu drehen, der sie vor dem Zerfall bewahren, der ihre Letztbegründung in ihr selbst finden sollte: dem formalistischen Versuch (Mathematik ist alles, aber auch nur das, was mit mathematischen Zeichen nach mathematischen Verfahrensvorschriften gemacht werden kann), dem logizistischen Versuch (Mathematik ist alles, aber auch nur das, was in der Logik steckt) und dem intuitionistischen Versuch (Mathematik ist alles, aber auch nur das, was wir intuitiv erfassen können müssen, um zu rechnen - Beweise unter Berufung auf unendliche Größen scheiden dann zum Beispiel aus, denn die erfasst niemand intuitiv).

Mit Staunen (und einem Schock, von dem sich manche bis heute nicht erholt haben) sahen die Verfechter der drei Schulen 1937 bei der Geburt einer vierten zu, der automatischen. War sie die als Apparat verwirklichte Erfüllung des alten Leibnizschen Traums von der lingua characteristica universalis, einer buchstäblichen Sprache der Wahrheit, deren Ausdrücke unabhängig von ihrem Inhalt schon äußerlich verraten, was stimmt und was nicht? Im Gegenteil: Sie war, als zivilisationsveränderndes Nebenprodukt von Turings Berechenbarkeitsforschung, der praktische Todesstoß für jede derartige theoretische Bestrebung.

Deren letzter, größter Vorkämpfer vor Gödels, Churchs und Turings dreifachem Vernichtungsschlag war David Hilbert gewesen, als er zunächst die Frage gestellt hatte, ob es ein eindeutiges Verfahren gibt, mit dem man beliebige diophantische Gleichungen, also bestimmte mathematische Ausdrücke mit gewissen Variablen und angenommenen ganzzahligen oder rationalen Lösungen, in jedem Fall lösen kann. 1928 erweiterte Hilbert die Frage zum sogenannten „Entscheidungsproblem“: Gibt es ein Verfahren, in das man einen beliebigen, in Abhängigkeit von einem System mit ein paar unumstößlichen Axiomen formulierten Satz nur einzuspeisen braucht, damit einem dieses Verfahren dann sagt, ob dieser Satz für alle Strukturen wahr oder falsch ist, die sich in derselben Abhängigkeit von denselben Axiomen jemals formulieren lassen? Church und Turing entschieden das Entscheidungsproblem: Nein, so ein Verfahren kann es nicht geben. Rund ein Menschenalter später, in den siebziger Jahren, wurde dann auch die Hoffnung auf einen Lösungsdetektor für diophantische Gleichungen beerdigt - von einer internationalen Gemeinschaft, zu der unter anderen der russische Mathematiker Juri Matjasewitsch, die amerikanische Mathematikerin Julia Bowman Robinson und ihr auch als Philosoph profilierter Kollege Hilary Putnam gehörten. Alle drei, und wer immer sonst noch half, benutzten dazu Turings begriffliche Vorrichtungen, die heute alle Welt als körperliche kennt, mit denen man sogar telefonieren kann.

Mitschüler hänselten den Rätselhaften

Ein Gerät, das einen Eingabetext lesen, nach Regeln manipulieren und so einen Ausgabetext schreiben kann, eignet sich dazu, alles zu berechnen, was wir überhaupt „berechenbar“ nennen dürfen: Diese Überlegung hatte Turing von einer geistigen, eben der Hilbertschen Fragestellung zu einer maschinellen Lösung geführt. Schon als Schulkind beschäftigte ihn das Übersetzen der Gegenstände scheinbar entgegengesetzter Gesichtskreise ineinander: Experimentell verdampfte er stumpfes Wachs zu raffinierten Farbspielen; aus robusten Regeln leitete er zur Verblüffung seiner Lehrer halsbrecherische Zahlenfolgen ab. Was vor seiner Nase lag, die zuhandene Konkretion, interessierte ihn wenig; mit Nachteilen für die Zensuren wie für die Anpassung - Mitschüler hänselten den Rätselhaften.

Die Frage, was Intelligenz eigentlich sei, musste ihn, der seiner eigenen Intelligenz Räusche wie Einsamkeiten verdankte, dazu verlocken, einen weiteren seiner funkensprühenden Kurzschlüsse zwischen dem Griffigen und dem Erhabenen zu riskieren. 1950 veröffentlichte Turing in der Zeitschrift „Mind“ den Aufsatz „Computing Machinery and Intelligence“, der das Wesen des Denkens nicht mehr im Innenraum der Psychologie, im mentalen Hinterland der Unterscheidung „denkend/materiell“ suchte, sondern an der Schnittstelle dieser beiden. Sein „Turing-Test“, mit dem sich sagen lassen sollte, ob eine Maschine denken kann, lebt - wie etwa auch der recht junge Begriff der „emotionalen Intelligenz“ von Peter Salovey und John Mayer - von Kommunikation: Wenn wir uns mit einem Rechner mit Zeichen-Waffengleichheit unterhalten und dabei nicht mehr erkennen können, dass unser Gegenüber kein Mensch ist, haben wir es mit einem denkenden Rechner zu tun.

Dies als reduktionistisches Modell des Mentalen missverstanden zu haben statt als eines, das die Begriffe öffnet und beweglicher macht, ist die Erbsünde, mit der die modernen Kognitionswissenschaften sich derzeit ins zweite Jahrhundert ihrer Existenz schleppen. Dass das Hirn womöglich „nur“ eine Maschine ist, geht als These auch dann, wenn allerlei aus der Physik oder der Neurobiologie zusammengeklaubte Zusatzannahmen über irgendwelche Unschärfen und evolutionäre Parameter als Girlanden darum herumgehängt werden, an Turings tiefem Respekt vor Maschinen vorbei. Was hielte man von einer Literaturwissenschaft, die den Satz als Entdeckung empfände, Gedichte seien „nur“ aus Wörtern gemacht?

Die Maschinen verstehen

Einwände gegen den Turing-Test als Eichmaß des Denkens verirren sich nach wie vor im alten mentalistischen „Innen“; Entgegnungen darauf aber graben sich allzuoft in vulgär-mechanistischen Feuerstellungen ein. Turing indes suchte seine Antworten weder im Subjekt noch im Apparat, sondern in ihrer beider Beziehung.

Als er im Zweiten Weltkrieg die deutsche Enigma-Codemaschine knackte und Geburtshilfe beim Computer-Prototyp Colossus leistete, beschäftigte ihn ein Theorietyp, der heute als „Bayesianismus“ von der Grundlagenphysik bis zur Finanzwelt seine Anwendungen findet.

Thomas Bayes, nach dem diese Denkweise benannt ist, ein Mathematiker des achtzehnten Jahrhunderts, war, während die französischen Enzyklopädisten sich gerade damit abmühten, die alten metaphysischen Gewissheiten durch neue naturwissenschaftliche zu ersetzen, bereits mit dem beschäftigt, was in der seither zu sich selbst gekommenen Wissenschaft den Popanz Gewissheit ersetzen sollte: Wahrscheinlichkeiten. Ihr Schillern, wie die Farben im Waschdampf, mit denen Turing als Junge spielte, vermittelt zwischen den Extremen 1 und 0, ja und nein.

Können wir diese Vermittlung lernen? Turing wollte wissen, ob Maschinen mit Sinn fürs Abstrakteste verstehen können, wie die Menschengemeinschaft denkt. Sein Erbe fordert, umgekehrt, von der Menschengemeinschaft, wenn sie denn eine Zivilisation bleiben will, die Maschinen zu verstehen, die er möglich gemacht hat.

Quelle: F.A.Z.
Hier können Sie die Rechte an diesem Artikel erwerben