| 释义 |
computability|kəmˌpjuːtəˈbɪlɪtɪ|
[f. computable a.: see -ility.]
The property of being computable.
1889in Cent. Dict. 1936A. M. Turing in Proc. London Math. Soc. XLII. 231 In a recent paper Alonzo Church has introduced an idea of ‘effective calculability’, which is equivalent to my ‘computability’. 1952S. C. Kleene Introd. to Metamathematics 320 Three notions arose independently and almost simultaneously, namely general recursiveness, λ-definability..and computability. 1958M. Davis Computability & Unsolvability i. 10 We shall now comment briefly on the adequacy of our identification of effective calculability with computability. 1967H. Rogers (title) Theory of recursive functions and effective computability. 1985N.Y. Times 14 Jan. a8/3 The three courses required of upperclassmen are artificial intelligence, laboratory in software engineering and automata, and computability and complexity. |