第33章 阿蘭・麥席森・圖靈（求追讀求月票）
燕京飛控中心。
總指揮傅知寒剛從現場回到自己的辦公室，這次的發射任務還是比較重要的，需要他親自到場觀察。
傅知寒的辦公室里，有一位客人早已等候多時。
見到來人，傅知寒並不奇怪，上面的一些事情他還是知道的，對方的來意他大概能猜出個一二。
只不過有時候並不能表現出來，要懂得分寸。
「老錢，什麼風把你吹過來了。」
辦公室沙發上那個穿著中山裝的身影，在看見推門而入的傅知寒緩緩起身。
「這不是來跟你要個人嗎。」
「想要誰你直接帶走，不用跟我打招呼，要不是你執意不干，現在坐在這個總指揮的位置應該是你。」
錢修遠笑著搖了搖頭。
「以前的事就不用提了，該走的流程還是要有的。」
言畢他拿出了一份調任文件。
傅知寒接過來從頭到尾瀏覽了一遍，具體的調任並沒有寫的很明確，只是要求保留被調任人員的原職。
文件的最後寫著被調任人員的名字：蘇天工。
「小蘇啊，我記得不是你的學生？」
傅知寒沒有遲疑，直接簽上了名字將文件遞了回去，畢竟這就是個過場，一切早就安排妥當。
即便自己反對也沒有什麼作用，更何況他也沒有反對的理由。
「他現在應該在酒泉，你直接聯繫他吧，反正現在也是你的人了。」
錢修遠點點頭，對於相熟多年的兩位老朋友來說，一切盡在不言之中。
一場圍繞大夏最天才的計劃即將展開，然而此時的天才們可能還在睡覺。
王東從來沒覺得午休這麼有用，只是簡單睡了一會兒，就讓整個下午精力滿滿。
然而即便狀態極佳，對於現在的他來說要深入理解人工智慧還是有些難度。
看著眼前這本《Pattern Recognition and Machine Learning》，王東只覺得頭大。
偏理論數學的貝葉斯機器學習對於一個剛上大學沒多久的本科生來說還是太難了。
想要徹底啃完這些都不知道要到猴年馬月了。
把這像板磚一樣的書本合上，王東重新思考起來。
也許自己選擇的方式有問題，就算是和院士交流，自己也不需要完全理解人工智慧領域裡面的全部知識。
讀小說就上 TW 看書網，𝓈𝒽𝓊.𝓉𝓌超順暢
交流心得而已，只需要了解基本的概念，再加上一點自己的理解，就能寫出來一封還算看得過去的郵件。
對於交流來說完全夠用了。
只不過自己真的有理解嗎？
即便有【信徒系統】的數值加成，王東也只是感覺自己能夠讀懂記憶書本上的概念內容。
要讓自己對它們發表一番自己的見解看法，還是有些困難的。
他只能做到用自己的語言複述一遍，要想再深入推進，至少短時間來看是有些困難的。
看來另想辦法了。
雖然王東很不想這樣做，但現在最好的解決方案就是再信仰一位新【神】。
儘管從現在的推導來看，信仰新【神】是一把絕對的雙刃劍。
不僅會帶來強制祈禱的壓力，還有能像牛頓爵士一樣發布各種難纏的任務，但獲得的獎勵確實很有幫助。
何況似乎只有到了一定的信仰等級，【神】才會反過來影響現實。
總的來說還是利大於弊的。
王東現在僅需要思考要信仰哪一位新【神】。
經過層層篩選，在【阿蘭・麥席森・圖靈】和【約翰・馮・諾依曼】兩者之中，他選擇了前者。
畢竟這是有關人工智慧的探討，阿蘭·圖靈顯然要比馮·諾伊曼更擅長一些。
想要信仰一位【神】，首先要做的第一件事就是了解他。
【阿蘭・麥席森・圖靈】，你的世界又是什麼樣子的呢？
劍橋大學國王學院不會知道一個未來改變世界的天才，在他們這裡學習數學。
而此時的數學界正在經歷著一場危機。
希爾伯特那份的綱領，一份證明數學的完備性、一致性和可判性的宏偉綱領，被哥德爾的不完備定理撕開了一道無法癒合的傷口。
哥德爾證明了，在任何足夠複雜的數學系統中，總存在既不能被證明也不能被證偽的命題。
年輕的天才並不關注這場危機，他只是好奇希爾伯特綱領中剩下的最後一個問題，判定問題，是否有解？
也就是說，是否存在一種通用的、機械化的步驟，能夠判斷任意一個數學命題是否可證？
在這個大多數人都在直接研究數學邏輯本身的時代，阿蘭·圖靈選擇了一條完全不同的道路。
與其爭論什麼是可證明的，不如先定義什麼是可計算的。
一個極其簡單的機器在阿蘭·圖靈腦海中誕生。
一條無限長的紙帶，被分成一個個方格。
一個讀寫頭，可以在紙帶上左右移動，讀取和改寫方格上的符號。
一套規則表，根據當前狀態和讀取到的符號，決定下一步的動作。
這四個極其簡單的部件，就是被稱作「圖靈機」的模型。
利用停機問題的不可判定性，年輕的天才否定了希爾伯特綱領中的最後一個判定問題。
數學中存在著本質上不可解的問題。
宏偉的綱領就此倒塌，年輕的天才建立起自己的威名。
【阿蘭・麥席森・圖靈認可了你的信仰】
【已成為布萊切利園英雄的信徒】
【獲得被動：圖靈測試】
【圖靈測試：對於計算機和人工智慧的理解顯著提升】
一瞬間，王東這些天從課本中汲取的知識，開始在他的腦海中推衍變化。
那些僅僅停留在表面的理解，現在變得可以更加深入。
王東突然覺得，對於人工智慧，自己完全可以做到侃侃而談。
雖然還談不上時代頂尖的理解，但和一位院士暢聊，那應該還是綽綽有餘。
他把板磚一樣沉重的書本放回書架上，從圖書館直接沖回宿舍。
拿出筆記本，不緊不慢地開機，打開word。
看著空白的頁面僅僅是思考了幾秒，雙手就變成舞動的精靈，在鍵盤上瘋狂遊走。
一篇和人工智慧的統計推理與因果推理有關的思考理解驀然呈現在紙上。
總指揮傅知寒剛從現場回到自己的辦公室，這次的發射任務還是比較重要的，需要他親自到場觀察。
傅知寒的辦公室里，有一位客人早已等候多時。
見到來人，傅知寒並不奇怪，上面的一些事情他還是知道的，對方的來意他大概能猜出個一二。
只不過有時候並不能表現出來，要懂得分寸。
「老錢，什麼風把你吹過來了。」
辦公室沙發上那個穿著中山裝的身影，在看見推門而入的傅知寒緩緩起身。
「這不是來跟你要個人嗎。」
「想要誰你直接帶走，不用跟我打招呼，要不是你執意不干，現在坐在這個總指揮的位置應該是你。」
錢修遠笑著搖了搖頭。
「以前的事就不用提了，該走的流程還是要有的。」
言畢他拿出了一份調任文件。
傅知寒接過來從頭到尾瀏覽了一遍，具體的調任並沒有寫的很明確，只是要求保留被調任人員的原職。
文件的最後寫著被調任人員的名字：蘇天工。
「小蘇啊，我記得不是你的學生？」
傅知寒沒有遲疑，直接簽上了名字將文件遞了回去，畢竟這就是個過場，一切早就安排妥當。
即便自己反對也沒有什麼作用，更何況他也沒有反對的理由。
「他現在應該在酒泉，你直接聯繫他吧，反正現在也是你的人了。」
錢修遠點點頭，對於相熟多年的兩位老朋友來說，一切盡在不言之中。
一場圍繞大夏最天才的計劃即將展開，然而此時的天才們可能還在睡覺。
王東從來沒覺得午休這麼有用，只是簡單睡了一會兒，就讓整個下午精力滿滿。
然而即便狀態極佳，對於現在的他來說要深入理解人工智慧還是有些難度。
看著眼前這本《Pattern Recognition and Machine Learning》，王東只覺得頭大。
偏理論數學的貝葉斯機器學習對於一個剛上大學沒多久的本科生來說還是太難了。
想要徹底啃完這些都不知道要到猴年馬月了。
把這像板磚一樣的書本合上，王東重新思考起來。
也許自己選擇的方式有問題，就算是和院士交流，自己也不需要完全理解人工智慧領域裡面的全部知識。
讀小說就上 TW 看書網，𝓈𝒽𝓊.𝓉𝓌超順暢
交流心得而已，只需要了解基本的概念，再加上一點自己的理解，就能寫出來一封還算看得過去的郵件。
對於交流來說完全夠用了。
只不過自己真的有理解嗎？
即便有【信徒系統】的數值加成，王東也只是感覺自己能夠讀懂記憶書本上的概念內容。
要讓自己對它們發表一番自己的見解看法，還是有些困難的。
他只能做到用自己的語言複述一遍，要想再深入推進，至少短時間來看是有些困難的。
看來另想辦法了。
雖然王東很不想這樣做，但現在最好的解決方案就是再信仰一位新【神】。
儘管從現在的推導來看，信仰新【神】是一把絕對的雙刃劍。
不僅會帶來強制祈禱的壓力，還有能像牛頓爵士一樣發布各種難纏的任務，但獲得的獎勵確實很有幫助。
何況似乎只有到了一定的信仰等級，【神】才會反過來影響現實。
總的來說還是利大於弊的。
王東現在僅需要思考要信仰哪一位新【神】。
經過層層篩選，在【阿蘭・麥席森・圖靈】和【約翰・馮・諾依曼】兩者之中，他選擇了前者。
畢竟這是有關人工智慧的探討，阿蘭·圖靈顯然要比馮·諾伊曼更擅長一些。
想要信仰一位【神】，首先要做的第一件事就是了解他。
【阿蘭・麥席森・圖靈】，你的世界又是什麼樣子的呢？
劍橋大學國王學院不會知道一個未來改變世界的天才，在他們這裡學習數學。
而此時的數學界正在經歷著一場危機。
希爾伯特那份的綱領，一份證明數學的完備性、一致性和可判性的宏偉綱領，被哥德爾的不完備定理撕開了一道無法癒合的傷口。
哥德爾證明了，在任何足夠複雜的數學系統中，總存在既不能被證明也不能被證偽的命題。
年輕的天才並不關注這場危機，他只是好奇希爾伯特綱領中剩下的最後一個問題，判定問題，是否有解？
也就是說，是否存在一種通用的、機械化的步驟，能夠判斷任意一個數學命題是否可證？
在這個大多數人都在直接研究數學邏輯本身的時代，阿蘭·圖靈選擇了一條完全不同的道路。
與其爭論什麼是可證明的，不如先定義什麼是可計算的。
一個極其簡單的機器在阿蘭·圖靈腦海中誕生。
一條無限長的紙帶，被分成一個個方格。
一個讀寫頭，可以在紙帶上左右移動，讀取和改寫方格上的符號。
一套規則表，根據當前狀態和讀取到的符號，決定下一步的動作。
這四個極其簡單的部件，就是被稱作「圖靈機」的模型。
利用停機問題的不可判定性，年輕的天才否定了希爾伯特綱領中的最後一個判定問題。
數學中存在著本質上不可解的問題。
宏偉的綱領就此倒塌，年輕的天才建立起自己的威名。
【阿蘭・麥席森・圖靈認可了你的信仰】
【已成為布萊切利園英雄的信徒】
【獲得被動：圖靈測試】
【圖靈測試：對於計算機和人工智慧的理解顯著提升】
一瞬間，王東這些天從課本中汲取的知識，開始在他的腦海中推衍變化。
那些僅僅停留在表面的理解，現在變得可以更加深入。
王東突然覺得，對於人工智慧，自己完全可以做到侃侃而談。
雖然還談不上時代頂尖的理解，但和一位院士暢聊，那應該還是綽綽有餘。
他把板磚一樣沉重的書本放回書架上，從圖書館直接沖回宿舍。
拿出筆記本，不緊不慢地開機，打開word。
看著空白的頁面僅僅是思考了幾秒，雙手就變成舞動的精靈，在鍵盤上瘋狂遊走。
一篇和人工智慧的統計推理與因果推理有關的思考理解驀然呈現在紙上。