美國邏輯學家、數學家、哲學家。哥德爾是數理邏輯領域之中現代、後設數學時代的主要奠基者之一。他為人著稱之處是他提出的「不完備定理」，是二十世紀數學中少數的劃時代定理之一；不過他的作品遍及數理邏輯的各種領域，大多數皆深具原創性。
出生於奧匈帝國（今捷克）的美國邏輯學家、數學家、哲學家。哥德爾是數理邏輯領域之中現代、後設數學時代的主要奠基者之一。他為人著稱之處是他提出的「不完備定理」，是二十世紀數學中少數的劃時代定理之一；不過他的作品遍及數理邏輯的各種領域，大多數皆深具原創性。
哥德爾求學時期，最初感興趣的是物理學，這可能造就了他日後在 1947 年對相對論的貢獻。他曾師從卡納普學習邏輯，在數學家哈恩 (Hans Hahn)的指導下，於 1929 年取得數學博士學位。哥德爾年輕時受到維也納學圈的影響，雖然他不是邏輯實證論者，但當時的討論形塑了他的部份思想。
哥德爾在 1940 年後移民美國，於普林斯頓擔任研究員直到退休。此期間他與愛因斯坦之間的友誼也為人所知。
在他的哲學作品中，哥德爾形構了數學柏拉圖主義並為之辯護。他的看法是說，數學是一個描述性的科學，或換句話來講，他認為數學真理的概念是客觀的。據此，他替集合論的概念分析綱領打下了基礎。哥德爾繼承了希爾伯特提出的數學之「原創理性論式概念觀」，同時他預測了與強調大基數在集合論中的重要性——這些重要性直到後來才逐漸為人所明瞭。
