Grégory Chaitin - Gregory Chaitin
Grégory Chaitin | |
---|---|
Née |
|
25 juin 1947
Nationalité | Argentin - Américain |
Connu pour |
Complexité de Chaitin-Kolmogorov Constante de Chaitin Algorithme de Chaitin |
Carrière scientifique | |
Des champs |
Biologie Mathématiques Informatique |
Établissements |
Université fédérale de Rio de Janeiro Centre de recherche IBM Thomas J. Watson |
Influences | Gottfried Wilhelm Leibniz |
Gregory John Chaitin ( / tʃ aɪ t ɪ n / CHY TiN , né le 25 Juin 1947) est un Argentin - américain mathématicien et informaticien . À partir de la fin des années 1960, Chaitin a apporté des contributions à la théorie de l'information algorithmique et aux métamathématiques , en particulier un résultat informatique-théorique équivalent au théorème d'incomplétude de Gödel . Il est considéré comme l'un des fondateurs de ce que l'on appelle aujourd'hui la complexité algorithmique (Solomonoff-Kolmogorov-Chaitin, Kolmogorov ou program-size) avec Andrei Kolmogorov et Ray Solomonoff . Avec les travaux de Solomonoff , Kolmogorov , Martin-Löf et Leonid Levin , par exemple , la théorie algorithmique de l'information est devenue une partie fondamentale de l'informatique théorique , de la théorie de l'information et de la logique mathématique . C'est une matière commune dans plusieurs programmes d'informatique. Outre les informaticiens, les travaux de Chaitin attirent l'attention de nombreux philosophes et mathématiciens sur des problèmes fondamentaux de la créativité mathématique et de la philosophie numérique.
Mathématiques et informatique
Il a fréquenté la Bronx High School of Science et le City College de New York , où il (encore dans son adolescence) a développé la théorie qui a conduit à sa découverte indépendante de la complexité algorithmique .
Chaitin a défini la constante de Chaitin Ω, un nombre réel dont les chiffres sont équidistribués et qui est parfois décrit de manière informelle comme une expression de la probabilité qu'un programme aléatoire s'arrête. Ω a la propriété mathématique d'être définissable , avec des approximations asymptotiques d'en bas (mais pas d'en haut), mais non calculables .
Chaitin est également à l'origine de l'utilisation de la coloration des graphes pour effectuer l' allocation des registres lors de la compilation , un processus connu sous le nom d'algorithme de Chaitin .
Il était auparavant chercheur au Thomas J. Watson Research Center d'IBM à New York et reste chercheur émérite. Il a écrit plus de 10 livres qui ont été traduits dans une quinzaine de langues. Il s'intéresse aujourd'hui aux questions de métabiologie et aux formalisations théoriques de l' information de la théorie de l' évolution .
Autres contributions scientifiques
Chaitin écrit également sur la philosophie , en particulier la métaphysique et la philosophie des mathématiques (en particulier sur les questions épistémologiques en mathématiques). En métaphysique, Chaitin affirme que la théorie algorithmique de l'information est la clé pour résoudre des problèmes dans le domaine de la biologie (obtention d'une définition formelle de la « vie », de son origine et de son évolution ) et des neurosciences (le problème de la conscience et l'étude de l'esprit).
Dans des écrits récents, il défend une position dite de philosophie numérique . Dans l' épistémologie des mathématiques, il affirme que ses découvertes en logique mathématique et en théorie de l'information algorithmique montrent qu'il existe « des faits mathématiques qui sont vrais sans raison, qui sont vrais par accident ». Chaitin propose que les mathématiciens doivent abandonner tout espoir de prouver ces faits mathématiques et adopter une méthodologie quasi-empirique .
Honneurs
En 1995, il a reçu le diplôme de docteur en sciences honoris causa de l' Université du Maine . En 2002, il a reçu le titre de professeur honoraire de l' Université de Buenos Aires en Argentine, où ses parents sont nés et où Chaitin a passé une partie de sa jeunesse. En 2007, il a reçu une médaille Leibniz par Wolfram Research . En 2009, il a reçu le diplôme de docteur en philosophie honoris causa de l' Université nationale de Cordoue . Auparavant , il était chercheur à IBM de Thomas J. Watson Research Center et est maintenant professeur à l' Université fédérale de Rio de Janeiro .
Critique
Certains philosophes et logiciens sont en désaccord avec les conclusions philosophiques que Chaitin a tirées de ses théorèmes liés à ce que Chaitin pense être une sorte d'aléatoire arithmétique fondamental. Le logicien Torkel Franzén a critiqué l'interprétation de Chaitin du théorème d'incomplétude de Gödel et la prétendue explication que le travail de Chaitin représente.
Bibliographie
- Information, caractère aléatoire et incomplétude ( World Scientific 1987) ( en ligne )
- Théorie de l'information algorithmique ( Cambridge University Press 1987) en ligne
- Incomplétude de la théorie de l'information ( World Scientific 1992) ( en ligne )
- Les limites des mathématiques ( Springer-Verlag 1998)
- L'Inconnaissable ( Springer-Verlag 1999)
- Explorer le hasard ( Springer-Verlag 2001)
- Conversations avec un mathématicien ( Springer-Verlag 2002)
- De la philosophie à la taille du programme ( Tallinn Cybernetics Institute 2003)
- Meta Math!: The Quest for Omega ( Pantheon Books 2005) (réimprimé au Royaume-Uni sous le nom de Meta Maths: The Quest for Omega , Atlantic Books 2006) ( arXiv : math/0404335 )
- Teoria algoritmica della complessità ( G. Giappichelli Editore 2006)
- Penser à Gödel & Turing ( World Scientific 2007)
- Mathématiques, complexité et philosophie ( Editorial Midas 2011)
- La voie de Gödel ( CRC Press 2012)
- Prouver Darwin : rendre la biologie mathématique ( Panthéon Books 2012)
Les références
Lectures complémentaires
- Pagallo, Ugo (2005), Introduzione alla filosofia digitale. Da Leibniz a Chaitin [ Introduction à la philosophie numérique : de Leibniz à Chaitin ] (en italien), G. Giappichelli Editore, ISBN 978-88-348-5635-2, archivé à partir de l'original le 22 juillet 2011 , récupéré le 16 avril 2008
- Calude, Cristian S., éd. (2007), Aléatoire et complexité. De Leibniz à Chaitin , World Scientific, ISBN 978-981-277-082-0
- Wuppuluri, Shyam; Doria, Francisco A., éd. (2020), Unraveling Complexity: The Life and Work of Gregory Chaitin , World Scientific, doi : 10.1142/11270 , ISBN 978-981-12-0006-9
Liens externes
- Page d'accueil de GJ Chaitin
- Liste des publications de GJ Chaitin
- Vidéo d'une conférence sur la métabiologie : "La vie comme logiciel évolutif" sur YouTube
- Vidéo de la conférence sur "Leibniz, complexité et incomplétude"
- Ouvrages de ou sur Gregory Chaitin dans les bibliothèques ( catalogue WorldCat )
- Article du New Scientist (mars 2001) sur Chaitin, Omegas et Super-Omegas
- Une version courte de la preuve de Chaitin
- Gregory Chaitin a prolongé l'interview et les transcriptions du film « Pourquoi sommes-nous ici ? » série documentaire .