生于捷克的布尔诺，卒于美国普林斯顿。

早年在维也纳大学攻读物理、数学，并参加哲学小组活动。

1930年获博士学位。其博士论文证明了「狭谓词演算的有效公式皆可证」。之后在维也纳大学工作。

1938年到美国普林斯顿高等研究院任职，1948年加入美国籍。

1953年成为该所教授。哥德尔发展了冯．诺伊曼和伯奈斯等人的工作，其主要贡献在逻辑学和数学基础方面。