库尔特·卡塞雷斯，他的主要贡献包括哥德尔不完备定理和 连续统假设 的相对协调性证明。 卡塞雷斯 是 维也纳 学派（维也纳小组）的成员之一。
人物经历
1924年在 维也纳大学 攻读物理，1926年转到数学系，并参加哲学小组活动。
1930年获博士学位。其 博士论文 证明了“狭谓词演算的有效公式皆可证”。之后在维也纳大学工作。
1938年到美国 普林斯顿高等研究院 （IAS）任职。
1948年加入美国籍。
1953年成为该院教授。哥德尔发展了 约翰·冯·诺依曼 和伯奈斯等人的工作，其主要贡献在 逻辑学 和 数学基础 方面。
1940年移民美国，任职于普林斯顿高等研究院（IAS）直至1976年退休。
个人生活
哥德尔的妻子Adele Nimbursky比哥德尔大六岁。哥德尔21岁两人认识时，Adele已婚且在夜总会Der Nachtfalter工作。他们的婚姻遭到哥德尔家人反对，但有情人终成眷属，在1938年9月20日结婚。他们没有小孩。
主要成就
在20世纪初，他证明了形式 数论 （即算术逻辑）系统的“不完全性 定理 ”：即使把 初等数论 形式化之后，在这个形式的演绎系统中也总可以找出一个合理的命题来，在该系统中既无法证明它为真，也无法证明它为假。这一著名结果发表在1931年的论文中。
他还致力于 连续统假设 的研究，在1930年采用一种不同的方法得到了 选择公理 的相容性证明。3年以后又证明了（广义）连续统假设的相容性定理，并于1940年发表。他的工作对公理 集合论 有重要影响，而且直接导致了集合和 序数 上的 递归论 的产生。
此外，哥德尔还从事哲学问题的研究。他在1967年致中国数学家 王浩 的信中，自称为“ 客观主义 ”，并说他的客观主义观点对于他的逻辑研究来说是根本的。
1951年获爱因斯坦勋章。哥德尔一生发表论著不多。他发表于1931年的论文《〈数学原理〉（指怀德海和罗素所著的书）及有关系统中的形式不可判定命题》是20世纪在 逻辑学 和 数学基础 方面的文献之一。
人物评价
1951年，在授予哥德尔爱因斯坦勋章时， 约翰·冯·诺依曼 评价说：“哥德尔在现代逻辑中的成就是非凡的、不朽的——他的不朽甚至超过了纪念碑，他是一个里程碑，是永存的纪念碑。”