个实数是可计算的，如果有一个算法，给出"n"，返回该数的前n个位数。 这相当于存在一个程式，能够列举数字的所有位数。没有停机的概率是可计算的。 证明这一事实依赖于一种算法，给出Ω的前n个位数，解决图灵的停机问题对于长度不超过n的程式。由于停机问题是不可判定问题, Ω 没有办法被计算出来。算法进行如下。 给出 Ω 的前n个位数，以及数字"k" ≤ "n"，这个算法枚举了 "F" 的定义域，直到这个定义域里足够的元素已经被找到，使他们所代表的概率是Ω的2 . 在这一点后，没有长度k的附加程式可以在定义域