劍橋大學的乙個指導教師，二戰密碼破譯，毒蘋果
新機器satan-algoorithm的停機集合就是d。然而這時不可能的，與前面證明矛盾。
試圖找到清楚明白的驗算程式，只要用所謂的一階邏輯（弗雷格體系）的符號系統寫出來的某些前提》和所提出的結果給定，那麼通過這些程式就是可以判定的。 — 希爾伯特判定問題
2023年adleman論證了dna計算機的可行性，並用dna計算機解決了乙個有向哈密爾頓路徑問題。從乙個側面**了生命過程就是一種計算的思想。
計算機、大腦、心靈
未來
讀《邏輯的引擎》有感
最近看了 邏輯的引擎 心得寫下 1 計算機的分層理論來自與集合論和系統的不可判定性 不明白為什麼，也許是1為什麼就是1的問題？待定 因為系統部可判定，但是系統內部是可計算的，所以說需要分層結構建立新的系統證明結構的正確性 2 符號系統是用來證明數學的可證明行的有效工具 3 從存在性轉化為符號系統，在...
經典書籍的閱讀建議
最近讀了不少啟發性的技術和非技術部落格，感想不少。不過，看的資訊量太大，很多也忘了。於是，想到了閱讀的效率和效果。對於比較深刻的發人深省的文章，思考和讀時理解切不可忽視，不要想到加入收藏夾，以後再看。一旦走馬觀花一遍，以後真的有時間看，會失去現在的這種良好的好奇心和系統性。以後再看會覺得看過，似曾相...
經典書籍的閱讀建議
最近讀了不少啟發性的技術和非技術部落格，感想不少。不過，看的資訊量太大，很多也忘了。於是，想到了閱讀的效率和效果。對於比較深刻的發人深省的文章，思考和讀時理解切不可忽視，不要想到加入收藏夾，以後再看。一旦走馬觀花一遍，以後真的有時間看，會失去現在的這種良好的好奇心和系統性。以後再看會覺得看過，似曾相...