Omega de Chaitin

constante de Chaitin
nombre de Chaitin

INFORMATIQUE

En théorie algorithmique de l’information, une constante Oméga de Chaitin est un nombre réel défini comme étant la probabilité qu’un programme informatique s’arrête.
Ces programmes sont associés à une machine de Turing universelle. Il existe donc une infinité de constantes de Chaitin, chacune associée à un modèle de calcul.
Ces nombres ont la propriété d’être définis sans ambiguïté mais ne sont pas calculables.
Ce nombre est lié au théorème d’incomplétude de Gödel .
Un nombre de Chaitin est un nombre transcendant , un nombre normal , un nombre univers dans toute base.
Gregory Chaitin, qui a défini ces nombres, est un mathématicien informaticien argentino-américain, né en 1947.