連續(xù)統(tǒng)問題是希爾伯特第一問，另一個問題是關(guān)于可判定性的。
在有限的時間內(nèi)，是否總有可能找到一個步步推進(jìn)的程序，對一個給定的數(shù)學(xué)命題的真?zhèn)芜M(jìn)行判斷。
哥德爾不完備定理粉碎了這種可判定性。
它證明了在任何邏輯統(tǒng)一且大到能夠包含所有算法規(guī)則的公理體系中，總有一些數(shù)學(xué)事實(shí)無法被證明。
但哥德爾不完備定理依舊給數(shù)學(xué)命題是否可證留下了一道門。
雖然每一個自洽的...