蔡廷常数(Chaitin's constant)是1975年由格里高里·蔡廷发现的
不可计算数的
概率值。
1975 年,计算机科学家格里高里·蔡廷(Gregory Chaitin)研究了一个很有趣的问题:任意指定一种编程语言中,随机输入一段代码,这段代码能成功运行并且会在有限时间里终止(不会无限运行下去)的概率是多大。他把这个概率值命名为了“蔡廷常数”(Chaitin's constant)。
这听起来有点不可思议,但事实上确实如此——蔡廷常数是一个不可计算数(uncomputable number)。也就是说,虽然蔡廷常数是一个确定的数字,但现已在理论上证明了,你是永远无法求出它来的。