關於支援科學新聞
如果您喜歡這篇文章，請考慮透過以下方式支援我們屢獲殊榮的新聞事業： 訂閱。透過購買訂閱，您將幫助確保未來能夠繼續刊登關於塑造當今世界的發現和思想的具有影響力的報道。
1956年，《大眾科學》發表了歐內斯特·內格爾和詹姆斯·R·紐曼題為《哥德爾證明》的文章。兩年後，作者出版了同名書籍——一本至今仍在印刷的傑作。那時我還只是個孩子，甚至還不是青少年，我就對這本小書著迷了。我記得在紐約公共圖書館發現它時的激動。我過去常常隨身帶著它，並試圖向其他孩子解釋。
它讓我著迷，因為庫爾特·哥德爾用數學證明了數學本身存在侷限性。哥德爾駁斥了戴維·希爾伯特的觀點，後者大約在一個世紀前宣稱存在一個數學的萬物理論，即一組有限的原則，人們可以機械地透過乏味地遵循符號邏輯規則來推匯出所有數學真理。但哥德爾證明了數學包含無法用這種方式證明的真命題。他的結果基於兩個自指悖論：“這句話是假的”和“這句話是不可證明的”。（有關哥德爾不完備定理的更多資訊，請參見www.sciam.com/ontheweb）