Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Gregory Chaitin
Résumé
Gregory Chaitin (né à Chicago en 1947) est un mathématicien et informaticien argentino-américain. C'est un spécialiste de l'algorithmique.
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 dont les chiffres sont équidistribués 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é, 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).
Hasard et complexité en mathématiques, la quête de Ω, Flammarion, .
Thinking about Gödel and Turing:Essays on Complexity, 1970-2007, World Scientific, 2007 - 347 pages, . Recueil de 23 articles antérieurement publiés.
Catégorie:Mathématicien américain du XXe siècle
Catégorie:Naissance en novembre 1947
Catégorie:Personnalité en théorie de la calculabilité
Catégorie:Théorie algorithmique de l'informatio
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.