原始递归函数

在可计算性理论中，原始递归函数（英語：primitive recursive functions）对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们完全是可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。 通常在数论中研究的很多函数，近似于实数值函数，比如加法、除法、阶乘、指数，找到第 n 个素数等等是原始递归的（Brainerd and Landweber, 1974）。实际上，很难设计不是原始递归的函数，尽管某些函数是已知的(比如阿克曼函数)。所以，通过研究它们，我们能发现有广泛影响的结论的那些性质。 原始递归函数可以用总是停机的图灵机计算，而递归函数需要图灵完全系统。 原始递归函数的集合在计算复杂性理论中叫做PR。 原始递归函数接受自然数或自然数的元组作为参数并生成自然数。接受 n 个参数的函数叫做 n-元函数。基本原始递归函数用如下公理给出: 常数函数: 0 元常数函数 0 是原始递归的。 后继函数: 1 元后继函数 S，它接受一个参数并返回皮亚诺公理给出的后继数，是原始递归的。 投影函数: 对于所有 n≥1 和每个 1≤i≤n 的 i，n 元投影函数 Pin，它接受 n 个参数并返回它们中的第 i 个参数，是原始递归的。 更加复杂的递归函数可以通过应用下列公理给出的运算来获得: 复合: 给定k 元原始递归函数 f，和 k 个 m 元原始递归函数 g1,...,gk，f 和 g1,...,gk 的复合，也就是 m 元函数 h(x1,...,xm) = f(g1(x1,...,xm),...,gk(x1,...,xm)), 是原始递归的。 原始递归: 给定 k 元原始递归函数 f，和 k+2 元原始递归函数 g，定义为 f 和 g 的原始递归的 k+1 元函数，也就是函数 h 这里的 h(0,x1,...,xk) = f(x1,...,xk) 并且 h(S(n),x1,...,xk) = g(h(n,x1,...,xk),n,x1,...,xk), 是原始递归的。 服从这些公理的函数是原始递归的，如果它是上述基本函数之一，或者它可以通过应用有限次数的运算获得自基本函数。 投影函数可用来避免采用上述明显刻板的函数元数方式；通过使用各种投影函数的复合，有可能把一个函数的参数子集传递到另一个函数。例如，如果 g 和 h 是二元原始递归函数，则 f ( a , b , c ) = g ( h ( a , c ) , h ( a , b ) ) {\displaystyle f(a,b,c)=g(h(a,c),h(a,b))\!} 也是原始递归的。使用投影函数的一个形式定义为 f ( a , b , c ) = g ( h ( P 1 3 ( a , b , c ) , P 3 3 ( a , b , c ) ) , h ( P 1 3 ( a , b , c ) , P 2 3 ( a , b , c ) ) ) {\displaystyle f(a,b,c)=g(h(P_{1}^{3}(a,b,c),P_{3}^{3}(a,b,c)),h(P_{1}^{3}(a,b,c),P_{2}^{3}(a,b,c)))} . 在某些设置中，自然的考虑接受混合了数值和真值{ t= true, f=false } 的参数，或生成真值作为输出的原始递归函数(参见 Kleene [1952 pp.226-227])。这可以通过把真值识别为任何固定方式的数值来完成。例如，通常把真值t 识别为 1 和真值 f 识别为 0。一旦作出这种识别，集合 A 的特征函数，它在文字上返回 1 或 0，可以被看作判定一个数是否在集合 A 中的谓词。把谓词识别为数值函数的这种方式将假定于本文余下部分。 直觉上我们会把加法递归的定义为: add(0,x)=x add(n+1,x)=add(n,x)+1 为了使它适合于严格的原始递归定义,我们定义: add(0,x)=P11(x) add(S(n),x)=S(P13(add(n,x),n,x)) (注意: 这里的 P13 是一个函数，它接受 3 个参数并返回第一个。) P11 是简单的恒等函数；包含它是上述原始递归运算定义的要求；它扮演了 f 的角色。S 和 P13 的复合，它是原始递归的，它扮演了 g 的角色。 我们可以定义有限减法，就是说，截止到 0 的减法(因为我们还没有负数的概念呢)。首先我们必须定义"前驱" 函数，它担任后继函数的对立物。 直觉上我们会把前驱定义为: pred(0)=0 pred(n+1)=n 为了使它适合正式的原始递归定义，我们写: pred(0)=0 pred(S(n))=P22(pred(n),n) 现在我们以类似加法的方式定义减法。 sub(0,x)=P11(x) sub(S(n),x)=pred(P13(sub(n,x),n,x)) 出于简单的缘故，切换了"标准"定义的参数次序来适合原始递归的要求，就是说， sub(a,b) 对应于 b-a。这可以轻易的使用适当的投影来矫正。 很多类似的函数可以被证明是原始递归的；一些例子包括条件、指数、素数检验和数学归纳法，并且原始递归函数可以被扩展来运算在其他对象上比如整数和有理数。 通过使用哥德尔数，原始递归函数可以被扩展到在其他对象比如整数和有理数上的运算上。如果以标准方式编码整数用哥德尔数，算术运算包括加法、减法、乘法都是原始递归的。类似的，如果以哥德尔数表示有理数，则域运算都是原始递归的。 通过介入无界查找算子可定义更广泛的偏递归函数类。这个算子的使用可以导致偏函数，就是说，对每个参数有最多一个值，但是不同于全函数，不必须对参数有值的关系(参见定义域)。一个等价的定义声称偏递归函数是可以被图灵机就算的函数。全递归函数是对所有输入有定义的偏递归函数。 所有原始递归函数都是全递归的，但不是所有全递归函数都是原始递归的。阿克曼函数 A(m,n)是周知的不是原始递归的全递归函数。原始递归函数有作为使用阿克曼函数的全递归函数的子集的一个特征。这个特征声称一个函数是原始递归的，当且仅当有一个自然数 m 使得这个函数可以被总在 A(m,n) 或更少步骤内停机的图灵机计算，这里的 n 是原始递归函数的参数的总数。 原始递归函数意图紧密对应于我们直觉上可计算函数应该的样子。当然函数的初始集合在直觉上是可计算的(因为它们非常简单)，而你能用来建立新原始递归函数的两个运算也是非常直接的。但是原始递归函数的集合不包含所有可能的可计算函数 — 这可以看作康托尔对角论证法的变体。这个论证提供了一个不是原始递归的可计算函数。证明的梗概如下: 原始递归函数集合可以被计算枚举。这个编号方案在函数定义上是唯一的，尽管在实际函数自身上不是唯一的(因为所有的函数都可以有无限数目的定义 — 考虑简单的由恒等函数构成)。这个编码在可计算性的形式模型，比如递归函数或图灵机下定义的意义上是可计算的，邱奇-图灵论题涉及的任何机器都可以。 现在考虑一个矩阵，这里的行是在这个编号方案下的有一个参数的原始递归函数，而列是自然数。则每个元素 (i, j) 对应于计算于数 j 之上的第 i 个一元原始递归函数。我们可以写为 fi(j)。 现在我们考虑函数 g(x) = S(fx(x))。g 位于这个矩阵的对角线上，并简单的对它找到的值加一。这个函数是可计算的(按上述定义)，但是明显的没有计算它的原始递归函数存在，因为它与每个可能的原始递归函数都有至少一个值不同。所以，必然存在不是原始递归的可计算函数。 这个论证可以应用于能用这种方式枚举的任何一类的可计算(全)函数上。所以，任何这种可计算(全)函数的明确列表都不可能是完全的，比如那些可以用判定器计算的函数。但是要注意，偏可计算函数集合(那些不需要对所有参数有定义的函数)可以被明确的枚举，例如通过枚举图灵机编码。 可以明确展示的一个简单的 1-元可计算函数阿克曼函數，它是对任何自然数递归定义的，但不是原始递归的。 递归定义以前在数学中或多或少地被正式使用过，但原始递归的构造可以追溯到理查德·戴德金的 "Was sind und was sollen die Zahlen? (1888). 这项工作是第一个给出某个递归结构定义了一个唯一函数的证明。 原始递归算术是由Thoralf Skolem首次提出的 1923年。 目前的术语是由Rózsa Péter（1934年）在Wilkinson之后创造的。(1934)在阿克曼于1928年证明了今天以他名字命名的函数不是原始递归函数之后，这一事件促使人们需要重新命名在那之前被简单称为递归函数的东西。 遞歸 (電腦科學) 双重递归 原始递归集函数 原始递归序数函数 Peter Smith. 哥德尔定理简介 2nd. 剑桥大学出版社. 2013: 98–99. ISBN 978-1-107-02284-3.  George Tourlakis. Lectures in Logic and Set Theory: Volume 1, Mathematical Logic. Cambridge University Press. 2003: 129. ISBN 978-1-139-43942-8.  Rod Downey (编). 图灵的遗产。来自图灵逻辑思想的发展. 剑桥大学出版社. 2014: 474. ISBN 978-1-107-04348-0.  Thoralf Skolem 。(1923) "The foundations of elementary arithmetic" in Jean van Heijenoort, translator and ed. (1967) From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931。Harvard Univ. Press: 302-33. Brainerd, W.S., Landweber, L.H. (1974), Theory of Computation, Wiley, ISBN 0-471-09585-0. Robert I. Soare, Recursively Enumerable Sets and Degrees , Springer-Verlag, 1987. ISBN 0-387-15299-7 Stephen Kleene (1952) Introduction to Metamathematics, North-Holland Publishing Company, New York, 11th reprint 1971: (2nd edition notes added on 6th reprint). In Chapter XI. General Recursive Functions §57 George Boolos, John Burgess, Richard Jeffrey (2002), Computability and Logic: Fourth Edition, Cambridge University Press, Cambridge, UK. Cf pp. 70-71. Robert I. Soare 1995 Computability and Recursion http://www.people.cs.uchicago.edu/~soare/History/compute.pdf （页面存档备份，存于互联网档案馆） Daniel Severin 2008, Unary primitive recursive functions, J. Symbolic Logic Volume 73, Issue 4, pp.  1122-1138 arXiv （页面存档备份，存于互联网档案馆） projecteuclid （页面存档备份，存于互联网档案馆） Template:数学逻辑