蔡廷常數

1975 年，計算機科學家格里高裏·蔡廷（Gregory Chaitin）研究了一個很有趣的問題：任意指定一種編程語言中，隨機輸入一段代碼，這段代碼能成功運行並且會在有限時間裏終止（不會無限運行下去）的概率是多大。他把這個概率值命名為了“蔡廷常數”（Chaitin's constant）。

這聽起來有點不可思議，但事實上確實如此——蔡廷常數是一個不可計算數（uncomputable number）。也就是説，雖然蔡廷常數是一個確定的數字，但現已在理論上證明了，你是永遠無法求出它來的。