Document (#25187)

Author

Dath, D.

Title

Zufälligerweise notwendig wahr : Liebesgeschichte zwischen Hirn und Computer: Der Mathematiker Gregory Chaitin kennt die Grenzen des Berechenbaren

Source

Frankfurter Allgemeine Zeitung. Nr.16 vom 19.1.2002, S.44,

Year

2002

Content

"Gemessen am strengen Maßstab von Paul Valérys Brief über. "Leonardo und die Philosophen'., demzufolge man vom Ruhm eines wirklich bedeutenden Menschen verlangen können muß, daß es möglich sei, "an sein Verdienst in ein paar Worten zu erinnern", ist der Mathematiker Gregory Chaitin ein unter Kollegen zu Recht vielgerühmter Mann. Denn man kann in ein paar Worten sagen, daß Chaitin sich lebenslänglich damit beschäftigt hat, ob man etwas in ein paar Worten sagen kann oder eben nicht. Der vorangegangene Satz ist nur sehr vage selbstbezüglich und daher erheblich harmloser als die Sorte Paradoxa, aus denen Chaitin wie sein großer Vorgänger, der metamathematische Logiker Kurt Gödel, auf beunruhigende Eigenschaften der Grundlagen der Mathematik geschlossen hat. Gödels "Unvollständigkeitssätze" aus dem Jahre 1931 zeigten auf der Basis von formalen Kalkülen, daß ein arithmetisches Axiomensystem und darüberhinaus jede logische Formalsprache niemals zugleich vollständig und widerspruchsfrei sein kann, man also entweder nicht alle in einer basalen Logiksprache formulierbaren Sätze beweisen kann oder auch falsche. Die intuitiv durch "Heraustreten" aus dem Aussagenkontext erfaßbare "Absurdität" von Sätzen wie "Diese Aussage ist nicht richtig", war Gödels Schlüsseleinsicht. Gregory Chaitins während der sechziger Jahre im Teenageralter entwickelte "algorithmische Informationstheorie" bediente sich ganz ähnlicher logischer Stolpersteine, die bei ihm allerdings eher dem von Bertrand Russel bekanntgemachten "Berry-Paradox" nachgebildet waren, welches "die erste positive ganze Zahl, die dieser Satz nicht nennen kann", betrifft. Chaitin, den Probleme des scheinbar oder wirklich Zufälligen (etwa bei der Primzahlverteilung) und des Nichtberechenbaren seit seiner ersten Berührung mit der 'mathematischen Literatur beschäftigt haben, fragte sich früh, ob der wahre Grund für die Gödelsche Unvollständigkeit nicht eine prinzipiellere Sorte Unvorhersagbarkeit des Beweisbaren sein mochte. Seine Grundidee war die Vorstellung von Beweisverfahren als unterschiedlich komplexen Algorithmen, also computerprogrammartigen Schritt-für-Schritt-Rechenanweisungen, und weiter der Gedanke, man könne "Zufälligkeit" einfach als "Irreduzibilität" definieren: Zufällig (nicht weiter erklärbar) ist jedes Ding, das nicht auf Beschreibungen reduziert werden kann, die weniger komplex sind als es selbst. So machte sich Chaitin daran, das Berry-Paradox zu formalisieren und befaßte sich mit "der kleinsten Zahl, die nicht von einem Programm der Komplexität N berechnet werden kann." Neben einer komplizierten Liebesgeschichte zwischen Chaitins Hirn und Computerprogrammen der LISP-Familie (eine besondere Variante listenverwaltender Programmiersprachen) kam dabei vor allem die beunruhigende, vom Computerpionier Alan Turing bereits in rudimentärer Form vorgezeichnete Wahrheit heraus,
daß kein Programm der Komplexität N jemals eine Zahl berechnen kann, die komplexer ist als es selbst, und es außerdem keine Möglichkeit gibt, sich zu versichern, daß ein gegebenes Programm das beste (konziseste, oder wie Chaitin sagt: eleganteste) ist, das ein bestimmtes Arrangement von Ausgabedaten produziert. Manche Wahrheiten, heißt das, sind aus so vielen verschiedenen denkbaren Gründen wahr, daß man ihre Wahrheit im Grunde "zufällig" nennen kann - ein herber Schlag für alle, die Wissenschaft mit der Verwaltung von Unbezweifelbarkeiten verwechseln. In seinem neuen Buch "Conversations with a Mathematician", das kurzweilige Vorträge, Fernsehinterviews, autobiographische Skizzen und polemische Bonmots aus den letzten zwölf Jahren enthält, macht Chaitin seine Forschungen genau zu einem Zeitpunkt transparent, da sich die zuerst vom Physiker John Archibald Wheeler geäußerte Forderung, alle exakten Naturwissenschaften stünden vor der großen "Hausaufgabe", schrittweise "informatisch zu werden", an den verschiedensten Fronten von der Computer- über die Kognitions- bis zur physikalischen Forschung konkretisiert. Das Verlassen der überkommenen Begrifflichkeiten von Materie, Energie, Feld und so weiter, zugunsten von Theorien, in denen "Informationsfluß und -verarbeitung die Struktur des Universums bestimmt" (David Deutsch), wird nicht bruchlos vonstatten gehen und neben großen Fortschritten des Simulations- und Vorhersagevermögens auch ein paar metawissenschaftliche, epistemologische oder gar metaphysische Fehltritte mit sich bringen. Im Ganzen aber erinnert der Prozeß an eine andere, die messenden und vorhersagenden Disziplinen scheinbar nicht berührende, weil mathematikimmanente Angelegenheit, die erst rund hundert Jahre zurückliegt. Chaitin weiß natürlich von ihr und erinnert in seinen hier versammelten Stellungnahmen immer wie der an den berühmten "Hausaufgabenvortrag" des großen deutschen Mathematikers David Hilbert vor dem Zweiten Internationälen Mathematikerkongreß in Paris im Jahre 1900. Hilbert hatte damals mit im Nachhinein nahezu unfaßbarer Treffsicherheit und atemberaubende Weitblick dreiundzwanzig Probleme benannt, die das mathematische Denken im darauffolgenden Jahrhundert wesentlich beschäftigen sollten; die Suche nach Widerspruchsfreiheit der Arithmetik, deren Vergeblichkeit Gödel 1931 aufwies, war dabei nur eines, nämlich das berühmte "zweite Hilbertsche Problem". Chaitin sieht im Hilbertschen Programm formaler axiomatischer Systeme im Nachhinein einen Fehlschlag, der den Weg zu erstaunlichen Erfolgen wies: Daß man herausfand, daß das, was Hilbert wollte, nicht möglich ist, war zumindest für die Entwicklung der Computer keineswegs ein Hemmnis, weil der Weg zu diesem Nachweis und alles weitere, das von dort aus bis zu Chaitins algorithmischer Informationstheorie und anderen Komplexitätstheorien der Gegenwart führte, von ganz besonderen Gewächsen geschmückt war und ist: "Formalisierung ist der größte Erfolg des Jahrhunderts. Wenn man sich die Arbeit der Logiker am Beginn des zwanzigsten Jahrhunderts anschaut, sieht man, daß sie zwar über formale Sprachen als Mittel des Denkens und Schlußfolgerns sprachen, um die Mathematik und die symbolische Logik voranzubringen, dabei aber ganz nebenbei die ersten Formen von Programmiersprachen erfanden.
Und das sind die Formalismen, mit denen wir heute leben und arbeiten!" Hilberts Verlangen nach "schärferen Werkzeugen" ist also in Chaitins Sicht, die den Weg zum Ziel macht und Hilbert damit gleichsam auf den Kopf (oder die Füße?) stellt, letztlich gestillt worden, auch wenn Hilbert nicht wissen konnte, daß diese Werkzeuge "Computer" heißen würden. Vielleicht haben Physiker wie Max Tegmark recht, die glauben, das jede Struktur der Mathematik auch eine physikalische Entsprechung hat und wir Menschen eine Unterstruktur dieses mathematischen Multiversums bewohnen, die komplex genug ist, selbsterkennende Substrukturen zu enthalten, also solche, die subjektiv das Empfinden haben, in einer "physikalisch realen" Welt zu leben. Was es bedeutet, diese Komplexitätsfrage zu formalisieren und der mathematisch-physikalischen Realität des computing von heute und morgen anzupassen, ist eine Frage, die sich derzeit nicht nur Chaitin stellt. Im Literaturverzeichnis der "Conversations" an letzter Stelle nennt Chaitin ein in diesen Tagen erscheinendes Buch des Programmierers und Pioniers sogenannter zellulärer Automaten, Stephen Wolfram, dessen Titel "eine neue Art Wissenschaft" verheißt und an dem Wolfram zwanzig Jahre lang gearbeitet hat. Chaitin bemerkt in für ihn charakteristisch listigem Tonfall, es gebe zwischen Wolfram und ihm zwar zahlreiche Berührungspunkte, aber auch bedeutende Meinungsverschiedenheiten. Nicht ohne leise Skepsis schreibt er, Wolframs Buch verzichte zwar auf Gleichungen, enthalte aber "viele, viele Illustrationen". Daß Chaitin sein sehr unterhaltsames, einem Laienpublikum absolut zugängliches "Conversations"-Buch mit dieser ironischen Note abschließt, die dennoch bekräftigt, daß außer ihm auch andere das Gebot der Stunde erkannt haben, ist eine im Wissenschaftsalltag ungewöhnliche,schriftstellerische Geste- und verrät einmal mehr, daß, wer dem gewundenen Pfad des Informationsflusses zu folgen gelernt hat, nicht nur von Stringenz, sondern auch von Finten und Tricks der Kommunikation etwas versteht."

Footnote

Rezension zu: Chaitin; G.J.: Conversations with a mathematician: Math, art, science and the limits of reason. Berlin: Springer 2002.

Similar documents (content)

1. dpa: Auch Alte können noch umlernen : Hirn-Forschung (2001) 0.26

   0.26160482 = sum of:
     0.26160482 = product of:
       0.6976128 = sum of:
         0.05056375 = weight(abstract_txt:zwischen in 5633) [ClassicSimilarity], result of:
           0.05056375 = score(doc=5633,freq=1.0), product of:
             0.16026855 = queryWeight, product of:
               1.1690699 = boost
               5.0479026 = idf(docFreq=771, maxDocs=44218)
               0.027157942 = queryNorm
             0.3154939 = fieldWeight in 5633, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.0479026 = idf(docFreq=771, maxDocs=44218)
               0.0625 = fieldNorm(doc=5633)
         0.11478632 = weight(abstract_txt:grenzen in 5633) [ClassicSimilarity], result of:
           0.11478632 = score(doc=5633,freq=1.0), product of:
             0.2768315 = queryWeight, product of:
               1.53647 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.027157942 = queryNorm
             0.41464326 = fieldWeight in 5633, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.0625 = fieldNorm(doc=5633)
         0.53226274 = weight(abstract_txt:hirn in 5633) [ClassicSimilarity], result of:
           0.53226274 = score(doc=5633,freq=3.0), product of:
             0.53374326 = queryWeight, product of:
               2.1334503 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.027157942 = queryNorm
             0.9972262 = fieldWeight in 5633, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.0625 = fieldNorm(doc=5633)
       0.375 = coord(3/8)
   

2. Stewart, I.: ¬Ein Vierteljahrhundert Mathematik (2003) 0.26

   0.25855726 = sum of:
     0.25855726 = product of:
       0.689486 = sum of:
         0.11076075 = weight(abstract_txt:computer in 1651) [ClassicSimilarity], result of:
           0.11076075 = score(doc=1651,freq=1.0), product of:
             0.11726471 = queryWeight, product of:
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.027157942 = queryNorm
             0.9445361 = fieldWeight in 1651, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.21875 = fieldNorm(doc=1651)
         0.17697313 = weight(abstract_txt:zwischen in 1651) [ClassicSimilarity], result of:
           0.17697313 = score(doc=1651,freq=1.0), product of:
             0.16026855 = queryWeight, product of:
               1.1690699 = boost
               5.0479026 = idf(docFreq=771, maxDocs=44218)
               0.027157942 = queryNorm
             1.1042287 = fieldWeight in 1651, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.0479026 = idf(docFreq=771, maxDocs=44218)
               0.21875 = fieldNorm(doc=1651)
         0.4017521 = weight(abstract_txt:grenzen in 1651) [ClassicSimilarity], result of:
           0.4017521 = score(doc=1651,freq=1.0), product of:
             0.2768315 = queryWeight, product of:
               1.53647 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.027157942 = queryNorm
             1.4512514 = fieldWeight in 1651, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.21875 = fieldNorm(doc=1651)
       0.375 = coord(3/8)
   

3. Heintz, B.: ¬Die Innenwelt der Mathematik : Zur Kultur und Praxis einer beweisenden Disziplin (2000) 0.25

   0.24949041 = sum of:
     0.24949041 = product of:
       0.66530776 = sum of:
         0.027690187 = weight(abstract_txt:computer in 736) [ClassicSimilarity], result of:
           0.027690187 = score(doc=736,freq=1.0), product of:
             0.11726471 = queryWeight, product of:
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.027157942 = queryNorm
             0.23613402 = fieldWeight in 736, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.0546875 = fieldNorm(doc=736)
         0.33236262 = weight(abstract_txt:mathematiker in 736) [ClassicSimilarity], result of:
           0.33236262 = score(doc=736,freq=4.0), product of:
             0.387262 = queryWeight, product of:
               1.8172671 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.027157942 = queryNorm
             0.85823715 = fieldWeight in 736, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.0546875 = fieldNorm(doc=736)
         0.3052549 = weight(abstract_txt:wahr in 736) [ClassicSimilarity], result of:
           0.3052549 = score(doc=736,freq=2.0), product of:
             0.46101514 = queryWeight, product of:
               1.9827772 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.027157942 = queryNorm
             0.66213644 = fieldWeight in 736, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.0546875 = fieldNorm(doc=736)
       0.375 = coord(3/8)
   

4. Thielicke, R.; Helmstaedter, M.: ¬"Ein völlig neues Kapitel der Künstlichen Intelligenz" : Interview mit Moritz Helmstaedter (2018) 0.22

   0.2188324 = sum of:
     0.2188324 = product of:
       0.5835531 = sum of:
         0.055942625 = weight(abstract_txt:computer in 4497) [ClassicSimilarity], result of:
           0.055942625 = score(doc=4497,freq=2.0), product of:
             0.11726471 = queryWeight, product of:
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.027157942 = queryNorm
             0.47706276 = fieldWeight in 4497, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.317879 = idf(docFreq=1601, maxDocs=44218)
               0.078125 = fieldNorm(doc=4497)
         0.1434829 = weight(abstract_txt:grenzen in 4497) [ClassicSimilarity], result of:
           0.1434829 = score(doc=4497,freq=1.0), product of:
             0.2768315 = queryWeight, product of:
               1.53647 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.027157942 = queryNorm
             0.51830405 = fieldWeight in 4497, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.078125 = fieldNorm(doc=4497)
         0.38412756 = weight(abstract_txt:hirn in 4497) [ClassicSimilarity], result of:
           0.38412756 = score(doc=4497,freq=1.0), product of:
             0.53374326 = queryWeight, product of:
               2.1334503 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.027157942 = queryNorm
             0.71968603 = fieldWeight in 4497, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.078125 = fieldNorm(doc=4497)
       0.375 = coord(3/8)
   

5. Dawson, J.W.: Kurt Gödel und die Grenzen der Logik (1999) 0.19

   0.19044238 = sum of:
     0.19044238 = product of:
       0.76176953 = sum of:
         0.2869658 = weight(abstract_txt:grenzen in 4503) [ClassicSimilarity], result of:
           0.2869658 = score(doc=4503,freq=1.0), product of:
             0.2768315 = queryWeight, product of:
               1.53647 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.027157942 = queryNorm
             1.0366081 = fieldWeight in 4503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.15625 = fieldNorm(doc=4503)
         0.47480378 = weight(abstract_txt:mathematiker in 4503) [ClassicSimilarity], result of:
           0.47480378 = score(doc=4503,freq=1.0), product of:
             0.387262 = queryWeight, product of:
               1.8172671 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.027157942 = queryNorm
             1.2260531 = fieldWeight in 4503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.15625 = fieldNorm(doc=4503)
       0.25 = coord(2/8)