库尔特·卡塞雷斯

库尔特·卡塞雷斯
image
库尔特·卡塞雷斯，他的主要贡献包括哥德尔不完备定理和连续统假设的相对协调性证明。卡塞雷斯是维也纳学派（维也纳小组）的成员之一。[1]

人物经历

1924年在维也纳大学攻读物理，1926年转到数学系，并参加哲学小组活动。
1930年获博士学位。其博士论文证明了“狭谓词演算的有效公式皆可证”。之后在维也纳大学工作。
1938年到美国普林斯顿高等研究院（IAS）任职。