芒果视频下载

人物生平

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

社交

哥德(de)爾的(de)妻(qi)子 Adele Nimbursky 比哥德(de)爾大六歲。哥德(de)爾21歲兩(liang)人認識時，Adele 已(yi)婚(hun)(hun)(hun)且(qie)在夜(ye)總會(hui) Der Nachtfalter 工作(zuo)。他(ta)們的(de)婚(hun)(hun)(hun)姻遭到哥德(de)爾家人反對，但(dan)有(you)情人終成眷屬(shu)，在1938年9月20日結(jie)婚(hun)(hun)(hun)。他(ta)們沒有(you)小孩。

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

在普林斯(si)頓時(shi)，哥(ge)(ge)德(de)爾(er)和愛因斯(si)坦(tan)成(cheng)了很(hen)好的(de)朋友。后人(ren)常(chang)將他(ta)們比較。哥(ge)(ge)德(de)爾(er)和愛因斯(si)坦(tan)都在自己的(de)范疇(chou)有極(ji)為重大(da)(da)的(de)貢獻，很(hen)聰明，有好奇心，直率。但愛因斯(si)坦(tan)性格開(kai)朗外向，這(zhe)點和哥(ge)(ge)德(de)爾(er)大(da)(da)相(xiang)逕庭。愛因斯(si)坦(tan)的(de)死對(dui)哥(ge)(ge)德(de)爾(er)的(de)情緒有很(hen)大(da)(da)打擊。

主要成就

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

評價

1951年在授予哥德爾愛因斯坦(tan)勛章時(shi)，馮·諾依曼評價(jia)說：“哥德爾在現代邏輯中(zhong)的(de)(de)成就(jiu)是非凡的(de)(de)、不(bu)朽的(de)(de)——他(ta)的(de)(de)不(bu)朽甚至超過(guo)了紀(ji)念碑，他(ta)是一(yi)個(ge)里(li)程碑，是永存的(de)(de)紀(ji)念碑。”