| 单词 | general recursive |
| 释义 | > as lemmasgeneral recursive general recursive adj. Mathematics designating a function or relation which is recursive and is defined for all natural number values of its argument or arguments. ΘΚΠ the world > relative properties > number > algebra > [adjective] > relating to expressions > relating to functions > recursive general recursive1936 primitive recursive1936 partial recursive1938 1936 Amer. Jrnl. Math. 58 346 Since the results of the present paper were obtained, it has been shown by Kleene (see his forthcoming paper, ‘General recursive functions of natural numbers’) that analogous results can be obtained entirely in terms of recursiveness, without making use of λ-definability. 1936 S. C. Kleene in Math. Ann. 112 727 In this paper we offer several observations on general recursive functions, using essentially Gödel's form of the definition. 2002 S. G. Krantz Handbk. Logic & Proof Techniques vi. 89 Church's thesis is that the class of general recursive functions exhausts all of the effectively computable functions. This is a statement of philosophy; it is not amenable to proof. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。