请输入您要查询的英文单词:

 

单词 finitary
释义 finitary, a. Math.|ˈfaɪnɪtərɪ|
[f. finite a. after unitary, translating G. finit (Hilbert & Bernays Grundl. d. Math. (1934) I. 32).]
Of methods, proofs, etc.: involving only a finite number of steps, a finite number of well-defined objects, and so on; capable of being completed within the concrete domain.
1952S. C. Kleene Introd. Metamath. iii. 63 Methods, called finitary by the formalists, which employ only intuitively conceivable objects and performable processes. (We translate the German ‘finit’ as ‘finitary’, since the English ‘finite’ is used for the German ‘endlich’.)1963G. T. Kneebone Math. Logic vii. 205 We can now reformulate in finitary terms the usual arguments.1965A. S. & E. H. Luchins Log. Found. Math. ix. 145 Hilbert did not offer a precise specification of what procedures were regarded by him as finitary.
随便看

 

英语词典包含277258条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/12/22 14:41:52