Grégory Chaitin - Gregory Chaitin

Grégory Chaitin
Née ( 1947-06-25 )25 juin 1947 (73 ans)
Chicago
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

Les références

Lectures complémentaires

Liens externes