| 单词 | 哥德尔 |
| 释义 | 【哥德尔】 拼译：Gōdel，Kurt 【从事学科】：美国数学家 【生卒】：1906—1978 【介绍】：生于捷克斯洛伐克布鲁恩。1930年毕业于维也纳大学，获哲学博士学位。还获得耶鲁大学、哈佛大学、阿姆斯特丹大学等的名誉博士学位。1933－1938年任维也纳大学讲师。1940年去美国，1948年入美国籍。1952年前任普林斯顿高级研究院研究员，1953年任教授。是美国国家科学院、美国艺术与科学院的院士，美国哲学会、美国数学会和美国符号逻辑学会的会员。1951年获爱因斯坦奖金。哥德尔对数理逻辑学有重大贡献。1930年证明了弗雷格创立的谓词演算系统的完全性定理，对模型论的产生和发展有很大影响。1931年证明了形式数论系统的不完全性定理，使数理逻辑形成一门独立的科学。否定希耳伯特方案的某些设想，对递归论的产生和发展起了重要作用。1938－1939年证明了连续统假设和选择公理的相对协调性定理，对公理集合论的发展有重大影响，直接导致了集合和序数上的递归论的产生。哥德尔主要著作有《选择公理及广义连续统假设同集合论公理的相容性》(1940)。 |
| 随便看 |
科学参考收录了7804条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。