概率（每个方法的程式编码都各有一个），使用字母 Ω 代表他们是很普通的。因为 Ω 取决于程序编码使用的程式，这有时被称为柴廷构造，而不是柴廷常数当没有参考任何特定的编码的时候。每个停止的概率是一个正规数和超越数的实数，而不是可计算数，这意味着，没有演算法计算他的位数。事实上，每个停止的概率是马丁-洛夫随机的，意味着甚至没有任何的演算法是可以可靠地猜测他的位数的。
背景.停止的概率的定义依赖于无字首的图灵完备的可计算函数的存在。这样的函数，直观地说，代表了一种编程语言具有这样的性