当前位置:首页 > 汉语知识 > 正文

哥德尔

哥德尔   gē dé ěr

原籍奥地利美国数学家。维也纳大学哲学博士,并留校任教。1940年移居美国,任普林斯顿大学、普林斯顿高级研究所教授。对数理逻辑有重大贡献。1930年证明了谓词演算系统完全性定理。对*模型论的产生和发展有很大影响。1931年证明了形式数论系统不完全性定理,否定了希尔伯特方案的某些设想,对*递归论的产生和发展起了重要作用。1938—1939年证明了连续统假设和选择公理的相对协调性定理。对公理集合论有重大影响,对模型论也有影响,而且直接导致了集合和序数上的递归论的产生。著有《选择公理和广义连续统假设的相容性》等。


开通会员,享受整站包年服务立即开通 >

「哥德」开头的词语:

哥德堡
哥德尔
哥德巴赫猜想
哥德式