| 单词 | godel，kurt |
| 释义 | Godel，Kurt1906～1978柯特·哥德尔美国数学家。生于奥地利。以其数理逻辑的研究成果闻名于世。1930年证明了谓词演算系统完全性定理，对模型论的产生和发展有很大影响。1931年证明了形式数论学说不完全性定理，对递归论的产生和发展起了重要作用。1938～1939年证明了连续假设和选择公理的相对协调性定理，对公理集合论有重大影响，而且直接导致了集合序数上的递归论的产生。 |
| 随便看 |
英汉词典共收录311570条英汉翻译词条，基本覆盖所有常用英文单词的例句及中文翻译，是不可多得的英语学习材料。