单词 | recursive relation |
释义 | > as lemmasrecursive relation recursive relation n. Mathematics and Logic a property of, or relation between, natural numbers whose truth value for all arguments is a recursive function; a relation that can be expressed by a recursive function. ΘΚΠ the world > relative properties > number > mathematical number or quantity > [noun] > relationship between quantities > other finite difference1807 inverse1837 reciprocator1874 power law1919 recursive relation1934 1934 S. C. Kleene & J. B. Rosser Gödel's Undecidable Propositions Formal Math. Syst. (typescript) 3 A relation R shall be recursive if the representing function is recursive... Recursive relations (classes) are decidable in the sense that, for each given set of natural numbers, it can be determined by a finite procedure whether the relation holds or does not hold... The functions x + y, xy, xy and x! are clearly recursive. 1989 G. M. Edelman Remembered Present x. 179 Given the recursive relation between recombinatorial conceptual capabilities and speech production and recognition, it is perhaps not surprising that an enormous extension of conceptual power rapidly emerged as a result of the evolution of language. 2000 J. R. Lucas Conceptual Roots Math. iv. 205 The three rules of inference—the rule of substitution, the rule of generalisation and the rule of Modus Ponens—can be represented by Primitive Recursive Relations between the Gödel numbers of the premises and the Gödel numbers of the conclusions. < as lemmas |
随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。