| 字词 | godel，kurt |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | Godel，Kurt1906～1978柯特·哥德尔美国数学家。生于奥地利。以其数理逻辑的研究成果闻名于世。1930年证明了谓词演算系统完全性定理，对模型论的产生和发展有很大影响。1931年证明了形式数论学说不完全性定理，对递归论的产生和发展起了重要作用。1938～1939年证明了连续假设和选择公理的相对协调性定理，对公理集合论有重大影响，而且直接导致了集合序数上的递归论的产生。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。