Gregory Chaitin

Sein Hauptarbeitsgebiet ist die Berechenbarkeitstheorie . Er steht damit in der Tradition Kurt Gödel und Alan Turing deren Theoreme ( Unvollständigkeitssatz Turing-Berechenbarkeit) er zur Algorithmischen Informationstheorie verallgemeinert bekannt als Theorie der Kolmogorov-Komplexität .

Seine Ergebnisse betreffen die Struktur mathematischer Er sucht Aussagen zur prinzipiellen Berechenbarkeit und prinzipiellen Entscheidbarkeit mathematischer Sätze.

Eine seiner zentralen Schlussfolgerungen ist dass viele mathematische Sätze prinzipiell unentscheidbar sind. Es 'zufällig' ob ein Satz wahr oder falsch

Seine komplexen Ergebnisse werden oft schlagwortartig

"Ein Beweis dass die Arithmetik im zufällig ist."

Die Interpretation von Chaitins Ergebnissen ist Mathematikern umstritten.

Populäre Veröffentlichungen

The Limits of Mathematics Springer-Verlag 1998.

The Unknowable Springer-Verlag 1999.

Exploring Randomness Springer-Verlag 2001.

Conversations with a Mathematician Springer-Verlag 2002.

Weblinks

• Chaitins Homepage

Bücher zum Thema Gregory Chaitin

Dieser Artikel von Wikipedia unterliegt der GNU FDL.