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

 

单词 Gödel, Kurt
释义 Gödel, Kurt n.
哥德尔(1906-1978, 奥匈帝国出生的美国逻辑学家、数学家, 证明了形式公理体系的不完备性, 即哥德尔证明)
随便看

 

英汉双解词典包含368430条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/4 13:06:38