Grégoire Chaitin

et informaticien argentino - théorie algorithmique de l'information métamathématique . Il a découvert indépendamment , simultanément avec Andrei Kolmogorov et Ray Solomonoff , ce que l'on appelle aujourd'hui la complexité algorithmique (de Kolmogorov ou de Solomonoff-Kolmogorov-Chaitin) .

En 1975, Chaitin a défini la constante Ω de Chaitin , un nombre réel dont les chiffres sont équidistants et qui est parfois décrit de manière informelle comme une expression de la probabilité qu'un programme aléatoire s'arrête. Ω possède la propriété mathématique d'être définissable , avec des approximations asymptotiques inférieures (mais non supérieures), mais non calculable .

Chaitin est également à l'origine de l'utilisation de la coloration de graphes pour effectuer l'allocation de registres lors de la compilation , un processus connu sous le nom d'algorithme de Chaitin .

Il était auparavant chercheur au centre de recherche Thomas J. Watson d'IBM à New York, où il a écrit plus de 10 livres qui ont été traduits dans une quinzaine de langues.

Par la suite, Chaitin s'intéressa aux questions de informationnelles de la théorie de l'évolution , et il fut l'un des membres fondateurs de l'Institut d'études avancées de l' Université polytechnique Mohammed VI au Maroc.

Chaitin écrit également sur la philosophie , notamment la métaphysique et la philosophie des mathématiques (en particulier sur les questions épistémologiques en mathématiques). En métaphysique, il affirme que la théorie algorithmique de l'information est essentielle à la résolution des problèmes en biologie (obtention d'une définition formelle de la « vie », de son origine et de son évolution ) et en neurosciences (problème de la conscience et étude de l'esprit).

Dans ses écrits récents, il défend une position connue sous le nom de philosophie numérique . En épistémologie des mathématiques, il affirme que ses découvertes en logique mathématique et en théorie algorithmique de l'information démontrent l'existence de « faits mathématiques vrais sans raison, vrais par hasard » . Chaitin propose que les mathématiciens renoncent à tout espoir de prouver ces faits et adoptent une méthodologie quasi empirique .

En 1995, l' Université du Maine lui décerna le titre de docteur ès sciences honoris causa . En 2002, l' Université de Buenos Aires , en Argentine, ville natale de ses parents et où Chaitín passa une partie de sa jeunesse, lui conféra le titre de professeur honoraire . En 2007, Wolfram Research lui remit la Stephen Wolfram et Hector Zenil à partir du nombre de Chaitín calculé par Cristian Calude . En 2009, l' Université nationale de Córdoba lui décerna le titre de docteur en philosophie honoris causa . Il fut auparavant chercheur au Centre de recherche Thomas J. Watson d' IBM et professeur à l' Université fédérale de Rio de Janeiro .