| 词条 | Godel，Kurt |
| 类别 | 英汉百科知识 |
| 释义 | 【Godel，Kurt】 中文：柯特·哥德尔 美国数学家。生于奥地利。以其数理逻辑的研究成果闻名于世。1930年证明了谓词演算系统完全性定理，对模型论的产生和发展有很大影响。1931年证明了形式数论学说不完全性定理，对递归论的产生和发展起了重要作用。1938～1939年证明了连续假设和选择公理的相对协调性定理，对公理集合论有重大影响，而且直接导致了集合序数上的递归论的产生。 |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。