希爾伯特計劃
基於一組有限的公理,試圖將所有數學形式化 / 維基百科,自由的 encyclopedia
希爾伯特計劃(德語:Hilbertprogramm)是由德國數學家大衛·希爾伯特在1920年代提出的一個數學計畫。它是一個關於公理系統相容性的嚴謹證明的一項計劃。
此條目可參照英語維基百科相應條目來擴充。 (2023年11月18日) |
這個計劃不應該和希爾伯特的23個問題混淆,不過這個計劃對數學的發展也有著重要的影響。
哥德爾不完備定理指出,希爾伯特計劃大多數目標無法實現。
希爾伯特計劃(德語:Hilbertprogramm)是由德國數學家大衛·希爾伯特在1920年代提出的一個數學計畫。它是一個關於公理系統相容性的嚴謹證明的一項計劃。
此條目可參照英語維基百科相應條目來擴充。 (2023年11月18日) |
這個計劃不應該和希爾伯特的23個問題混淆,不過這個計劃對數學的發展也有著重要的影響。
哥德爾不完備定理指出,希爾伯特計劃大多數目標無法實現。