柴廷常数

在计算机科学中的算法信息论，柴廷常数（柴廷欧米茄数）或停机的概率是一个实数，非正式地来讲，所表示的是随机的程式将会停止的概率。这些数字是从一个格雷戈里·柴廷制作的构造。
尽管有无穷多个停止的概率（每个方法的程式编码都各有一个），使用字母 formula_1 代表他们是很普通的。因为 formula_1 取决于程序编码使用的程式，这有时被称为柴廷构造，而不是柴廷常数当没有参考任何特定的编码的时候。
每个停止的概率是一个正规数和超越数的实数，而不是可计算数，这意味着，没有演算法计算他的位数。事实上，每个停止的概率是马丁-洛夫随机的，意味着甚至没有任何的演算法是可以可靠地猜测他的位数的。
背景.
停止的概率的定义依赖于无字首的图灵完备的可计算函数的存在。这样的函数，直观地说，代表了一种编程语言具有这样的性质：没有有效的程式可以被获得为另一个有效的程式的部分扩展。
假设 formula_3是一个部分函数，需要一个参数跟一个有限的二元串，并有可能返回一个二元串作为输出。这个函数formula_3被称为可计算的，如果有一个图灵机有计算出他(在这个意义上：对于任何有限的二元串formula_5和formula_6"、"formula_7 若且唯若这个图灵机停止且formula_6在他的地带当给出输入formula_5"的时候)."
函数formula_3被称为图灵完备，如果拥有下列性质：对于一个单一的变量的每个可计算函数formula_11 ，都有一串formula_12使得对于所有的formula_5, formula_14；这里 "formula_12" "formula_5" 表示两个二元串"formula_12"和"formula_5"的串接. 这意味着：formula_3可用于模拟一个变量的任何一个可计算函数。非正式地说，"formula_12"表示可计算函数"formula_11的「脚本」，另外"formula_3表示一个"解释"解析脚本作为前缀的其输入和随后执行它其余的输入。
formula_3的定义域是所有输入formula_24的集合。对于图灵完备的formula_3，这样的formula_24通常可以被看到作为程式部分和数据部分的连接，并作为函数formula_3的单一程式。
函数formula_3被称为无字首如果没有两个元素 formula_24, formula_30在其定义域使得formula_30是formula_24的一个部分扩展，换句话说，formula_3的定义域是一个前置码（瞬间代码）在有限二元串的集合。一个简单的方法来强制执行「无字首性」是使用机器，这些机器的输入是一个二流从哪位可以读一个在一段时间。 没有结束的标记；结束的输入确定通过时这个图灵完备的机器决定将停止阅读更多位数。在这里，之间的差别这两个概念的程序中提到的最后一段变得清楚的；一个是很容易地认识到一些文法，而其他需要任意的计算到承认。
任何图灵完备的可计算函数的定义域都是递归可枚举集合，但是不是递归集合. 这个定义域是图灵等同于停机问题.
定义.
设formula_34是无字首的图灵完备的可计算函数formula_3的定义域，常数formula_36被定义为
formula_38 表示的字串formula_24的长度。这是一个无限和， 其中有一个加数对于formula_3的定义域中的每个formula_24。这要求该定义域是无字首的，再配合克拉夫特不等式，确保这个和会收敛到0到1之间的一个实数。如果formula_3是明确的，则formula_36可以被简单地写为formula_1，虽然不同的无字首的图灵完备的可计算函数会有不同的formula_1值。
与停机问题的关系.
知道formula_1的（二进制的）前formula_47位数，我们可以计算出每个不超过formula_47个字元的程式的 停机问题 。假设程式formula_24其停机问题是要解决formula_47个字元的程式。在衔接时，所有长度的所有程式都在运行，直到足够的程式贡献了足够的机率，以与这些「前formula_47位数」相配。如果程式formula_24并没有停止，那么它永远也不会，因为它的贡献停止的概率将影响的第formula_47位。因此，制止的问题（对于formula_24）将得到解决。
因为有很多悬而未决的数论问题，例如哥德巴赫猜想，相当于解决特别程式（这基本上就是搜索反例，如果有一个反例发现就停止）的停机问题，知道了柴廷常数的足够位数还将意味着知道这些问题的答案。但是，由于停机问题一般并不是可以解决的，因此计算柴廷常数的任意位数是不可能的，这只是把困难的问题变成不可解决的问题，就像在试图建立一个预言机一样。
解释作为一个机率.
康托空间是所有0跟1的无限序列的集合，一个停机的概率可被解释为的测度的特定子集的康托空间在通常的概率衡量在康托空间。它是从这一解释，终止的概率取他们的名字。
该概率的测度在康托空间，有时也称为公平的硬币措施，定义，以便为任何二元字串formula_5的组序列的开头formula_5具有测量formula_57. 这意味着为每个自然的数量formula_58，该组序列的formula_11在坎特的空间，这样 formula_60测量的formula_61和本组序列的formula_58个元素是0还有衡量的formula_61。
设formula_3是无字首的图灵完备的的可计算函数，formula_3的定义域formula_66包括一个二元字串的无限集合
这些字符串中的每一个formula_68"确定了康托空间的"一个子集formula_69"，" 该组formula_69包含康托空间的所有从formula_68开始的序列"。"这些都是分离的，因为formula_66为无字首的集合， 总和
表示该集合的测度
在这种方式， formula_36表示的概率是随机选择的无限的0跟1的序列以F的定义域里的一位字串（的某个有限的长度）开始，由于这个原因，formula_36被称为停机的概率。
性质.
每个柴廷常数 formula_1 具有以下性质：
并不是每个图灵等同于停机问题的集合都是停止的概率。 一个等价关系，索罗维等同，可以用来描绘制止的概率之间的左-c。e.实数 。 我们可以显示：一个在[0,1]里的实数是一个柴廷常数(即停止的概率的某些无字首的图灵完备的的可计算函数)若且唯若如果它是左-c。e. 并且是算法随机。 Ω 是少数几个 可定义的 算法随机数，它是最着名的算法随机数，但它根本不是典型的算法随机数。
不可计算性.
一个实数是可计算的，如果有一个算法，给出"formula_58"，返回该数的前formula_58个位数。 这相当于存在一个程式，能够列举数字的所有位数。
没有停机的概率是可计算的。 证明这一事实依赖于一种算法，给出formula_1的前formula_58个位数，解决图灵的停机问题对于长度不超过formula_58的程式。由于停机问题是不可判定问题，formula_1没有办法被计算出来。
算法进行如下。 给出 formula_1 的前n个位数，以及数字formula_96，这个算法枚举了formula_3的定义域，直到这个定义域里足够的元素已经被找到，使他们所代表的概率是formula_1的formula_99. 在这一点后，没有长度formula_100的附加程式可以在定义域里，因为每个程式将增加formula_101到这个措施，这是不可能的。因此，长度formula_100的字串的集合在这个定义域中就是「已经一一列举的字串的集合」。
算法的随机性.
一个真正的数量是随机的，如果二进制序列代表实际数量是一个 算法的随机序列. 
卡路德、赫特凌，寇赛诺夫 以及 王 表明，
这一递归的实数是一个算法随机的序列，若且唯若它是一个柴廷formula_1 数。
柴廷数.
柴廷常数是指停机的概率，通常不是可计算数，且有无穷多个停止的概率（每个方法的程式编码都各有一个）。其中一种通用图灵机的停机概率formula_104由卡卢德（Calude）等人计算并给出数值，约为0.007875：
停机问题的不完备定理.
对于每一个的一致有效的代表自然数的公理系统，如皮亚诺公理，存在常数formula_47使得没有「 formula_1 在"第formula_47位数 之后的位数」"可以被证明为1或0，在这个系统。常数formula_47取决于形式系统是有效地代表，并因此并不直接反映的复杂性不言自明的系统。这个不完整的结果是类似于哥德尔不完备定理在于，它表明，没有一致的正式理论运算可以完成。