Gregory Chaitin

Biographie

Dès la fin des années 1960, Chaitin fit d'importantes contributions à la théorie algorithmique de l'information. En particulier, il travailla à un nouveau théorème d'incomplétude similaire, par le raisonnement qui le sous-tend, au théorème d'incomplétude de Gödel<ref name="SIAM">Modèle:Article</ref>.

En 1995, l'université du Maine lui décerna le titre de docteur honoris causa en sciences. En 2002, l'université de Buenos Aires, la ville où sont nés ses parents et où il passa une partie de sa jeunesse, le distingua par le titre de professeur honoraire. Il est aussi membre associé du département d'informatique de l'université d'Auckland en Nouvelle-Zélande.

Chaitin a défini la constante de Chaitin (aussi nommée Oméga de Chaitin), un nombre réel dont les chiffres sont équidistribués qui exprime la probabilité qu'un programme aléatoire s'arrête<ref name="Delahaye">Modèle:Ouvrage.</ref>. Ce nombre possède des propriétés remarquables, à commencer par celle d'être défini sans ambiguïté, sans pour cela être calculable au sens de Turing.

Algorithmic Information Theory, (Cambridge University Press, 1987),
Information, Randomness & Incompleteness, (World Scientific, 1987),
Information-Theoretic Incompleteness, (World Scientific, 1992),
The Limits of Mathematics, (Springer-Verlag 1998),
The Unknowable, (Springer-Verlag 1999),
Exploring Randomness, (Springer-Verlag 2001),
Conversations with a Mathematician: math, art, science and the limits of reason, (Springer-Verlag 2002),
From Philosophy to Program Size, (Tallinn Cybernetics Institute 2003),
Meta Math!, (E-Book 2004).
{{#invoke:Langue|indicationDeLangue}} Hasard et complexité en mathématiques, la quête de Ω, Flammarion, Modèle:Date- Modèle:ISBN.
Thinking about Gödel and Turing:Essays on Complexity, 1970-2007, World Scientific, 2007 - 347 pages, Modèle:ISBN. Recueil de 23 articles antérieurement publiés.