La costante di Chaitin o numero di Chaitin (indicato con la lettera greca Ω) è un numero reale che rappresenta la probabilità di terminazione di un programma costruito casualmente.
Introdotto da Gregory Chaitin, è un numero normale e trascendente, ma non è un numero computabile.
Bibliografia
Voci correlate Problema della terminazione Paradosso di Berry
Collegamenti esterni
Categoria:Teoria della computazione