哥德尔

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