希尔伯特计划
希爾伯特計劃是由德國數學家大衛‧希爾伯特在1920年代提出的一個數學計畫。它是一個關於公理系統相容性的嚴謹證明的一項計划。
這個計劃不應該和希爾伯特的二十三個問題混淆,不過這個計劃對數學的發展也有著重要的影響。
哥德爾不完備定理指出,希爾伯特計劃大多數目標無法實現。
希尔伯特计划的陈述
这个计划的主要目标,是为全部的数学提供一个安全的理论基础。具体地,这个基础应该包括:
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.