WikiDer > Gregory Chaitin

Gregory Chaitin

Gregory John Chaitin (1947 - ) ist ein amerikanischMathematiker und Informatiker.

Leben und Arbeiten

Seit den späten 1960er Jahren hat Chaitin Beiträge zur algorithmische Informationstheorie und der Meta-Mathematik, insbesondere in Form eines neuen Unvollständigkeitssatzes als Antwort auf die Unvollständigkeitssätze von Gödel. Er studierte an der Bronx High School of Natural Science und bei der City College of New York, wo er (noch im Teenageralter) Theorien entwickelte, die zu seiner unabhängigen Entdeckung der Kolmogorov-Komplexität.[1]

Chaitin hat die Chaintin-Konstante Ω definiert, a reelle Zahl, deren Figuren gleich aufgeteilt und eine Zahl, die manchmal informell als Ausdruck der Gelegenheit dass jedes Programm Stopp. Ω hat die mathematische Eigenschaft, dass es a . ist definierbar, aber nein berechenbare Zahl ist.

Chaitins frühe Arbeiten zur algorithmischen Informationstheorie waren parallel zu den früheren Arbeiten von Andrey Kolmogorov in dieser Gegend.

Chaitin schreibt auch über Philosophie, vor allem über Metaphysik und Philosophie der Mathematik (insbesondere zu erkenntnistheoretischen Fragen der Mathematik). In der Metaphysik behauptet Chaitin, dass die algorithmische Informationstheorie der Schlüssel liegt in der Lösung von Problemen in den Bereichen der Biologie (Erlangung einer formalen Definition von „Leben“, dem Ursprung und der Evolution des Lebens) und die Neurowissenschaften (das Problem der Bewusstsein und das Studium des Geistes). In neueren Schriften verteidigt Chaitin eine Position, die als digitale Philosophie. In dem Erkenntnistheorie der Mathematik behauptet er, dass seine Funde in der mathematische Logik und algorithmische Informationstheorie zeigen, dass es "mathematische Fakten"" existieren "die ohne Grund wahr sind, sie sind zufällig wahr. Sie sind zufällige mathematische Tatsachen". Chaitin argumentiert, dass Mathematiker ihre Hoffnungen aufgeben sollten, diese mathematischen Fakten lernen zu können beweisen und muss wählen a quasi-empirisch Methodik.

Chaitin ist auch der Initiator der Verwendung von Grafiken Färbung bei der Zuweisung registriert in dem Kompilierungsvorgang, ein Prozess, der als bekannt ist Der Algorithmus von Chaitin.

1995 erhielt er die Ehrendoktorwürde der Naturwissenschaften der Universität Maine. 2002 wurde ihm der Titel Honorarprofessor von der Universität Buenos Aires in Argentinien, wo seine Eltern geboren wurden und Chaitin einen Teil seiner Kindheit verbrachte. Er ist emeritierter Forscher an der Thomas J. Watson Forschungszentrum von IBM sowie Gastdozent an der Fakultät Informatik der Universität von Auckland und ist Mitglied des Internationalen Komitees der Valparaíso Institut für komplexe Systeme.

Kritik

Einige Philosophen und Logiker stimmen den philosophischen Schlussfolgerungen, die Chaitin aus seinen Thesen gezogen hat, nicht zu[2]. Der Logiker Torkel Franzen[3] kritisiert Chaitins Interpretation der Unvollständigkeitssätze von Gödel und die Erklärung dafür in Chaitins Werk.

Siehe auch

Literaturverzeichnis

Fußnoten

  1. ↑Li und Vitanyic, Eine Einführung in die Kolmogorov-Komplexität und ihre Anwendungen, Seite 86: GJ Chaitin war Absolvent der Bronx High School of Natural Sciences und 18-jähriger Student am City College der City University of New York, als er zwei Artikel vorlegte [...] Chaitin führt den Begriff der Kolmogorov-Komplexität auf [...]"
  2. ↑Panu Raatikainen "Erforschung des Zufalls und des Unerkennbaren" (und) Hinweise der American Mathematical Society Buchbesprechung Oktober 2001
  3. ↑Torkel FranzenDer Satz von Gödel: Eine unvollständige Anleitung zu seinem Gebrauch und Missbrauch (Theorem von Gödel: Eine unvollständige Anleitung zum Gebrauch und Missbrauch). Wellesley, Massachusetts: A.K.Peters, Ltd., 2005. x 172 Seiten. ISBN 1-56881-238-8 .

Verweise

  • (es) Ugo Pagallo, Introduzione alla philosophia digital. Da Leibniz a Chaitin, ([1], 2005) ISBN 88-348-5635-X
  • (und) Cristian S. Calude (Hrsg.), Zufall und Komplexität. Von Leibniz bis Chaitin, (Weltwissenschaft, 2007) ISBN 978-981-277-082-0

Externe Links