希尔伯特计划
基於一組有限的公理,試圖將所有數學形式化
希爾伯特計劃(德語:Hilbertprogramm)是由德國數學家大卫·希尔伯特在1920年代提出的一個數學計畫。它是一個關於公理系統相容性的嚴謹證明的一項計划。
這個計劃不應該和希尔伯特的23个问题混淆,不過這個計劃對數學的發展也有著重要的影響。
哥德爾不完備定理指出,希爾伯特計劃大多數目標無法實現。
希尔伯特计划的陈述编辑
这个计划的主要目标,是为全部的数学提供一个安全的理论基础。具体地,这个基础应该包括:
參見编辑
参考资料编辑
外部連結编辑
- Richard Zach. Hilbert’s Program. 扎尔塔, 爱德华·N (编). 《斯坦福哲学百科全书》.
🔥 Top keywords: Baike: 首页Special:搜索淚之女王不夠善良的我們满城尽带黄金甲金智媛不能說的·秘密破墓2024年湯姆斯盃乘風2024春色寄情人金秀賢 (男演員)921大地震逆天奇案2城市猎人承欢记背着善宰跑2024年優霸盃习近平排球少年!!ILLIT2024年花蓮地震末日愚者九龍城寨之圍城六四事件NewJeansBABYMONSTER排球少年!!角色列表與鳳行BOYNEXTDOOR周處除三害 (電影)鄭靚歆怪獸8號迷宮飯机动战士GUNDAM SEED FREEDOM正露丸安東尼·布林肯搜查班長1958許瑋甯Believe-為你架起的橋樑-幕府將軍 (2024年電視劇)中華民國Seventeen (組合)Energy (組合)中华人民共和国三体 (小说)Up主桂綸鎂朴成焄周杰倫特技玩家劍星第二十条葬送的芙莉蓮傅崐萁HYBE林依晨(G)I-DLE日本鈴木亮平Zico (歌手)宁安如梦戀愛兄妹支配物种WIND BREAKER—防風少年—邊佑錫李主儐寄生獸:灰色部隊黃道十二宮周雨彤陳昊宇P站老狐狸閔熙珍張惠東毛泽东臺灣地震列表白鹿 (演員)劉偉健但願人長久 (電影)賀軍翔草榴社区妮妃雅犯罪都市4完全省錢戀愛手冊LE SSERAFIM我獨自升級徐睿知金高銀少年歌行美少女万华镜系列徐巧芯香港魔法科高中的劣等生Portal 名偵探柯南/劇場版宜家家居效應Nature (組合)咒術迴戰权威主义