芒果视频下载

人物生平

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

社交

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

他(ta)和(he)家(jia)(jia)人感情不壞，哥德爾去了(le)美國后還常(chang)常(chang)跟他(ta)們書信，之(zhi)后接(jie)他(ta)們到美國。但(dan)其(qi)(qi)家(jia)(jia)人似乎對(dui)他(ta)了(le)解不深(shen)：讀大學(xue)時(shi)，哥德爾的(de)兄長研習醫學(xue)，從其(qi)(qi)他(ta)人口中才(cai)知道他(ta)在數學(xue)方面頗有名氣。

在(zai)普林斯(si)(si)頓(dun)時，哥(ge)德爾(er)和(he)(he)愛因(yin)斯(si)(si)坦(tan)成了很(hen)好的(de)朋友。后(hou)人常將(jiang)他們比較。哥(ge)德爾(er)和(he)(he)愛因(yin)斯(si)(si)坦(tan)都在(zai)自己的(de)范疇(chou)有(you)極(ji)為重大的(de)貢(gong)獻，很(hen)聰明(ming)，有(you)好奇心(xin)，直率(lv)。但愛因(yin)斯(si)(si)坦(tan)性格(ge)開朗外向，這點(dian)和(he)(he)哥(ge)德爾(er)大相逕庭(ting)。愛因(yin)斯(si)(si)坦(tan)的(de)死對哥(ge)德爾(er)的(de)情緒(xu)有(you)很(hen)大打擊。

主要成就

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

評價

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