第50章 賴著不走
圖靈抬起頭，看向陸行知，眼神中充滿質疑。
陸行知沒有馬上解釋，反而問道：「歐式幾何的前四條公設是什麼？」
「1.兩點之間可以作直線、2.一條有限直線可以繼續延長、3.以任意點為圓心、任意距離為半徑可以作圓、4.所有直角都相等。」
「這麼簡單的知識還要我告訴你嗎？」
圖靈開始變得有些不耐煩了，這人連他說的是什麼都不知道，還敢大言不慚地說他錯了，真是荒謬。
陸行知並不在意他的態度：「你之所以選擇證明第五條平行公設，而不去證明前四條，是因為你覺得前四條在你的直覺上是顯然的，不需要證明。」
「不然呢？」
「公理之所以是公理，就是因為不需要證明，也不能被證明。你試圖證明第五條公理，本質是對這條公理認知的不夠深刻。」
說來也巧，在研究算法的過程中，陸行知還真看過歐氏幾何，所以他能理解圖靈到底在想什麼。
「前四條公理並不能推導出第五條，平行公理本身就是獨立的。」
陸行知直接給出了結論，並且拿起書桌上的筆，在圖靈證明的那張圖上畫了幾條線。
「你想證明n跟l一定會相交，無非就用到一些看似顯然的幾何事實，類似於三角形內角和等於180度，兩條直線被第三條直線所截得的同旁內角之和小於180度，則這兩條直線必相交。」
「你用的是這兩條，對吧？」
圖靈臉色一僵，他的想法被陸行知說中了，他確實是這樣想的，而且他證明了一整天也沒證明出來。
陸行知看到圖靈板著臉，知道自己猜對了，繼續說道：
「你這是大錯特錯！」
「無論是三角形內角和等於180度，還是同旁內角和小於180度，這兩個結論都是由平行公設成立得來的！」
「你想證明平行公設，卻已經默認了平行公設是公理，這叫循環論證！」
圖靈不服：「你說是循環論證就是循環論證？」
陸行知不語，拿筆在紙上將這兩個條件的證明寫了出來，遞給他。
「喏，自己看吧。」
圖靈接過草稿，低頭陷入了沉思。
五分鐘後，圖靈垮著臉，拿起書包，起身離開。
陸行知連忙攔下：「怎麼了？」
找書就去 TW 看書網，𝘀𝗵𝘂.𝘁𝘄超全
「你到底是誰啊！」
圖靈將書包甩到桌子上，生氣道：「我跟克里斯研究了一個星期的問題，你剛來這沒一會兒就說我們這些研究全白費了，唉。」
小圖靈一時間難以接受自己的失敗。
「克里斯也在研究這個問題？」
聽起來他倆關係確實不錯，那為什麼剛剛他一提到克里斯，圖靈就明顯變得不耐煩。
圖靈似乎壓抑了很久，一股腦將怨氣全撒到了陸行知身上，陸行知雖然有些不爽，但在這過程中也得知了圖靈離校出走的真正原因。
原來，克里斯是圖靈唯一的朋友，圖靈一直將克里斯當作自己的榜樣，拼命追趕，生怕自己被好朋友拉開太多距離。
最近兩人一起去劍橋參加入學考試，最終克里斯入選，並拿到了三一學院的獎學金，圖靈卻落選了。
這讓圖靈很沮喪，而他又不想將這件事向克里斯傾訴，情緒壓抑到極致的他便選擇了逃離校園，並迫切地想要證明自己，哪怕僅僅是一道題。
「這……」
陸行知從沒想過，少年圖靈內心如此敏感，行為如此任性，實在難以將他跟歷史上的圖靈關聯在一起。
他剛想說些什麼安慰一下圖靈，耳邊卻忽然傳來圖書管理員的聲音。
「小帥哥，我們這裡要閉館了，帶著你的朋友離開，明天再來吧。」
這位中年大媽扭動著肥碩的腰肢走了過來，語氣和善，卻帶著不容置疑的態度。
陸行知見狀拉著圖靈便打算離開，圖靈卻根本沒有挪動腳步的意思。
「你在這裡待著不走是會被趕出去的。」陸行知無奈了。
「不用你管！」圖靈冷冷道。
「行，那你就自己在這待著吧。」
難怪學校里的同學都不喜歡圖靈，饒是陸行知帶著歷史名人的光環去對待圖靈，也是被氣得夠嗆。
泥人也有三分火，陸行知轉身就走，不再去管他。
等到陸行知離開後，中年大媽疑惑地看向圖靈：
「你怎麼還在這裡待著，不跟著你朋友一起走嗎？」
「我不認識他，他不是我朋友。」圖靈開口道。
中年大媽恍然大悟地點了點頭：「原來你倆不認識啊，那我還給你什麼好臉色，沒看到圖書館裡就剩你一個了嗎？趕緊快給我滾，別耽誤老娘休息！」
圖靈低下頭，身子縮成一團，趴在桌子上沒動彈。
中年大媽氣笑了：「小鬼想跟我玩賴的是吧？」
說完這句話，她就離開了。
圖靈以為沒事了，暫時鬆了一口氣。
可沒過一會兒，一群穿著制服、五大三粗的警察就闖了進來。
「就是他？」為首的警官指著圖靈說道。
「對，沒錯，就是那小鬼在我這裡耍橫，還對我破口大罵！」中年大媽惡狠狠地說道。
「給我帶走！」
警官一揮手，幾個壯漢跑過去摁住圖靈，圖靈奮力掙扎，可他這麼個17歲的瘦弱少年怎麼可能擺脫束縛？
書桌上的書散落一地，他被銬上了手銬，強行押著離開了圖書館。
中年大媽還朝著圖靈吐了口唾沫。
「呸！還敢在我這撒野，真當老娘是好欺負的啊！」
……
陸行知離開後一直沒走，就在圖書館附近轉悠，畢竟他這次的模擬對象是圖靈，生氣歸生氣，他還指望著圖靈幫他解決算法問題呢。
可沒想到轉悠一圈回來，竟然看到圖靈被警察給押走了！
陸行知意識到大事不妙，急忙追了上去。
「警官，你們是不是抓錯人了，他就是在圖書館裡多待了一會兒，不至於被抓起來吧？」
警官看向陸行知，語氣不善：「你在質疑我們的執法水平嗎？」
「圖書館的人報警說他在公共場合擾亂秩序，拒不配合管理，怎麼不能抓？」
陸行知沒有馬上解釋，反而問道：「歐式幾何的前四條公設是什麼？」
「1.兩點之間可以作直線、2.一條有限直線可以繼續延長、3.以任意點為圓心、任意距離為半徑可以作圓、4.所有直角都相等。」
「這麼簡單的知識還要我告訴你嗎？」
圖靈開始變得有些不耐煩了，這人連他說的是什麼都不知道，還敢大言不慚地說他錯了，真是荒謬。
陸行知並不在意他的態度：「你之所以選擇證明第五條平行公設，而不去證明前四條，是因為你覺得前四條在你的直覺上是顯然的，不需要證明。」
「不然呢？」
「公理之所以是公理，就是因為不需要證明，也不能被證明。你試圖證明第五條公理，本質是對這條公理認知的不夠深刻。」
說來也巧，在研究算法的過程中，陸行知還真看過歐氏幾何，所以他能理解圖靈到底在想什麼。
「前四條公理並不能推導出第五條，平行公理本身就是獨立的。」
陸行知直接給出了結論，並且拿起書桌上的筆，在圖靈證明的那張圖上畫了幾條線。
「你想證明n跟l一定會相交，無非就用到一些看似顯然的幾何事實，類似於三角形內角和等於180度，兩條直線被第三條直線所截得的同旁內角之和小於180度，則這兩條直線必相交。」
「你用的是這兩條，對吧？」
圖靈臉色一僵，他的想法被陸行知說中了，他確實是這樣想的，而且他證明了一整天也沒證明出來。
陸行知看到圖靈板著臉，知道自己猜對了，繼續說道：
「你這是大錯特錯！」
「無論是三角形內角和等於180度，還是同旁內角和小於180度，這兩個結論都是由平行公設成立得來的！」
「你想證明平行公設，卻已經默認了平行公設是公理，這叫循環論證！」
圖靈不服：「你說是循環論證就是循環論證？」
陸行知不語，拿筆在紙上將這兩個條件的證明寫了出來，遞給他。
「喏，自己看吧。」
圖靈接過草稿，低頭陷入了沉思。
五分鐘後，圖靈垮著臉，拿起書包，起身離開。
陸行知連忙攔下：「怎麼了？」
找書就去 TW 看書網，𝘀𝗵𝘂.𝘁𝘄超全
「你到底是誰啊！」
圖靈將書包甩到桌子上，生氣道：「我跟克里斯研究了一個星期的問題，你剛來這沒一會兒就說我們這些研究全白費了，唉。」
小圖靈一時間難以接受自己的失敗。
「克里斯也在研究這個問題？」
聽起來他倆關係確實不錯，那為什麼剛剛他一提到克里斯，圖靈就明顯變得不耐煩。
圖靈似乎壓抑了很久，一股腦將怨氣全撒到了陸行知身上，陸行知雖然有些不爽，但在這過程中也得知了圖靈離校出走的真正原因。
原來，克里斯是圖靈唯一的朋友，圖靈一直將克里斯當作自己的榜樣，拼命追趕，生怕自己被好朋友拉開太多距離。
最近兩人一起去劍橋參加入學考試，最終克里斯入選，並拿到了三一學院的獎學金，圖靈卻落選了。
這讓圖靈很沮喪，而他又不想將這件事向克里斯傾訴，情緒壓抑到極致的他便選擇了逃離校園，並迫切地想要證明自己，哪怕僅僅是一道題。
「這……」
陸行知從沒想過，少年圖靈內心如此敏感，行為如此任性，實在難以將他跟歷史上的圖靈關聯在一起。
他剛想說些什麼安慰一下圖靈，耳邊卻忽然傳來圖書管理員的聲音。
「小帥哥，我們這裡要閉館了，帶著你的朋友離開，明天再來吧。」
這位中年大媽扭動著肥碩的腰肢走了過來，語氣和善，卻帶著不容置疑的態度。
陸行知見狀拉著圖靈便打算離開，圖靈卻根本沒有挪動腳步的意思。
「你在這裡待著不走是會被趕出去的。」陸行知無奈了。
「不用你管！」圖靈冷冷道。
「行，那你就自己在這待著吧。」
難怪學校里的同學都不喜歡圖靈，饒是陸行知帶著歷史名人的光環去對待圖靈，也是被氣得夠嗆。
泥人也有三分火，陸行知轉身就走，不再去管他。
等到陸行知離開後，中年大媽疑惑地看向圖靈：
「你怎麼還在這裡待著，不跟著你朋友一起走嗎？」
「我不認識他，他不是我朋友。」圖靈開口道。
中年大媽恍然大悟地點了點頭：「原來你倆不認識啊，那我還給你什麼好臉色，沒看到圖書館裡就剩你一個了嗎？趕緊快給我滾，別耽誤老娘休息！」
圖靈低下頭，身子縮成一團，趴在桌子上沒動彈。
中年大媽氣笑了：「小鬼想跟我玩賴的是吧？」
說完這句話，她就離開了。
圖靈以為沒事了，暫時鬆了一口氣。
可沒過一會兒，一群穿著制服、五大三粗的警察就闖了進來。
「就是他？」為首的警官指著圖靈說道。
「對，沒錯，就是那小鬼在我這裡耍橫，還對我破口大罵！」中年大媽惡狠狠地說道。
「給我帶走！」
警官一揮手，幾個壯漢跑過去摁住圖靈，圖靈奮力掙扎，可他這麼個17歲的瘦弱少年怎麼可能擺脫束縛？
書桌上的書散落一地，他被銬上了手銬，強行押著離開了圖書館。
中年大媽還朝著圖靈吐了口唾沫。
「呸！還敢在我這撒野，真當老娘是好欺負的啊！」
……
陸行知離開後一直沒走，就在圖書館附近轉悠，畢竟他這次的模擬對象是圖靈，生氣歸生氣，他還指望著圖靈幫他解決算法問題呢。
可沒想到轉悠一圈回來，竟然看到圖靈被警察給押走了！
陸行知意識到大事不妙，急忙追了上去。
「警官，你們是不是抓錯人了，他就是在圖書館裡多待了一會兒，不至於被抓起來吧？」
警官看向陸行知，語氣不善：「你在質疑我們的執法水平嗎？」
「圖書館的人報警說他在公共場合擾亂秩序，拒不配合管理，怎麼不能抓？」