计算机科学家格里高里·蔡廷(Gregory chaitin)想:“既然停机问题不能被解决,那预测多会儿停机,倒是可以算一算。”
蔡廷开始在1975年,开始找到了各个程序的代码,研究任意指定一种编程语言中,随机输入一段代码,这段代码能成功运行并且会在有限时间里终止(不会无限运行下去)的概率是多大。
最后有点不可思议,蔡廷常数是一个不可计算数。
虽然蔡廷常数是一个确定的数字,但现已在理论上证明了,你是永远无法求出它来的。
蔡延常数写作ΩU,它的值大约是0.00。
工程计算中经常说忽略不计,必要的忽略是简化处理问题的手段,不言忽略,再简单的问题也会变得复杂。