芒果视频

人物生平

生于捷(jie)克(ke)的(de)布爾諾，卒于美(mei)國普林(lin)斯頓。1924年(nian)(nian)在維(wei)也納大(da)學(xue)(xue)攻(gong)讀(du)物理，1926年(nian)(nian)轉到數學(xue)(xue)系，并參(can)加(jia)哲學(xue)(xue)小(xiao)組活動。1930年(nian)(nian)獲博(bo)士學(xue)(xue)位。其博(bo)士論(lun)文(wen)證明了“狹謂(wei)詞演算的(de)有效公式皆可證”。之后(hou)在維(wei)也納大(da)學(xue)(xue)工作。1938年(nian)(nian)到美(mei)國普林(lin)斯頓高(gao)等研究院任(ren)職，1948年(nian)(nian)加(jia)入美(mei)國籍(ji)。1953年(nian)(nian)成為該所(suo)教授。哥德爾發展(zhan)了馮·諾依曼和(he)伯奈斯等人的(de)工作，其主要貢獻(xian)在邏輯學(xue)(xue)和(he)數學(xue)(xue)基礎方面。

社交

哥(ge)德(de)爾的妻子 Adele Nimbursky 比哥(ge)德(de)爾大六歲。哥(ge)德(de)爾21歲兩人(ren)認識時，Adele 已婚且在夜總會(hui) Der Nachtfalter 工作。他們(men)的婚姻遭(zao)到哥(ge)德(de)爾家人(ren)反對(dui)，但有情人(ren)終成眷(juan)屬，在1938年9月20日結(jie)婚。他們(men)沒有小孩(hai)。

他(ta)和家人感(gan)情不壞(huai)，哥(ge)德爾(er)去了美國后(hou)還常(chang)(chang)常(chang)(chang)跟他(ta)們書信，之后(hou)接(jie)他(ta)們到美國。但(dan)其(qi)家人似乎(hu)對他(ta)了解(jie)不深：讀大學(xue)時，哥(ge)德爾(er)的兄長研(yan)習醫學(xue)，從其(qi)他(ta)人口(kou)中才知道他(ta)在(zai)數學(xue)方面頗有名氣。

在普林斯(si)(si)(si)頓時，哥(ge)德(de)爾和(he)愛因斯(si)(si)(si)坦(tan)(tan)成了(le)很(hen)好的朋(peng)友。后人常(chang)將他(ta)們(men)比較。哥(ge)德(de)爾和(he)愛因斯(si)(si)(si)坦(tan)(tan)都在自(zi)己的范疇有(you)極為重(zhong)大的貢獻，很(hen)聰明，有(you)好奇心，直率。但愛因斯(si)(si)(si)坦(tan)(tan)性(xing)格開朗外(wai)向，這點和(he)哥(ge)德(de)爾大相逕庭。愛因斯(si)(si)(si)坦(tan)(tan)的死對哥(ge)德(de)爾的情緒有(you)很(hen)大打擊。

主要成就

在(zai)20世(shi)紀(ji)初，他(ta)證明了形式數(shu)論(lun)(lun)（即算術(shu)邏(luo)輯）系統(tong)(tong)的(de)(de)(de)(de)(de)“不完全(quan)性(xing)定(ding)理(li)”：即使(shi)把初等數(shu)論(lun)(lun)形式化之后，在(zai)這(zhe)(zhe)個形式的(de)(de)(de)(de)(de)演繹系統(tong)(tong)中也總可(ke)(ke)以找(zhao)出一個合(he)理(li)的(de)(de)(de)(de)(de)命題(ti)來(lai)(lai)，在(zai)該系統(tong)(tong)中既無法(fa)證明它(ta)為真，也無法(fa)證明它(ta)為假。這(zhe)(zhe)一著名結果(guo)發(fa)表在(zai)1931年的(de)(de)(de)(de)(de)論(lun)(lun)文中。他(ta)還致(zhi)力於連(lian)續(xu)統(tong)(tong)假設的(de)(de)(de)(de)(de)研究，在(zai)1930年采(cai)用(yong)一種不同的(de)(de)(de)(de)(de)方法(fa)得到了選擇公(gong)理(li)的(de)(de)(de)(de)(de)相容(rong)性(xing)證明。3年以后又(you)證明了（廣義(yi)(yi)）連(lian)續(xu)統(tong)(tong)假設的(de)(de)(de)(de)(de)相容(rong)性(xing)定(ding)理(li)，并于1940年發(fa)表。他(ta)的(de)(de)(de)(de)(de)工作對公(gong)理(li)集合(he)論(lun)(lun)有重要(yao)影(ying)響，而且直接導致(zhi)了集合(he)和(he)序數(shu)上的(de)(de)(de)(de)(de)遞歸(gui)論(lun)(lun)的(de)(de)(de)(de)(de)產生。此外，哥德(de)爾(er)還從事哲(zhe)學(xue)問(wen)題(ti)的(de)(de)(de)(de)(de)研究。他(ta)熱衷於用(yong)數(shu)理(li)邏(luo)輯的(de)(de)(de)(de)(de)方法(fa)來(lai)(lai)分析哲(zhe)學(xue)問(wen)題(ti)，認為健全(quan)的(de)(de)(de)(de)(de)哲(zhe)學(xue)思(si)想和(he)成功的(de)(de)(de)(de)(de)科學(xue)研究密(mi)切相關(guan)。他(ta)在(zai)1967年致(zhi)中國(guo)數(shu)學(xue)家王浩的(de)(de)(de)(de)(de)信中，自稱為“客觀(guan)主義(yi)(yi)”，并說他(ta)的(de)(de)(de)(de)(de)客觀(guan)主義(yi)(yi)觀(guan)點對於他(ta)的(de)(de)(de)(de)(de)邏(luo)輯研究來(lai)(lai)說是(shi)根本的(de)(de)(de)(de)(de)。1951年獲愛因(yin)斯坦勛章。哥德(de)爾(er)一生發(fa)表論(lun)(lun)著不多。他(ta)發(fa)表於1931年的(de)(de)(de)(de)(de)論(lun)(lun)文《〈數(shu)學(xue)原理(li)〉（指懷德(de)海和(he)羅素所著的(de)(de)(de)(de)(de)書）及有關(guan)系統(tong)(tong)中的(de)(de)(de)(de)(de)形式不可(ke)(ke)判(pan)定(ding)命題(ti)》是(shi)20世(shi)紀(ji)在(zai)邏(luo)輯學(xue)和(he)數(shu)學(xue)基礎方面最(zui)重要(yao)的(de)(de)(de)(de)(de)文獻(xian)之一。

評價

1951年在(zai)(zai)授予(yu)哥德爾愛因(yin)斯坦勛章時，馮(feng)·諾依曼評(ping)價說：“哥德爾在(zai)(zai)現(xian)代(dai)邏輯中(zhong)的成就是非凡的、不朽(xiu)的——他的不朽(xiu)甚至超(chao)過(guo)了紀念碑(bei)，他是一個(ge)里程碑(bei)，是永存(cun)的紀念碑(bei)。”