奧地利裔美國邏輯學家、數學家、哲學家。哥德爾是數理邏輯領域之中現代、後設數學時代的主要奠基者之一。他為人著稱之處是他提出的「不完備定理」，是二十世紀數學中少數的劃時代定理之一；不過他的作品遍及數理邏輯的各種領域，大多數皆深具原創性。

在他的哲學作品中，哥德爾形構了數學柏拉圖主義並為之辯護。他的看法是說，數學是一個描述性的科學，或換句話來講，他認為數學真理的概念是客觀的。據此，他替集合論的概念分析綱領打下了基礎。哥德爾繼承了希爾伯特提出的數學之「原創理性論式概念觀」，同時他預測了與強調大基數在集合論中的重要性——這些重要性直到後來才逐漸為人所明瞭。