第49章 證明公理
「艾倫·圖靈？」
少年皺了皺眉：「你還沒回答我的問題呢，現在又多了一個問題，你怎麼知道我名字的。」
「我是新來的轉校生，我叫托馬斯·艾倫」
陸行知向圖靈解釋自己認識他的原因，並告訴他現在學校的人都在找他，以為他失蹤了。
「還有克里斯，他十分擔心你，囑咐我如果看到你了立刻告訴他。」
誰曾想，本來還好好的圖靈聽到有關克里斯這句話後突然變得異常煩躁。
「行了，我知道了，你可以回去了，別打擾我做數學題！」
說著，圖靈就一把將陸行知給推開，無論陸行知再說什麼都不再理會。
陸行知心裡無奈，想起其他同學們對圖靈的評價，他本來還不相信，現在接觸下來果然如此。
真是一個性情古怪的人。
沒辦法，既然要模擬的對象是圖靈，走是不可能走的，他便直接在圖靈旁邊坐了下來。
圖靈見狀很不滿，幾次呵斥想要驅趕他，陸行知都沒理會，圖靈沒辦法，只好任由陸行知坐在身旁。
他不知道的是，陸行知此刻正在忙著跟系統溝通。
「系統，給我出來！」
【宿主，我在】
「我的模擬任務呢？為什麼這次我已經見到模擬對象了，還沒有發布任務？」
陸行知想的是抓緊時間完成任務，獲得獎勵，出去完成算法，這才是當務之急，而不是在這裡玩什麼失蹤找人的遊戲。
【深度模擬不存在固定任務】
【宿主可在模擬期間自由行動，時間24小時】
「啊？沒有任務怎麼進行模擬評價？」陸行知懵了。
【系統將根據宿主與模擬人物的關係以及歷史影響進行綜合評價】
「也就是說，從任務驅動玩法變成了開放世界玩法？圖裡面想要什麼全靠自己？最後結算獎勵？」
【宿主可以這樣理解】
好在之前姜南拉著陸行知玩過幾款開放世界遊戲，他大概理解了現在是什麼情況。
TW 看書網超順暢，𝕤𝕙𝕦.𝕥𝕨任你讀
在24小時內，無論他想做什麼都可以，只不過所有行為都會影響任務評價，最後影響任務獎勵。
「人物關係以及歷史影響……」
至於人物關係，大概是要讓他跟圖靈搞好關係的意思？
「不對啊，既然是開放世界，我想做什麼都可以的話，那我豈不是可以為所欲為了。」
陸行知眼睛一亮，他前兩次模擬一直在忙著做任務，都沒有去嘗試。
「圖靈。」陸行知咳嗽了一聲。
「嗯？」圖靈不解地轉過頭，不知道這個人又想做什麼。
「其實你以後會成為□□」
「啊？你在說什麼，會成為什麼？」
陸行知也意識到了不對勁，不信邪地再次嘗試了一次。
「□□」
圖靈根本沒聽到任何聲音，在他的眼裡，陸行知嘴巴張了一下，然後就不動了。
「神經病。」
陸行知有些尷尬，他剛剛想說的是圖靈未來會成為人工智慧之父。
卻沒想到被禁音了！
說好的開放世界呢！
不過這也能理解，他要是什麼都能說的話，可能會對這些歷史上的人物產生不可預料的影響。
不過他還想試試，在桌子上拿起一隻筆，想把這句話寫在紙上，可還是失敗了。
陸行知還想繼續嘗試，系統發出提醒。
【當前模擬階段，宿主不可以將任何未來信息以任何形式向模擬世界中的人物傳遞，所有透露未來的相關信息均會被抹除】
好吧，這句話直接讓陸行知斷了嘗試的念頭。
他重新將它放回到圖靈身上。
這是他第一次見到這麼奇怪的天才，不僅孤僻、性情古怪，還直接玩消失，他很難把歷史中記載的圖靈跟此刻的少年圖靈聯繫在一起。
「不過……熱愛數學的樣子倒是跟我有點像。」
陸行知看著桌子上的大量草稿紙，不禁想起了自己這些天在圖書館為優化算法奮鬥的樣子。
「你在做幾何題？」陸行知指著草稿紙上的圖形問道。
圖靈瞥了陸行知一眼，他好不容易找到一個安靜的地方寫數學題放鬆一下，卻被這個傢伙給打攪了。
「看不懂就別看，趕緊回學校吧，別管我。」圖靈冷冷地說道。
「我看不懂？」陸行知被氣笑了，要是換成年後的圖靈，說我看不懂我也就認了。
你現在不過也才17歲，還成長在比我早一百多年、數學體系遠不如現代完善的年代，你說我看不懂一道普普通通的幾何題？
看不起誰呢！
「你說吧，什麼問題，我來教你。」
陸行知承認，這句話說出來的時候是有點爽的，反正是自由世界模式，就算少年牛頓，他也能教！
圖靈看著陸行知胸有成竹的模樣，考慮了一會兒。
「行吧，我正在思考歐幾里得第五公設是否真的是公理，能不能用別的辦法證明出來。」
「歐幾里得第五公設？」陸行知愣了一下，他知道歐幾里得，但這個第幾公設他還真不知道。
好在圖靈沒有注意到他不知道，直接在圖上畫了一條直線，然後在直線外畫了一個點，並把問題清楚地說了出來：
「我在嘗試證明，過直線外一點，有且只有一條直線與這條直線平行。」
「啊？這還用證明嗎？這不是公理嗎？」
陸行知這次聽懂了，但他完全不知道這個問題有什麼好證明的，初中課本里不就是這麼寫的嗎？
圖靈聽到陸行知的反應後也不奇怪，畢竟所有人一直都默認它是公理，不需要證明。
圖靈跟別人想的不一樣，所有人都覺得是公理的東西，真的有人去認真證明過嗎？
為此，他先從P向l作垂線，得到PA⊥l。然後再過P作直線m⊥PA，這樣m與l平行。
接下來，他只需要證明除了m之外，任何經過P的直線n，最終都一定會和l相交。
他推了很久，感覺自己快證明出來了，但是一直找不到那個突破口，因此在圖書館裡坐了一整天。
陸行知此刻也安靜下來，他看了很久圖靈的草稿，忽然說道：「你這裡寫錯了。」
少年皺了皺眉：「你還沒回答我的問題呢，現在又多了一個問題，你怎麼知道我名字的。」
「我是新來的轉校生，我叫托馬斯·艾倫」
陸行知向圖靈解釋自己認識他的原因，並告訴他現在學校的人都在找他，以為他失蹤了。
「還有克里斯，他十分擔心你，囑咐我如果看到你了立刻告訴他。」
誰曾想，本來還好好的圖靈聽到有關克里斯這句話後突然變得異常煩躁。
「行了，我知道了，你可以回去了，別打擾我做數學題！」
說著，圖靈就一把將陸行知給推開，無論陸行知再說什麼都不再理會。
陸行知心裡無奈，想起其他同學們對圖靈的評價，他本來還不相信，現在接觸下來果然如此。
真是一個性情古怪的人。
沒辦法，既然要模擬的對象是圖靈，走是不可能走的，他便直接在圖靈旁邊坐了下來。
圖靈見狀很不滿，幾次呵斥想要驅趕他，陸行知都沒理會，圖靈沒辦法，只好任由陸行知坐在身旁。
他不知道的是，陸行知此刻正在忙著跟系統溝通。
「系統，給我出來！」
【宿主，我在】
「我的模擬任務呢？為什麼這次我已經見到模擬對象了，還沒有發布任務？」
陸行知想的是抓緊時間完成任務，獲得獎勵，出去完成算法，這才是當務之急，而不是在這裡玩什麼失蹤找人的遊戲。
【深度模擬不存在固定任務】
【宿主可在模擬期間自由行動，時間24小時】
「啊？沒有任務怎麼進行模擬評價？」陸行知懵了。
【系統將根據宿主與模擬人物的關係以及歷史影響進行綜合評價】
「也就是說，從任務驅動玩法變成了開放世界玩法？圖裡面想要什麼全靠自己？最後結算獎勵？」
【宿主可以這樣理解】
好在之前姜南拉著陸行知玩過幾款開放世界遊戲，他大概理解了現在是什麼情況。
TW 看書網超順暢，𝕤𝕙𝕦.𝕥𝕨任你讀
在24小時內，無論他想做什麼都可以，只不過所有行為都會影響任務評價，最後影響任務獎勵。
「人物關係以及歷史影響……」
至於人物關係，大概是要讓他跟圖靈搞好關係的意思？
「不對啊，既然是開放世界，我想做什麼都可以的話，那我豈不是可以為所欲為了。」
陸行知眼睛一亮，他前兩次模擬一直在忙著做任務，都沒有去嘗試。
「圖靈。」陸行知咳嗽了一聲。
「嗯？」圖靈不解地轉過頭，不知道這個人又想做什麼。
「其實你以後會成為□□」
「啊？你在說什麼，會成為什麼？」
陸行知也意識到了不對勁，不信邪地再次嘗試了一次。
「□□」
圖靈根本沒聽到任何聲音，在他的眼裡，陸行知嘴巴張了一下，然後就不動了。
「神經病。」
陸行知有些尷尬，他剛剛想說的是圖靈未來會成為人工智慧之父。
卻沒想到被禁音了！
說好的開放世界呢！
不過這也能理解，他要是什麼都能說的話，可能會對這些歷史上的人物產生不可預料的影響。
不過他還想試試，在桌子上拿起一隻筆，想把這句話寫在紙上，可還是失敗了。
陸行知還想繼續嘗試，系統發出提醒。
【當前模擬階段，宿主不可以將任何未來信息以任何形式向模擬世界中的人物傳遞，所有透露未來的相關信息均會被抹除】
好吧，這句話直接讓陸行知斷了嘗試的念頭。
他重新將它放回到圖靈身上。
這是他第一次見到這麼奇怪的天才，不僅孤僻、性情古怪，還直接玩消失，他很難把歷史中記載的圖靈跟此刻的少年圖靈聯繫在一起。
「不過……熱愛數學的樣子倒是跟我有點像。」
陸行知看著桌子上的大量草稿紙，不禁想起了自己這些天在圖書館為優化算法奮鬥的樣子。
「你在做幾何題？」陸行知指著草稿紙上的圖形問道。
圖靈瞥了陸行知一眼，他好不容易找到一個安靜的地方寫數學題放鬆一下，卻被這個傢伙給打攪了。
「看不懂就別看，趕緊回學校吧，別管我。」圖靈冷冷地說道。
「我看不懂？」陸行知被氣笑了，要是換成年後的圖靈，說我看不懂我也就認了。
你現在不過也才17歲，還成長在比我早一百多年、數學體系遠不如現代完善的年代，你說我看不懂一道普普通通的幾何題？
看不起誰呢！
「你說吧，什麼問題，我來教你。」
陸行知承認，這句話說出來的時候是有點爽的，反正是自由世界模式，就算少年牛頓，他也能教！
圖靈看著陸行知胸有成竹的模樣，考慮了一會兒。
「行吧，我正在思考歐幾里得第五公設是否真的是公理，能不能用別的辦法證明出來。」
「歐幾里得第五公設？」陸行知愣了一下，他知道歐幾里得，但這個第幾公設他還真不知道。
好在圖靈沒有注意到他不知道，直接在圖上畫了一條直線，然後在直線外畫了一個點，並把問題清楚地說了出來：
「我在嘗試證明，過直線外一點，有且只有一條直線與這條直線平行。」
「啊？這還用證明嗎？這不是公理嗎？」
陸行知這次聽懂了，但他完全不知道這個問題有什麼好證明的，初中課本里不就是這麼寫的嗎？
圖靈聽到陸行知的反應後也不奇怪，畢竟所有人一直都默認它是公理，不需要證明。
圖靈跟別人想的不一樣，所有人都覺得是公理的東西，真的有人去認真證明過嗎？
為此，他先從P向l作垂線，得到PA⊥l。然後再過P作直線m⊥PA，這樣m與l平行。
接下來，他只需要證明除了m之外，任何經過P的直線n，最終都一定會和l相交。
他推了很久，感覺自己快證明出來了，但是一直找不到那個突破口，因此在圖書館裡坐了一整天。
陸行知此刻也安靜下來，他看了很久圖靈的草稿，忽然說道：「你這裡寫錯了。」