第三百八十六章 同一個題目?(1/2)
拉文克勞學院最著名的格言就是,「過人的智慧是人類最大的財富。」
無論是鷹環、學生、乃至於學院風格和環境,無一不在顯示著他們對於知識的渴望,以及那宛如天空般無拘無束、天馬行空的智慧與思想。
然而,除此以外,艾琳娜恰好聽過另外一句話——數學是人類智慧皇冠上最燦爛的明珠。
縱觀人類文明悠久的歷史長河,至少有一半以上充滿哲理的思考和問題,都與某些數學邏輯之間有著奇妙的聯繫。事實上,在幾百年以前,人們還把數學叫做自然哲學。
「我們並不是在為難學生們,只不過是傳遞知識,讓哲學思考的光輝重新籠罩在拉文克勞公共休息室之中而已……」
艾琳娜看著雙眼發直的謝諾菲留斯?洛夫古德,搖了搖頭,輕笑著說道。
就在剛才,她稍微更新了一下青銅鷹環的題庫,講述了幾個有意思的邏輯小故事。
而經過了這幾次與青銅鷹環的溝通之後,艾琳娜初步判定拉文克勞的鷹環其實更類似於一種比較原始的初級AI——具有一定的思考能力,以及信息錄入、判斷、輸出功能。
這也就意味著,它並不能勝任複雜數學任務的自主推演。
換而言之,如果想要讓鷹環提出理髮師悖論,也就是羅素悖論的話,首先她需要幫助鷹環完成這個問題至少一個的標準答案——比如說,完整闡述哥德爾不完備定理——才能讓青銅鷹環在「內置邏輯」中將「理髮師悖論」加入到題庫之中。
當然,如果她真的那麼做了,可能拉文克勞學院的學生們今年就別想再回宿舍睡覺了。
所以艾琳娜稍微斟酌了一下之後,還是選擇從一些比較基礎的地方開始灌輸。畢竟霍格沃茨絕大部分小巫師的數學基礎,可能還達不到歐洲小學畢業生的平均水準。
「我還是不明白,這個世界真的有隻會說謊話和真話的村子存在嗎?」
謝諾菲留斯?洛夫古德揉著額頭,努力思考著艾琳娜剛才給青銅鷹環「更新」的其中一道經典例題——站在岔路口,負責指路的兩人,只有一次提問機會的話應該怎麼提問……
「當然存在。」艾琳娜毫不猶豫地點了點頭,「或者說,您就理解為,其中一個村子的人日常飲用水全是吐真劑,而另一個村子的人日常飲水全是謊言藥劑就可以了。」
「謊言藥劑?那是什麼,我怎麼不知道有這種東西……」
謝諾菲留斯困惑地挑了挑眉。
「噢,您理解為一種與吐真劑相反的魔藥就好了。」
艾琳娜擺了擺手,隨口將這個她臨時胡謅的魔藥糊弄了過去。
反正大千世界無奇不有,證明一件事物不存在,永遠比證明一件事物存在要困難得多。
正如同愛因斯坦說過的那句名言一樣:「科學只能證明存在,無法證明不存在,不能證明不存在的東西,你就不能說明它不存在。」
而當這一切發生在魔法界的時候,洛夫古德一家以及《唱唱反調》無疑就是最為貼切的案例——無論是「彎角鼾獸」、「騷擾虻」,亦或者是什麼「月亮青蛙」,「長著章魚觸鬚的巨人」,都是同樣的道理。
咔噠。
就在謝諾菲留斯?洛夫古德繼續在腦海中努力檢索著關於「謊言藥劑」的信息時,只聽見身前傳來一聲輕輕的門扉合上的聲音,以及一句從門縫中飄出來的話語。
「盧娜,來,我帶你參觀一下拉文克勞的休息室。」
「嗯?等等……」
謝諾菲留斯?洛夫古德有些茫然地抬起頭,左右看了看。
本章未完,點選下一頁繼續閱讀。