Gregory Chaitin

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Chaitin)
Gregory Chaitin
Chaitin en randonnée dans le New Hampshire.
Biographie
Naissance
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Influencé par

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

Biographie[modifier | modifier le code]

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[1].

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[2]. 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.

Notes[modifier | modifier le code]

  1. (en) « Review of Meta Math!: The Quest for Omega, By Gregory Chaitin », SIAM News, vol. 39, no 1,‎
  2. J.-P. Delahaye, Information, complexité et hasard, Hermès, , 275 p. (ISBN 2746200260), p. 88.

Bibliographie[modifier | modifier le code]

Liens externes[modifier | modifier le code]