第19章 從發(fā)現(xiàn)美國憲法邏輯漏洞談起

　　哥德爾被認為是自亞里士多德以來最偉大的邏輯學(xué)家，是堪與愛因斯坦比肩的人。愛因斯坦把歌德爾對數(shù)學(xué)的貢獻與他對物理的貢獻相提并論。歌德爾不完全定理的發(fā)現(xiàn)，宣布了建立牢固數(shù)學(xué)基礎(chǔ)的企圖徹底破產(chǎn)，極大地推動了數(shù)學(xué)、邏輯、哲學(xué)等學(xué)科的發(fā)展。

哥德爾是奧地利人。奧地利被納粹吞并后，他為了逃避迫害，逃亡到美國，供職于普林斯頓高等研究院，與在此工作的愛因斯坦成為要好的朋友。1948年，哥德爾...