| 释义 |
recursiveness|rɪˈkɜːsɪvnɪs|
[f. as prec. + -ness.]
The property of being recursive.
1936Amer. Jrnl. Math. LVIII. 346 Since the results of the present paper were obtained, it has been shown by Kleene..that analogous results can be obtained entirely in terms of recursiveness, without making use of λ-definability. 1962R. B. Braithwaite in B. Meltzer tr. Gödel's Formally Undecidable Propositions 11 The notion of recursiveness has played a central part in metamathematics since Gödel's work on it. Ibid. 12 The importance of recursiveness for metamathematics in general lies in the fact that recursive definition enables every number in a recursively defined infinite sequence to be constructed according to a rule, so that a remark about the infinite sequence can be construed as a remark about the rule of construction and not as a remark about a given infinite totality. 1964E. Bach Introd. Transformational Gram. ii. 16 In order to provide for an infinite number of terminal strings, a grammar must have a basic property called recursiveness. 1970Nature 19 Dec. 1234/1 The concept of recursiveness was formulated in Gödel's sensational work in 1931 on the limitations of mechanical languages. 1975G. Sampson Form of Lang. v. 89 As soon as we allow ‘S’ to appear on the right-hand side of one of the rules, the grammar acquires the property of ‘recursiveness’. |