Gregory Chaitin
aus Wikipedia, der freien Enzyklopädie
Gregory J. Chaitin (* 1947 in Chicago) ist ein US-amerikanischer Mathematiker und Philosoph. Sein Hauptarbeitsgebiet ist die Berechenbarkeitstheorie. Er steht damit in der Tradition von Kurt Gödel und Alan Turing, deren Theoreme (Unvollständigkeitssatz, Turing-Berechenbarkeit) er zur Algorithmischen Informationstheorie verallgemeinerte, die der Kolmogorow-Komplexität ähnlich ist.
Inhaltsverzeichnis |
[Bearbeiten] Leben
Chaitin wurde als Kind argentinischer Einwanderer aus Buenos Aires, die Familie zog aber schon früh nach New York, wo er schon in jungen Jahren durch das Buch von Nagel und Newman über Gödels Unvollständigkeitssatz zur Berechenbarkeitstheorie hingezogen wurde, die er aber von Seiten der Informationstheorie Shannon angeht. Er besuchte ab 1962 die Bronx High School of Science und ab 1965 die City University of New York (CUNY). 1966 ging er mit der Familie zurück nach Buenos Aires, wo er bei IBM als Programmierer anfing und Kurse an der University of Buenos Aires (in LISP Programmierung und Metamathematik) hielt. Anfang der 1970er entstand seine Arbeit Information theoretic limits of formal systems (erweitert publiziert im ACM Journal 1974), das ihm eine Einladung ans Thomas J. Watson Research Center der IBM einbrachte, wo er bis heute tätig ist. Von 1976 bis 1985 arbeitete er dort als Software- und Hardwareingenieur an IBM´s RISC Projekt. Zur Zeit ist er auch Gastprofessor im Computer Science Department der University of Auckland in Neuseeland.
[Bearbeiten] Werk
Seine Ergebnisse betreffen die Struktur mathematischer Theorien. Chaitin sucht Aussagen zur prinzipiellen Berechenbarkeit und zur prinzipiellen Entscheidbarkeit mathematischer Sätze.
Er beschäftigte sich mit Beispielen für prinzipiell unentscheidbare Sätze. Laut ihm hat er diophantische Gleichungen konstruiert, bei denen es unentscheidbar ist, ob sie endlich oder unendlich viele Lösungen besitzen. (Die Existenz solcher Gleichungen folgt trivialerweise aus der Unlösbarkeit des 10. Hilbertschen Problems.) Bei solchen Sätzen sei es komplett "zufällig", ob sie wahr oder falsch seien. Der englische Begriff random kann allerdings auch wahllos oder regellos heißen; gemeint ist hier, dass diese Sätze nicht "begründet" werden können, sondern "dass es eben so ist".
Laut Chaitin hat er bewiesen, dass es bis auf endlich viele Ausnahmen unentscheidbar ist, ob eine Zahl kolmogorow-reduzibel ist, d.h. ob es ein kleineres Programm gibt, das diese Zahl erzeugt. Es existiert also kein allgemeines Verfahren, mit dem die Kolmogorow-Komplexität gemessen werden könnte.
Die Interpretation von Chaitins Ergebnissen ist unter einigen Mathematikern umstritten. Von ihm stammt die Chaitinsche Konstante.
Chaitin hat auch viel zur Philosophie der Mathematik geschrieben insbesondere in Zusammenhang mit den Unvollständigkeitssätzen Gödels und Komplexitätsfragen.
1995 wurde er Ehrendoktor der Universität Maine und erhielt 2002 eine Ehren-Professur in Buenos Aires.
[Bearbeiten] Schriften
- Algorithmic information theory, Cambridge University Press 1987
- The Limits of Mathematics, Springer-Verlag, 1998.
- The Unknowable, Springer-Verlag, 1999.
- Exploring Randomness, Springer-Verlag, 2001.
- Conversations with a Mathematician, Springer-Verlag, 2002.
- Meta Math!, Pantheon Books 2005
- Randomness and mathematical proof, Scientific American 1975
- Randomness in Arithmetic, Scientific American 1988
[Bearbeiten] Weblinks
- Literatur von und über Gregory Chaitin im Katalog der Deutschen Nationalbibliothek
- Chaitins Homepage, mit Lebenslauf [1]
- Beweisskizze für Chaitins wichtigsten Satz
- Leicht verständliche Beweisführung zu Chaitins Theorem
| Personendaten | |
|---|---|
| NAME | Chaitin, Gregory J. |
| KURZBESCHREIBUNG | US-amerikanischer Mathematiker |
| GEBURTSDATUM | 1947 |
