哥德爾傳：邏輯學(xué)家哥德爾的一生

　　哥德爾被美國(guó)《時(shí)代周刊》評(píng)為20世紀(jì)最有影響力的100個(gè)人之一，愛因斯坦稱其為自亞里士多德之后最偉大的邏輯學(xué)家，他的理論為計(jì)算機(jī)科學(xué)和人工智能領(lǐng)域的發(fā)展奠定了基礎(chǔ)。他提出的哥德爾不完備性定理，堪稱數(shù)學(xué)邏輯理論中最偉大的發(fā)現(xiàn)，至今仍影響著人工智能領(lǐng)域的發(fā)展。哥德爾早年就職于維也納大學(xué)，后因戰(zhàn)亂逃離歐洲，輾轉(zhuǎn)來(lái)到普林斯頓高等研究院。在這里，他逐漸融入了美國(guó)的生活，并與愛因斯坦結(jié)下了深厚的情誼，成為科學(xué)史上的一段佳話。晚年的哥德爾獲得終身教職，但最后因被害妄想癥悲慘離世。他的一生在哲學(xué)、數(shù)學(xué)、人工智能等領(lǐng)域都提出了顛覆性的理論，甚至涉獵了相對(duì)論。如果哥德爾的定理以及由此推導(dǎo)出的結(jié)論是正確的，就意味著人類將永遠(yuǎn)不能制造出能夠完美復(fù)刻人腦推理、學(xué)習(xí)、計(jì)劃、解決問(wèn)題能力的計(jì)算機(jī)。在知識(shí)鞭長(zhǎng)莫及的認(rèn)知極限之外，沒有什么是確定的，只有人類的精神不可替代、獨(dú)一無(wú)二。杰拉德·薩克斯曾對(duì)哥德爾做出了以下精辟的評(píng)價(jià)：“他讓數(shù)學(xué)變得更有趣?！?/div>