生于(yu)捷克的(de)(de)布爾(er)諾,卒(zu)于(yu)美國(guo)普林斯(si)頓。1924年(nian)(nian)在(zai)維也納(na)大學(xue)(xue)攻讀(du)物理(li),1926年(nian)(nian)轉到(dao)數(shu)學(xue)(xue)系,并(bing)參(can)加哲(zhe)學(xue)(xue)小組活動(dong)。1930年(nian)(nian)獲博士學(xue)(xue)位。其(qi)博士論文證(zheng)(zheng)明了“狹謂(wei)詞演算的(de)(de)有(you)效公式皆可證(zheng)(zheng)”。之(zhi)后(hou)在(zai)維也納(na)大學(xue)(xue)工(gong)作(zuo)。1938年(nian)(nian)到(dao)美國(guo)普林斯(si)頓高等(deng)研(yan)究院(yuan)任職,1948年(nian)(nian)加入(ru)美國(guo)籍。1953年(nian)(nian)成為該所教授(shou)。哥德(de)爾(er)發展(zhan)了馮(feng)·諾依曼和(he)伯(bo)奈斯(si)等(deng)人的(de)(de)工(gong)作(zuo),其(qi)主要(yao)貢獻在(zai)邏輯學(xue)(xue)和(he)數(shu)學(xue)(xue)基礎(chu)方面。
哥(ge)(ge)德爾的(de)妻子 Adele Nimbursky 比哥(ge)(ge)德爾大六歲。哥(ge)(ge)德爾21歲兩人(ren)(ren)認識(shi)時,Adele 已婚且在夜總(zong)會 Der Nachtfalter 工作。他(ta)(ta)們(men)的(de)婚姻遭到哥(ge)(ge)德爾家人(ren)(ren)反對,但有(you)(you)情人(ren)(ren)終成(cheng)眷屬(shu),在1938年(nian)9月20日結婚。他(ta)(ta)們(men)沒有(you)(you)小孩。
他(ta)和家(jia)人(ren)感情(qing)不壞,哥德爾去(qu)了美國(guo)后還(huan)常(chang)常(chang)跟他(ta)們(men)書信,之后接他(ta)們(men)到美國(guo)。但其家(jia)人(ren)似乎對(dui)他(ta)了解不深:讀大學(xue)時,哥德爾的兄長研習醫學(xue),從其他(ta)人(ren)口中(zhong)才知道他(ta)在數學(xue)方面頗有名(ming)氣。
在(zai)普(pu)林斯(si)(si)頓時,哥德(de)(de)爾(er)和(he)(he)愛因(yin)斯(si)(si)坦(tan)(tan)成了很好(hao)的朋友。后人(ren)常(chang)將他(ta)們比較(jiao)。哥德(de)(de)爾(er)和(he)(he)愛因(yin)斯(si)(si)坦(tan)(tan)都在(zai)自己的范疇有極為(wei)重(zhong)大的貢(gong)獻(xian),很聰(cong)明,有好(hao)奇心,直率。但愛因(yin)斯(si)(si)坦(tan)(tan)性格(ge)開(kai)朗外向,這點和(he)(he)哥德(de)(de)爾(er)大相(xiang)逕庭(ting)。愛因(yin)斯(si)(si)坦(tan)(tan)的死對哥德(de)(de)爾(er)的情緒有很大打擊。
在(zai)20世(shi)紀(ji)初,他(ta)證明(ming)了(le)形(xing)式(shi)(shi)數(shu)(shu)(shu)論(即算術邏(luo)輯(ji))系統(tong)的(de)(de)(de)“不完(wan)全性(xing)(xing)定(ding)(ding)理”:即使把(ba)初等(deng)數(shu)(shu)(shu)論形(xing)式(shi)(shi)化之后,在(zai)這(zhe)個形(xing)式(shi)(shi)的(de)(de)(de)演繹系統(tong)中(zhong)也總可(ke)以(yi)找出一(yi)個合(he)理的(de)(de)(de)命(ming)題來(lai)(lai),在(zai)該系統(tong)中(zhong)既無(wu)法(fa)證明(ming)它(ta)為真,也無(wu)法(fa)證明(ming)它(ta)為假。這(zhe)一(yi)著名結果發表(biao)(biao)在(zai)1931年(nian)的(de)(de)(de)論文(wen)中(zhong)。他(ta)還(huan)致力於(wu)(wu)連(lian)續統(tong)假設的(de)(de)(de)研(yan)究(jiu),在(zai)1930年(nian)采用(yong)一(yi)種不同的(de)(de)(de)方法(fa)得(de)到了(le)選(xuan)擇公(gong)(gong)理的(de)(de)(de)相(xiang)容性(xing)(xing)證明(ming)。3年(nian)以(yi)后又證明(ming)了(le)(廣義)連(lian)續統(tong)假設的(de)(de)(de)相(xiang)容性(xing)(xing)定(ding)(ding)理,并于1940年(nian)發表(biao)(biao)。他(ta)的(de)(de)(de)工作對(dui)公(gong)(gong)理集合(he)論有(you)重要(yao)影響,而且直接導致了(le)集合(he)和(he)序數(shu)(shu)(shu)上(shang)的(de)(de)(de)遞歸論的(de)(de)(de)產生。此外,哥德爾(er)還(huan)從事哲(zhe)學(xue)問題的(de)(de)(de)研(yan)究(jiu)。他(ta)熱衷於(wu)(wu)用(yong)數(shu)(shu)(shu)理邏(luo)輯(ji)的(de)(de)(de)方法(fa)來(lai)(lai)分析哲(zhe)學(xue)問題,認(ren)為健全的(de)(de)(de)哲(zhe)學(xue)思想和(he)成功的(de)(de)(de)科學(xue)研(yan)究(jiu)密切相(xiang)關。他(ta)在(zai)1967年(nian)致中(zhong)國數(shu)(shu)(shu)學(xue)家王(wang)浩的(de)(de)(de)信中(zhong),自稱為“客觀(guan)主(zhu)義”,并說他(ta)的(de)(de)(de)客觀(guan)主(zhu)義觀(guan)點對(dui)於(wu)(wu)他(ta)的(de)(de)(de)邏(luo)輯(ji)研(yan)究(jiu)來(lai)(lai)說是根本的(de)(de)(de)。1951年(nian)獲愛因(yin)斯坦(tan)勛章。哥德爾(er)一(yi)生發表(biao)(biao)論著不多(duo)。他(ta)發表(biao)(biao)於(wu)(wu)1931年(nian)的(de)(de)(de)論文(wen)《〈數(shu)(shu)(shu)學(xue)原理〉(指懷(huai)德海和(he)羅素(su)所(suo)著的(de)(de)(de)書)及有(you)關系統(tong)中(zhong)的(de)(de)(de)形(xing)式(shi)(shi)不可(ke)判(pan)定(ding)(ding)命(ming)題》是20世(shi)紀(ji)在(zai)邏(luo)輯(ji)學(xue)和(he)數(shu)(shu)(shu)學(xue)基(ji)礎方面最(zui)重要(yao)的(de)(de)(de)文(wen)獻之一(yi)。
1951年在(zai)授予哥德爾(er)(er)愛因斯坦勛章時,馮·諾依曼(man)評價說:“哥德爾(er)(er)在(zai)現代邏輯(ji)中的成就(jiu)是非凡的、不(bu)朽的——他的不(bu)朽甚(shen)至超過了紀念碑(bei),他是一個里程碑(bei),是永存的紀念碑(bei)。”