Grégory Chaitin
- Grégory 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 Grégory Chaitin de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Gregory Chaitin — Born 1947 (1947) Chicago[1] Residence … Wikipedia
Gregory 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
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 … Wikipédia en Français
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
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'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 — 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… … Wikipédia en Français
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 — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Gregory est un nom propre qui peut désigner : Sommaire 1 Prénom et patronyme 2 … Wikipédia en Français
CHAITIN — Information Randomness & Incompleteness: Papers on Algorithmic Information Theory, Gregory J. Chaitin, World Scientific, Series in Computer Science Vol. 8, 1987 (informationswissenschaftl. Veoeffentlichungen) … Acronyms
