蔡廷常數(Chaitin's constant)是1975年由格里高里·蔡廷發現的不可計算數的機率值。
基本介紹
- 中文名:蔡廷常數
- 外文名:Chaitin's constant
- 提出時間:1975年
- 提出者:格里高里·蔡廷
1975 年,計算機科學家格里高里·蔡廷(Gregory Chaitin)研究了一個很有趣的問題:任意指定一種程式語言中,隨機輸入一段代碼,這段代碼能成功運行並且會在有限時間裡終止(不會無限運行下去)的機率是多大。他把這個機率值命名為了“蔡廷常數”(Chaitin's constant)。
這聽起來有點不可思議,但事實上確實如此——蔡廷常數是一個不可計算數(uncomputable number)。也就是說,雖然蔡廷常數是一個確定的數字,但現已在理論上證明了,你是永遠無法求出它來的。