网站首页 高考复习资料 高考英语词汇 高考汉语字词 高考文言文 古诗文阅读 旧版资料
| 词汇 | godel，kurt |
| 释义 | Godel，Kurt1906～1978柯特·哥德尔美国数学家。生于奥地利。以其数理逻辑的研究成果闻名于世。1930年证明了谓词演算系统完全性定理，对模型论的产生和发展有很大影响。1931年证明了形式数论学说不完全性定理，对递归论的产生和发展起了重要作用。1938～1939年证明了连续假设和选择公理的相对协调性定理，对公理集合论有重大影响，而且直接导致了集合序数上的递归论的产生。 |
| 随便看 |
|
高三复习网英汉词典收录370961条英汉翻译词条，基本涵盖了全部常用英语单词的释义及用法，是英语学习的有利工具。