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

 

单词 metamathematician
释义 metamathematician|ˌmɛtəmæθɪməˈtɪʃən|
[f. next, after mathematics, mathematician.]
An expert in metamathematics.
1935Mind XLIV. 394 The metamathematician may use mathematical induction for the recursive definition of simple functions.1952S. C. Kleene Introd. Metamath. iii. 64 The interpretation motivates the metamathematician in his choice of the particular formal system which he introduces by his definitions.
随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/12/22 11:50:32