Gregory Chaitin
Un article de Wikipédia, l'encyclopédie libre.
Gregory Chaitin (1947 - ) est un mathématicien et informaticien argentino-étasunien. C'est un spécialiste de l'algorithmique.
[modifier] 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 qu'il sous-tend, au théorème d'incomplétude de Gödel.
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 fut aussi invité comme professeur par le 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 qui exprime la probabilité qu'un programme aléatoire s'arrête. Ce nombre possède des propriétés remarquables, à commencer par celle d'être défini sans ambiguïté, mais non calculable.
[modifier] Bibliographie
- 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).