Gregory Chaitin

Gregory Chaitin (1947 - ) est un mathématicien et informaticien argentino-américain. C'est un spécialiste de l'algorithmique.

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.

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 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 d'être non calculable.

Bibliographie

Notices d'autorité :
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).
(fr) Hasard et complexité en mathématiques, la quête de Ω, Flammarion, Janvier 2007 (ISBN 2082105687).
Thinking about Gödel and Turing:Essays on Complexity, 1970-2007, World Scientific, 2007 - 347 pages, (ISBN 978-981-270-895-3). Recueil de 23 articles antérieurement publiés.

Portail de l'informatique théorique
Portail de la logique
Portail des États-Unis

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.