Gregory John Chaitin (geborener 1947) ist ein argentinisch-amerikanischer Mathematiker und Computerwissenschaftler.

Mathematik und Informatik

Anfang 2009 von Chaitin hat an metabiology, einer Feldparallele zur Biologie gearbeitet, die sich mit der Evolution der künstlichen Software (Computerprogramme) statt der natürlichen Software (DNA) befasst.

Gegen Ende der 1960er Jahre beginnend, hat Chaitin Beiträge zur algorithmischen Informationstheorie und metamathematics, insbesondere ein neuer Unvollständigkeitslehrsatz in der Reaktion zum Unvollständigkeitslehrsatz von Gödel geleistet. Er hat der Bronx Höheren Schule der Wissenschaft und Stadthochschule New Yorks aufgewartet, wo er (noch in seinem Teenageralter) die Theorien entwickelt hat, die zu seiner unabhängigen Entdeckung der Kompliziertheit von Kolmogorov geführt haben.

Chaitin hat den unveränderlichen Ω von Chaitin, eine reelle Zahl definiert, deren Ziffern equidistributed sind, und die manchmal als ein Ausdruck der Wahrscheinlichkeit informell beschrieben wird, dass ein zufälliges Programm hinken wird. Ω hat das mathematische Eigentum, dass es definierbar, aber nicht berechenbar ist.

Die frühe Arbeit von Chaitin an der algorithmischen Informationstheorie hat der früheren Arbeit von Kolmogorov angepasst.

Chaitin ist auch der Schöpfer, Graphen zu verwenden, der sich färbt, um Register-Zuteilung im Kompilieren, einem als der Algorithmus von Chaitin bekannten Prozess zu tun.

Andere wissenschaftliche Beiträge

Chaitin schreibt auch über die Philosophie, besonders Metaphysik und Philosophie der Mathematik (besonders über erkenntnistheoretische Sachen in der Mathematik). In der Metaphysik behauptet Chaitin, dass algorithmische Informationstheorie der Schlüssel zum Beheben von Problemen im Feld der Biologie ist (eine formelle Definition 'des Lebens', seines Ursprungs und der Evolution erhaltend), und neuroscience (das Problem des Bewusstseins und die Studie der Meinung).

Tatsächlich, in neuen Schriften, verteidigt er eine als Digitalphilosophie bekannte Position. In der Erkenntnistheorie der Mathematik behauptet er, dass seine Ergebnisse in der mathematischen algorithmischen und Logikinformationstheorie zeigen, dass es "mathematische Tatsachen gibt, die aus keinem Grund wahr sind, sind sie zufällig wahr. Sie sind zufällige mathematische Tatsachen". Chaitin schlägt vor, dass Mathematiker jede Hoffnung darauf aufgeben, jene mathematischen Tatsachen zu beweisen, und eine quasiempirische Methodik annehmen müssen.

Besondere Auszeichnungen

1995 wurde ihm der Grad des Arztes der Wissenschaft honoris causa von der Universität Maines gegeben. 2002 wurde ihm der Titel des Honorarprofessors von der Universität des Buenos Aires in Argentinien gegeben, wo seine Eltern geboren gewesen sind, und wo Chaitin einen Teil seiner Jugend ausgegeben hat. 2007 wurde ihm eine Medaille von Leibniz durch die Wolfram-Forschung gegeben. 2009 wurde ihm der Grad des Arztes der Philosophie honoris causa von der Nationalen Universität von Córdoba gegeben. Er war früher ein Forscher am Forschungszentrum von Thomas J. Watson von IBM und ist jetzt ein Professor an der Bundesuniversität Rio de Janeiros.

Kritik

Einige Philosophen und Logiker stimmen stark mit den philosophischen Beschlüssen nicht überein, dass Chaitin von seinen Lehrsätzen gezogen hat.

Der Logiker Torkel Franzén

kritisiert die Interpretation von Chaitin des Unvollständigkeitslehrsatzes von Gödel und der angeblichen Erklärung dafür, die die Arbeit von Chaitin vertritt.

Siehe auch

• Digitalphilosophie
• Stockendes Problem

Bibliografie

• Information, Zufälligkeit & Unvollständigkeit (Wissenschaftlicher Welt-1987)

• Algorithmische Informationstheorie (Universität von Cambridge Presse 1987) online,
• Mit der Information theoretische Unvollständigkeit (Wissenschaftlicher Welt-1992) online,
• Die Grenzen der Mathematik (Springer-Verlag 1998),
• Das Unerkennbare (Springer-Verlag 1999),
• Zufälligkeit (Springer-Verlag 2001), erforschend
• Gespräche mit einem Mathematiker (Springer-Verlag 2002),
• Von der Philosophie bis Programm-Größe (Tallinner Kybernetik-Institut 2003),
• Meta Math!: Die Suche nach dem Omega (Pantheon-Bücher 2005) (nachgedruckt im Vereinigten Königreich als Metamaths: Die Suche nach dem Omega, Atlantische Bücher 2006),
• Teoria algoritmica della complessità (G. Giappichelli Editore 2006),

• Gödel & Turing (Wissenschaftlicher Welt-2007), denkend
• Mathematik, Kompliziertheit und Philosophie (Redaktioneller Midas 2011),
• Gödel Weg (CRC Presse 2012),
• Sich erweisender Darwin: Das Bilden der Biologie Mathematisch (Pantheon-Bücher 2012 (kommend)).

Referenzen

• Ugo Pagallo, Introduzione alla filosofia digitale. Da Leibniz Chaitin, (G. Giappichelli Editore, 2005) internationale Standardbuchnummer 88 348 5635 X
• Cristian S. Calude (Hrsg.). Zufälligkeit und Kompliziertheit. Von Leibniz zu Chaitin, (Welt Wissenschaftlich, 2007) internationale Standardbuchnummer 13 978-981-277-082-0

Links

• G J Chaitin Hausseite
• Liste von Veröffentlichungen von G J Chaitin
• Video des Vortrags auf metabiology: "Leben als sich entwickelnde Software"
• Neuer Artikel Scientist (März 2001) auf Chaitin, Omegas und Superomegas
• Eine kurze Version des Beweises von Chaitin