邊緣人成大事 - 120年，從邏輯的不確定性原理，到偉大的圖靈機到GPU，最後AI通過圖靈測試。

「無人提及之人(邊緣人)，完成無人想像之事 (成大事)」- 圖靈

"Sometimes,
it is the people who no one imagines anything of , 

that do the things that no one can imagine."

                                                               - A.Turing

1901 羅素悖論的第三次數學危機
1928 希伯特提出完設公設體系的三大原則挽救數學

• 完備性 - 每條陳述理論闡述上都可被證明非真及假
• 一致性 - 每條陳述實際證明上不會有真假同時存在的矛盾
• 判定性 - 每條陳述證明過程中都有明確的程序判斷其真假

1931 歌德爾證明不完備定理

• 完備性幻滅：任何一個基於算術公設的系統如果有一致性，就不是完備的。(😱不就又是不確定原理？)
• 一定有無法證明真偽的陳述
• 一致性幻滅：哥德爾第二不完備定理指出系統的一致性根本無法在系統內部獲得證明。
• 判定性無效：無完備性，無一致性，第三點判定性的命題已不復存在。

1935 弱化版的判定性：可否透過一套明確的程序判定某個陳述能不能被證明真假

1936 圖靈 A. Turing : On Computable Numbers, with an Application to the Entscheidungsproblem

 ...

Intel

AMD

ARM

Nvidia

2024 ChatGPT 通過圖靈測試