今天讀《哥德爾、艾舍爾、**——geb 集異璧之大成》，看到「自指」的論述，突然想起以前學自動機理論時的「停機問題」。該問題上課前看書就看明白了，考試完了又忘了，後來又想起來看過一次，現在又忘了——可見，我是不懂裝懂。
我之前其實沒搞明白：怎麼這麼乙個程式h2，當作 輸入p給另乙個h2後，它的存在性還受到另乙個它的影響？？每個h2不是可以有自己的輸入麼？這個遞迴、這個迴圈是如何實現的？？
所謂自指，那麼，關於它的陳述是全稱量化的。也就是說，如果定義了這個h2對於對於所有輸入，都是按照預定邏輯輸出；那麼，這種全稱，就是對於每乙個h2例項都是成立的。
關於哥德爾證明
幾何學在公理化方法下得到了很好的發展，所謂公理方法就是我給出一些不用證明就能得知正確的命題，並在這些命題推理出定理得方法。幾何學憑藉著這個方法得到了完善的發展。於是數學家認為，每乙個數學分支都應存在這樣的一組公理，從這組公理出發可以得到在此領域無窮無盡的命題。哥德爾的 證明了這個假設是站不住腳的。內...
華羅庚 哥德爾與塔爾斯基
1874年，哥德 與尤拉提出 哥德 猜想，由於時代久遠，完全不涉及算術公理化及其系統的無矛盾性問題。實際上，華羅庚是中國最早從事哥德 猜想的數學家。1936 1938年，他赴英留學，師從數論專家哈代研究數論，並開始研究哥德 猜想，驗證了對於幾乎所有的偶數猜想。1950年，華羅庚從美國回國，在中科院數...
停機問題 The Halting Problem
看停機問題時，覺得它跟我國的 以子之矛攻子之盾 的想法很相似 也跟c語言的struct內不能包含自身很相似 停機問題描述 是否存在這樣的一段 h，這段 h以任意的 p作為輸入，它判斷 p在執行的過程中是否會停止。如果 p在執行的過程中會一直執行下去，不會停止，則程式h輸出 loop 反之，如果 p在...