原始递归函数：修订间差异

求闻百科，共笔求闻
交互式浏览历史
添加的内容 删除的内容
可视化wikitext
（修改自此处；原许可：CC BY-SA 3.0［网站升级迁移］）
 
无编辑摘要
第34行： 第34行：
=== 转换谓词到数值函数 ===
=== 转换谓词到数值函数 ===


在某些设置中，自然的考虑接受混合了数值和真值{ t= true, f=false } 的参数，或生成真值作为输出的原始递归函数(参见 Kleene [1952 pp.226-227])。这可以通过把真值识别为任何固定方式的数值来完成。例如，通常把真值''t'' 识别为 ''1'' 和真值 ''f'' 识别为 ''0''。一旦作出这种识别，集合 ''A'' 的[[指示函数|特征函数]]，它在文字上返回 ''1'' 或 ''0''，可以被看作判定一个数是否在集合 ''A'' 中的谓词。把谓词识别为数值函数的这种方式将假定于本文余下部分。
在某些设置中，自然的考虑接受混合了数值和真值{ t= true, f=false } 的参数，或生成真值作为输出的原始递归函数(参见 Kleene [1952 pp.226–227])。这可以通过把真值识别为任何固定方式的数值来完成。例如，通常把真值''t'' 识别为 ''1'' 和真值 ''f'' 识别为 ''0''。一旦作出这种识别，集合 ''A'' 的[[指示函数|特征函数]]，它在文字上返回 ''1'' 或 ''0''，可以被看作判定一个数是否在集合 ''A'' 中的谓词。把谓词识别为数值函数的这种方式将假定于本文余下部分。


== 例子 ==
== 例子 ==
第110行： 第110行：
* Robert I. Soare, ''Recursively Enumerable Sets and Degrees'', Springer-Verlag, 1987. ISBN 0-387-15299-7
* 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
* [[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.
* [[George Boolos]], [[John Burgess]], [[Richard Jeffrey]] (2002), ''Computability and Logic: Fourth Edition'', Cambridge University Press, Cambridge, UK. Cf pp. 70–71.


[[Category:递归论]]
[[Category:递归论]]
取自“https://www.qiuwenbaike.cn/wiki/原始递归函数”