Gregory Chaitin

Gregory Chaitin
Geboren 25. Juni 1947 (Alter 75)
Staatsangehörigkeit Argentinien-amerikanisch
Bekannt für Kolmogorov -Komplexität
Chaitins Konstante
Chaitins Algorithmus
Wissenschaftliche Karriere
Felder Biologie
Mathematik
Informatik
Institutionen Bundes Universität von Rio de Janeiro
IBM Thomas J. Watson Research Center
Einflüsse Gottfried Wilhelm Leibniz

Gregory John Chaitin (/ˈtɪn/ Chy-Zinn; geboren am 25. Juni 1947) ist ein Argentinien-amerikanisch Mathematiker und Informatiker. Ab Ende der 1960er Jahre leistete Chaitin Beiträge zu Algorithmische Informationstheorie und Metamathematikinsbesondere ein computertheoretisches Ergebnis entspricht zu Gödels Unvollständigkeitstheorem.[2] Er gilt als einer der Gründer des heutigen genannten algorithmischen (Solomonoff-Kolmogorov-Chaitin, Kolmogorov oder Programmgröße) zusammen mit Andrei Kolmogorov und Ray Solomonoff. Zusammen mit den Werken von z. Solomonoff, Kolmogorov, Martin-Löf, und Leonid Levin, Algorithmische Informationstheorie wurde ein grundlegender Teil von Theoretische Informatik, Informationstheorie, und Mathematische Logik.[3][4] Es ist ein gemeinsames Thema in mehreren Informatik -Lehrplänen. Neben Informatikern macht Chaitins Arbeit viele Philosophen und Mathematiker auf grundlegende Probleme in der mathematischen Kreativität und der digitalen Philosophie aufmerksam.

Mathematik und Informatik

Er besuchte das Bronx High School of Science und City College of New York, wo er (immer noch in seinen Teenagern) die Theorie entwickelte, die zu seiner unabhängigen Entdeckung von führte Algorithmische Komplexität.[5][6]

Chaitin hat definiert Chaitins Konstante Ω, a reelle Zahl deren Ziffern sind gleich verteilt und was manchmal informell als Ausdruck der Wahrscheinlichkeit beschrieben wird, dass ein zufälliges Programm anhält. Ω hat die mathematische Eigenschaft, die es ist definierbar, mit asymptotischen Näherungen von unten (aber nicht von oben), aber nicht berechenbar.

Chaitin ist auch der Urheber von Verwendung Grafikfarbe machen Zuteilung registrieren in Kompilieren, ein Prozess bekannt als als Chaitins Algorithmus.[7]

Er war früher Forscher am Thomas J. Watson Research Center von IBM in New York und bleibt emeritierter Forscher. Er hat mehr als 10 Bücher geschrieben, die in etwa 15 Sprachen übersetzt wurden. Er interessiert sich heute für Fragen der Metabiologie und Informationstheoretisch Formalisierungen der Theorie von Evolution.

Andere wissenschaftliche Beiträge

Chaitin schreibt auch darüber Philosophie, besonders Metaphysik und Philosophie der Mathematik (insbesondere über erkenntnistheoretische Angelegenheiten in der Mathematik). In der Metaphysik behauptet Chaitin, dass das Algorithmische Informationstheorie ist der Schlüssel zur Lösung von Problemen im Bereich von Biologie (Erhalten einer formalen Definition von 'Leben', seinem Ursprung und Evolution) und Neurowissenschaften (das Problem von Bewusstsein und das Studium des Geistes).

In jüngsten Schriften verteidigt er eine Position als bekannt als als Digitale Philosophie. In dem Erkenntnistheorie der Mathematik behauptet er, dass seine Ergebnisse in Mathematische Logik und algorithmische Informationstheorie zeigen, dass es "mathematische Fakten gibt, die ohne Grund wahr sind, die zufällig wahr sind".[8] Chaitin schlägt vor, dass Mathematiker jede Hoffnung aufgeben müssen, diese mathematischen Tatsachen zu beweisen und a zu übernehmen quasi empirisch Methodik.

Ehrungen

1995 erhielt er den Grad des Arztes der Wissenschaft Honoris Causa bis zum Universität von Maine. Im Jahr 2002 erhielt er den Titel des Ehrenprofessors von der Universität Buenos Aires in Argentinien, wo seine Eltern geboren wurden und wo Chaitin einen Teil seiner Jugend verbrachte. 2007 erhielt er eine Leibniz -Medaille[9] durch Wolfram -Forschung. 2009 erhielt er den Doktor der Philosophie Honoris Causa bis zum Nationale Universität von Córdoba. Er war früher Forscher bei IBM's Thomas J. Watson Research Center und ist jetzt Professor am Bundes Universität von Rio de Janeiro.

Kritik

Einige Philosophen und Logiker sind mit den philosophischen Schlussfolgerungen nicht einverstanden, die Chaitin aus seinen Theoreme gezogen hat, die sich darauf beziehen, was Chaitin für eine Art grundlegende arithmetische Zufälligkeit hält.[10] Der Logiker Torkel Franzén kritisierte Chaitins Interpretation von Gödels Unvollständigkeitstheorem und die angebliche Erklärung dafür, dass Chaitins Arbeit darstellt.[11]

Literaturverzeichnis

Verweise

  1. ^ Gregory Chaitin (2007), Algorithmische Informationstheorie: "Chaitin Research Timeline" Archiviert 23. März 2012 bei der Wayback -Maschine
  2. ^ Rezension von Meta Math!: Die Suche nach Omega von Gregory Chaitin Siam News, Band 39, Nummer 1, Januar/Februar 2006
  3. ^ Calude, C. S. (2002). Information und Zufälligkeit: Eine algorithmische Perspektive. Texte in theoretischer Informatik. Eine EATCS -Serie. Springer-Verlag.
  4. ^ R. Downey und D. Hirschfeldt (2010), Algorithmische Zufälligkeit und Komplexität, Springer-Verlag.
  5. ^ Li; Vitanyi (1997), Eine Einführung in die Komplexität von Kolmogorov und ihre Anwendungen, Springer, p. 92, ISBN 9780387948683, G.J.Chaitin hatte die Bronx High School of Science beendet und war ein 18-jähriger Student am City College der City University of New York, als er zwei Papiere einreichte. In seiner [zweiten] Zeitung stellt Chaitin ein Leiten Sie den Begriff der Kolmogorov -Komplexität weiter ....
  6. ^ Chaitin, G. J. (Oktober 1966), "Über die Länge der Programme zur Berechnung endlicher binärer Sequenzen", Journal of the ACM, 13 (4): 547–569, doi:10.1145/321356.321363, S2CID 207698337
  7. ^ G.J. Chaitin, Registrieren Sie die Allokation und Verschütten über Diagrammfärben, US -Patent 4.571.678 (1986) [zitiert von Registrieren Sie die Allokation der Intel® Itanium® Architecture, S.155]
  8. ^ Chaitin, G. J. (2003). "Von der Philosophie bis zur Programmgröße". Arxiv:Math/0303352.
  9. ^ Zenil, Hector "Leibniz Medaillon wird nach 300 Jahren zum Leben erweckt"Anima ex machina, Der Blog von Hector Zenil, 3. November 2007.
  10. ^ Panu Raatikainen, "Erforschung von Zufälligkeit und Unwissbar"Mitteilungen der American Mathematical Society Buchbesprechung Oktober 2001.
  11. ^ Franzén, Torkel (2005), Gödels Theorem: Ein unvollständiger Leitfaden für seine Verwendung und Missbrauch, Wellesley, Massachusetts: A K Peters, Ltd., ISBN 978-1-56881-238-0

Weitere Lektüre

  • Pagallo, Ugo (2005), FEELTUZIONE Alla Filosofia Digitale. Da Leibniz ein Chaitin [Einführung in die digitale Philosophie: Von Leibniz nach Chaitin] (auf Italienisch), G. Giappichelli Editore, ISBN 978-88-348-5635-2, archiviert von das Original am 22. Juli 2011, abgerufen 16. April 2008
  • Calude, Cristian S., hrsg.(2007), Zufälligkeit und Komplexität.Von Leibniz nach Chaitin, Welt wissenschaftlich, ISBN 978-981-277-082-0
  • Wuppuluri, Shyam;Doria, Francisco A., Hrsg.(2020), Komplexität entwirren: Das Leben und Werk von Gregory Chaitin, Welt wissenschaftlich, doi:10.1142/11270, ISBN 978-981-12-0006-9, S2CID 198790362 {{}}: Externer Link in |ref= (Hilfe)

Externe Links