北京
1931年，25歲的奧地利邏輯學(xué)家?guī)鞝柼亍じ绲聽枺↘urt G?del）完成了一項(xiàng)顛覆性的證明。通過(guò)將邏輯學(xué)指向自身，他確立了一對(duì)定理，徹底改變了人類對(duì)知識(shí)與真理的認(rèn)知邊界。這些"不完備性定理"表明：任何數(shù)學(xué)的形式系統(tǒng)——無(wú)論其規(guī)則或公理多么完備——都注定存在漏洞。總有一些真實(shí)的數(shù)學(xué)陳述，無(wú)法從這些公理中邏輯推導(dǎo)出來(lái)。
疫情期間，筆者曾花數(shù)周時(shí)間研讀哥德爾的證明步驟，并嘗試用不到2000字梳理其邏輯鏈條。（妻子對(duì)此的評(píng)價(jià)是："哦對(duì)，就是你差點(diǎn)瘋掉的那段時(shí)間？"——略有夸張。）然而，即便理解了證明的技術(shù)細(xì)節(jié)，哥德爾定理的深層含義仍令人困惑。它們通常被解讀為宣告了數(shù)學(xué)"萬(wàn)有理論"的不可能。這種困惑并非個(gè)例。哲學(xué)家歐內(nèi)斯特·內(nèi)格爾與數(shù)學(xué)家詹姆斯·R·紐曼在1958年的經(jīng)典著作《哥德爾的證明》中寫道，哥德爾定理的意義"尚未被完全探明"。
六十余年過(guò)去，我們?nèi)缃袢绾卫斫膺@些思想？近期，筆者采訪了多位邏輯學(xué)家、數(shù)學(xué)家、哲學(xué)家及一位物理學(xué)家，探討不完備性的當(dāng)代意義。他們的回應(yīng)揭示了哥德爾這一奇異智力成就如何改變了人類對(duì)真理的永恒追尋。
坦佩雷大學(xué)哲學(xué)家帕努·拉蒂凱寧（Panu Raatikainen，《斯坦福哲學(xué)百科全書》哥德爾不完備性定理詞條作者）指出，自古希臘以來(lái)，公理化方法一直被視作組織科學(xué)知識(shí)的理想范式——以少數(shù)"自明"的基本命題為基石，推導(dǎo)出該領(lǐng)域的全部真理。而哥德爾的定理以數(shù)學(xué)精確性證明，這一理想在數(shù)學(xué)的廣大領(lǐng)域必然失敗。即便僅涉及正整數(shù)（1, 2, 3…），數(shù)學(xué)真理的復(fù)雜性也遠(yuǎn)超任何有限公理集的覆蓋能力。
這意味著，某些數(shù)學(xué)問(wèn)題原則上無(wú)法通過(guò)現(xiàn)有數(shù)學(xué)方法解決。進(jìn)展可能需要?jiǎng)?chuàng)造性的概念革新。數(shù)學(xué)真理并非由同等確定的命題構(gòu)成的統(tǒng)一整體；相反，其知識(shí)地位從毋庸置疑的事實(shí)逐漸過(guò)渡到愈發(fā)不確定的假設(shè)。拉蒂凱寧強(qiáng)調(diào)，哥德爾的定理模糊了客觀真理與人為構(gòu)造之間的界限——我們究竟在發(fā)現(xiàn)數(shù)學(xué)，還是在發(fā)明數(shù)學(xué)？這一張力至今仍是數(shù)學(xué)哲學(xué)的核心議題。
特別聲明：以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺(tái)“網(wǎng)易號(hào)”用戶上傳并發(fā)布，本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。
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.
