生于捷克(ke)的(de)布爾諾(nuo)，卒于美(mei)國(guo)普林斯(si)(si)頓(dun)。1924年(nian)在維也(ye)納大學(xue)(xue)攻讀物理，1926年(nian)轉到數(shu)學(xue)(xue)系，并參加哲(zhe)學(xue)(xue)小組活動。1930年(nian)獲博士學(xue)(xue)位。其(qi)(qi)博士論文證(zheng)明了(le)“狹謂詞演算的(de)有效公式皆可(ke)證(zheng)”。之后在維也(ye)納大學(xue)(xue)工(gong)作。1938年(nian)到美(mei)國(guo)普林斯(si)(si)頓(dun)高等研究院任職(zhi)，1948年(nian)加入(ru)美(mei)國(guo)籍(ji)。1953年(nian)成為該(gai)所教授。哥德爾發展了(le)馮·諾(nuo)依曼和(he)伯奈斯(si)(si)等人的(de)工(gong)作，其(qi)(qi)主要(yao)貢(gong)獻在邏輯學(xue)(xue)和(he)數(shu)學(xue)(xue)基礎方面。
哥德(de)(de)爾(er)的妻子 Adele Nimbursky 比哥德(de)(de)爾(er)大六(liu)歲。哥德(de)(de)爾(er)21歲兩人(ren)認(ren)識時，Adele 已婚且在夜總(zong)會 Der Nachtfalter 工作。他們的婚姻(yin)遭到(dao)哥德(de)(de)爾(er)家人(ren)反對，但有情人(ren)終成眷屬，在1938年9月20日結婚。他們沒有小(xiao)孩。
他(ta)和家(jia)人(ren)(ren)感情不壞，哥德(de)爾去了美(mei)國后還常常跟他(ta)們(men)(men)書信，之后接他(ta)們(men)(men)到美(mei)國。但(dan)其(qi)家(jia)人(ren)(ren)似乎對他(ta)了解不深：讀(du)大學(xue)時，哥德(de)爾的兄長研習(xi)醫學(xue)，從其(qi)他(ta)人(ren)(ren)口中才知道他(ta)在數學(xue)方面頗有名氣。
在(zai)普林斯(si)頓(dun)時，哥德爾(er)和愛(ai)因(yin)(yin)斯(si)坦(tan)成(cheng)了很好的朋友(you)。后人常將他們(men)比(bi)較(jiao)。哥德爾(er)和愛(ai)因(yin)(yin)斯(si)坦(tan)都在(zai)自己的范(fan)疇有(you)極(ji)為重大(da)(da)的貢獻，很聰明，有(you)好奇心(xin)，直(zhi)率。但愛(ai)因(yin)(yin)斯(si)坦(tan)性格開朗外向，這點和哥德爾(er)大(da)(da)相逕(jing)庭。愛(ai)因(yin)(yin)斯(si)坦(tan)的死(si)對哥德爾(er)的情緒有(you)很大(da)(da)打擊(ji)。
在20世紀(ji)初，他證(zheng)明(ming)(ming)了(le)形(xing)式數(shu)(shu)(shu)論(lun)（即算術(shu)邏輯）系(xi)統(tong)(tong)的(de)(de)(de)“不(bu)(bu)完全性(xing)定理(li)(li)”：即使把初等數(shu)(shu)(shu)論(lun)形(xing)式化之后(hou)，在這(zhe)個形(xing)式的(de)(de)(de)演(yan)繹系(xi)統(tong)(tong)中(zhong)也(ye)總可以找出(chu)一(yi)(yi)個合(he)理(li)(li)的(de)(de)(de)命(ming)題(ti)來(lai)，在該(gai)系(xi)統(tong)(tong)中(zhong)既無法(fa)證(zheng)明(ming)(ming)它為(wei)(wei)真，也(ye)無法(fa)證(zheng)明(ming)(ming)它為(wei)(wei)假(jia)(jia)。這(zhe)一(yi)(yi)著名結果發表(biao)在1931年(nian)(nian)的(de)(de)(de)論(lun)文(wen)(wen)中(zhong)。他還致(zhi)力於(wu)連續(xu)統(tong)(tong)假(jia)(jia)設的(de)(de)(de)研究(jiu)，在1930年(nian)(nian)采用一(yi)(yi)種不(bu)(bu)同的(de)(de)(de)方法(fa)得到了(le)選(xuan)擇公理(li)(li)的(de)(de)(de)相(xiang)(xiang)(xiang)容性(xing)證(zheng)明(ming)(ming)。3年(nian)(nian)以后(hou)又證(zheng)明(ming)(ming)了(le)（廣義(yi)）連續(xu)統(tong)(tong)假(jia)(jia)設的(de)(de)(de)相(xiang)(xiang)(xiang)容性(xing)定理(li)(li)，并(bing)于1940年(nian)(nian)發表(biao)。他的(de)(de)(de)工(gong)作對公理(li)(li)集合(he)論(lun)有(you)重要影(ying)響，而且直接導(dao)致(zhi)了(le)集合(he)和序數(shu)(shu)(shu)上的(de)(de)(de)遞歸論(lun)的(de)(de)(de)產生。此外，哥德爾還從事哲(zhe)學(xue)問題(ti)的(de)(de)(de)研究(jiu)。他熱衷於(wu)用數(shu)(shu)(shu)理(li)(li)邏輯的(de)(de)(de)方法(fa)來(lai)分(fen)析哲(zhe)學(xue)問題(ti)，認為(wei)(wei)健(jian)全的(de)(de)(de)哲(zhe)學(xue)思(si)想和成功(gong)的(de)(de)(de)科學(xue)研究(jiu)密切相(xiang)(xiang)(xiang)關。他在1967年(nian)(nian)致(zhi)中(zhong)國數(shu)(shu)(shu)學(xue)家(jia)王浩的(de)(de)(de)信中(zhong)，自稱(cheng)為(wei)(wei)“客觀(guan)主義(yi)”，并(bing)說(shuo)他的(de)(de)(de)客觀(guan)主義(yi)觀(guan)點對於(wu)他的(de)(de)(de)邏輯研究(jiu)來(lai)說(shuo)是根本的(de)(de)(de)。1951年(nian)(nian)獲愛因(yin)斯坦(tan)勛章。哥德爾一(yi)(yi)生發表(biao)論(lun)著不(bu)(bu)多。他發表(biao)於(wu)1931年(nian)(nian)的(de)(de)(de)論(lun)文(wen)(wen)《〈數(shu)(shu)(shu)學(xue)原理(li)(li)〉（指(zhi)懷德海和羅素所著的(de)(de)(de)書）及有(you)關系(xi)統(tong)(tong)中(zhong)的(de)(de)(de)形(xing)式不(bu)(bu)可判定命(ming)題(ti)》是20世紀(ji)在邏輯學(xue)和數(shu)(shu)(shu)學(xue)基(ji)礎方面(mian)最(zui)重要的(de)(de)(de)文(wen)(wen)獻(xian)之一(yi)(yi)。
1951年(nian)在(zai)授予哥(ge)德爾愛因(yin)斯坦勛(xun)章時，馮·諾依曼評價說：“哥(ge)德爾在(zai)現代邏輯中的(de)成(cheng)就是非凡的(de)、不朽的(de)——他的(de)不朽甚(shen)至超(chao)過了(le)紀念(nian)碑，他是一個里程(cheng)碑，是永存的(de)紀念(nian)碑。”
文壇那些人
】編輯(ji)(ji)上傳提供(gong)，詞(ci)(ci)條(tiao)屬于開放詞(ci)(ci)條(tiao)，當前(qian)頁面所(suo)展示的(de)(de)(de)詞(ci)(ci)條(tiao)介(jie)紹(shao)涉及(ji)宣傳內容(rong)屬于注(zhu)冊用戶個人編輯(ji)(ji)行為(wei)(wei)，與【庫爾特·哥德爾】的(de)(de)(de)所(suo)屬企業/所(suo)有人/主(zhu)體無關，網(wang)(wang)站不(bu)(bu)完全保證內容(rong)信(xin)息的(de)(de)(de)準(zhun)確性(xing)、真(zhen)實(shi)(shi)性(xing)，也不(bu)(bu)代(dai)表本站立場(chang)，各項數據(ju)信(xin)息存在(zai)更新不(bu)(bu)及(ji)時的(de)(de)(de)情況，僅供(gong)參考，請以官方發布為(wei)(wei)準(zhun)。如果頁面內容(rong)與實(shi)(shi)際情況不(bu)(bu)符，可點(dian)擊“反饋(kui)”在(zai)線向網(wang)(wang)站提出修改，網(wang)(wang)站將核實(shi)(shi)后進行更正。
