幾何學在公理化方法下得到了很好的發展，所謂公理方法就是我給出一些不用證明就能得知正確的命題，並在這些命題推理出定理得方法。幾何學憑藉著這個方法得到了完善的發展。於是數學家認為，每乙個數學分支都應存在這樣的一組公理，從這組公理出發可以得到在此領域無窮無盡的命題。
哥德爾的**證明了這個假設是站不住腳的。內格爾和紐曼認為在有了哥德爾的發現之後，可以認為計算機，原則上無法再推理方面做到和人類推理一樣靈活。之所以如此，是因為計算機要遵循「一組固定指令」，而這個想法對應著固定的一組公理和推理規則，而計算機在執行程式的行為方式，就類似於一台機器在乙個形式系統內系統的擺弄出定力的證明。
那麼機器既然不能像人一樣思考，那麼並不能否認機器不能思考，只不過和人的思考方式不一樣罷了。
（參考文獻）
《哥德爾證明》
華羅庚 哥德爾與塔爾斯基
1874年，哥德 與尤拉提出 哥德 猜想，由於時代久遠，完全不涉及算術公理化及其系統的無矛盾性問題。實際上，華羅庚是中國最早從事哥德 猜想的數學家。1936 1938年，他赴英留學，師從數論專家哈代研究數論，並開始研究哥德 猜想，驗證了對於幾乎所有的偶數猜想。1950年，華羅庚從美國回國，在中科院數...
停機問題 哥德爾定理
今天讀 哥德爾 艾舍爾 geb 集異璧之大成 看到 自指 的論述，突然想起以前學自動機理論時的 停機問題 該問題上課前看書就看明白了，考試完了又忘了，後來又想起來看過一次，現在又忘了 可見，我是不懂裝懂。我之前其實沒搞明白 怎麼這麼乙個程式h2，當作 輸入p給另乙個h2後，它的存在性還受到另乙個它的...
哥德爾十四條哲學信念對商業的啟發
哥德爾是誰？談到哥德爾，不能不提到王浩，大多數中文讀者了解哥德爾思想，多依賴於在大陸出版的王浩所著的兩本中譯本，一本是 哥德爾 另一本是 邏輯之旅 從歌德 爾到哲學 這兩本書讓中文讀者對哥德爾的思想有了乙個整體的了解。尤其在後一本書中，列出了哥德爾用一種少有人讀懂的速記語言寫下的14條基本哲學信 念...