北京
1931年，一個25歲的奧地利年輕人做了一件瘋狂的事——他把邏輯對準了邏輯本身。庫爾特·哥德爾，這個名字后來成了數學界的"地震制造者"。他證明了兩條定理，徹底改變了我們對"真理"的理解。
簡單說，哥德爾告訴我們：任何數學系統，只要足夠復雜，就一定存在"說不清的真相"——那些明明是真的，卻無法被系統本身證明的命題。
疫情期間，我曾花幾周時間啃他的證明，最后寫了篇不到2000字的解讀。我老婆的回憶很精準："哦對，就是你差點瘋掉的那段時間。"
但搞懂證明步驟后，我反而更困惑了。這兩條定理常被說成是數學"萬有理論"的死刑判決。連經典著作《哥德爾的證明》都承認，其意義"尚未被完全參透"。
六十多年過去了。我找了邏輯學家、數學家、哲學家，還有一位物理學家，聊聊這個"奇怪的智力成就"到底改變了什么。
芬蘭坦佩雷大學的哲學家拉蒂凱寧指出，從古希臘起，公理化方法就被視為科學知識的理想組織方式——少數"自明"的基本命題，推導出全部真理。哥德爾用數學精度證明，這個理想在數學的大部分領域必然失敗。哪怕只是關于正整數（1、2、3……）的全部真理，也復雜到無法從任何有限公理集中推導出來。
這意味著，有些數學問題原則上無法用現有方法解決。進步需要創造性的概念創新。數學真理不是鐵板一塊的確定知識，而是從無疑事實到越來越不確定的假說的漸變光譜。
哥德爾模糊了客觀真理與人為發明之間的邊界。歷史上，人們試圖通過增加新公理來突破他的限制。但拉蒂凱寧的觀察暗示了一個更深的困境：我們每添加一條公理，就創造了一個新的、同樣不完整的系統。
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
