Chaitin
- Chaitin
-
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 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 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 non calculable.
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).
Portail de l’informatique
Portail de la logique
Catégories : Mathématicien américain | Naissance en 1947 | Calculabilité | Logicien | Théorie algorithmique de l'information
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Chaitin de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Chaitin — Gregory J. Chaitin (* 1947 in Chicago) ist ein US amerikanischer Mathematiker und Philosoph. Sein Hauptarbeitsgebiet ist die Berechenbarkeitstheorie. Er steht damit in der Tradition von Kurt Gödel und Alan Turing, deren Theoreme… … Deutsch Wikipedia
CHAITIN — Information Randomness & Incompleteness: Papers on Algorithmic Information Theory, Gregory J. Chaitin, World Scientific, Series in Computer Science Vol. 8, 1987 (informationswissenschaftl. Veoeffentlichungen) … Acronyms
CHAITIN — Information Randomness & Incompleteness: Papers on Algorithmic Information Theory, Gregory J. Chaitin, World Scientific, Series in Computer Science Vol. 8, 1987 (informationswissenschaftl. Veröffentlichungen) … Acronyms von A bis Z
Chaitin's algorithm — is a bottom up, graph coloring register allocation algorithm that uses cost/degree as its spill metric. It is named after its designer, Gregory Chaitin. Chaitin s algorithm was the first register allocation algorithm that made use of coloring of… … Wikipedia
Chaitin's constant — In the computer science subfield of algorithmic information theory, a Chaitin constant or halting probability is a real number that informally represents the probability that a randomly constructed program will halt. These numbers are formed from … Wikipedia
Gregory Chaitin — Born 1947 (1947) Chicago[1] Residence … Wikipedia
Gregory Chaitin — Gregory J. Chaitin (nacido en Nueva York en 1947) es un matemático y científico de la computación estadounidense nacionalizado argentino. Contenido 1 Biografía 2 Bibliografía (en inglés) 3 Referencias … Wikipedia Español
Oméga de Chaitin — Un nombre Oméga de Chaitin est une suite de bits représentant, sous forme concentrée, la solution du problème de l arrêt pour tous les programme d une machine de Turing universelle donnée. En théorie algorithmique de l information, une constante… … Wikipédia en Français
Constante de Chaitin — Oméga de Chaitin Dans le sous domaine de l’informatique qu’est la théorie algorithmique de l’information, une constante Oméga de Chaitin est un nombre réel, associé à un modèle de calcul ou à un langage de programmation donné, défini comme étant… … Wikipédia en Français
Omega de Chaitin — Oméga de Chaitin Dans le sous domaine de l’informatique qu’est la théorie algorithmique de l’information, une constante Oméga de Chaitin est un nombre réel, associé à un modèle de calcul ou à un langage de programmation donné, défini comme étant… … Wikipédia en Français
