| 单词 | primitive recursive |
| 释义 | > as lemmasprimitive recursive primitive recursive adj. Mathematics and Logic (of a function or relation) able to be generated by primitive recursion. ΘΚΠ the world > relative properties > number > algebra > [adjective] > relating to expressions > relating to functions > recursive general recursive1936 primitive recursive1936 partial recursive1938 1936 S. C. Kleene in Math. Ann. 112 729 A recursive function (relation) in the sense of Gödel..will now be called a primitive recursive function (relation). 1965 G. T. Herman & O. Plassman tr. H. Hermes Enumerability, Decidability, Computability iii. 82 The essence of Ackermann's proof of the existence of a computable function which is not primitive recursive consists in defining a computable function which increases in a certain sense faster than any primitive recursive function. 2004 M. Potter Set Theory & its Philos. xiii. 213 If we replace n in this expression by n + 1, evaluate the number so described, and then subtract one from the answer, we obtain a natural number..Fn(r)... In general the function Fn thus defined is primitive recursive. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。