生于捷克的布爾諾，卒于美國普林斯頓。

早年在維也納大學(xué)攻讀物理、數(shù)學(xué)，并參加哲學(xué)小組活動。

1930年獲博士學(xué)位。其博士論文證明了「狹謂詞演算的有效公式皆可證」。之后在維也納大學(xué)工作。

1938年到美國普林斯頓高等研究院任職，1948年加入美國籍。

1953年成為該所教授。哥德爾發(fā)展了馮．諾伊曼和伯奈斯等人的工作，其主要貢獻(xiàn)在邏輯學(xué)和數(shù)學(xué)基礎(chǔ)方面。