库尔特·哥德尔

二十世纪最重要的数理逻辑学家，库尔特·哥德尔从1933-34学年第一次访问到1978年去世，Bob的游戏他一直与高等研究院联系在一起。1953年至1976年，他担任数学学院教授，并成为名誉教授。在Gödel最著名的结果中，他的不完备定理(Incompleteness theorem)表明，在任何一致的公理数学系统中，都存在无法在系统内证明或证伪的命题，而且公理本身的一致性也无法被证明。此外，Gödel发表了选择公理和广义连续统假设的相对一致性的证明(1938年，1940年)，这强烈地影响了(后来)发现，计算机永远不可能被编程来回答所有的数学问题。