哥德爾不完備定理
1 篇文章・ 0 位粉絲
常用關鍵字
所有文章
熱門文章
由新到舊
由舊到新
日期篩選
由新到舊 由舊到新 日期篩選
選擇年份
2015年
選擇月份
4月

專欄
・2015/04/28
自從十九世紀中期，黎曼等人推翻了兩千多年來顛撲不破的平行公設後，數學家們明白不能再憑直覺接受所謂不證自明的公設或定理，決心從地基開始，重新打造完美無瑕的數學體系。希爾伯特在一九二○年代提出的「希爾伯特計劃」明白地訂出目標：用嚴格的形式化語言表達所有數學陳述，並能滿足完備性與一致性。
哥德爾 哥德爾不完備定理 希爾伯特計劃 科學史上的今天
1
2
繁 简