拉文克劳学院最著名的格言就是,“过人的智慧是人类最大的财富。”
无论是鹰环、学生、乃至于学院风格和环境,无一不在显示着他们对于知识的渴望,以及那宛如天空般无拘无束、天马行空的智慧与思想。
然而,除此以外,艾琳娜恰好听过另外一句话——数学是人类智慧皇冠上最灿烂的明珠。
纵观人类文明悠久的历史长河,至少有一半以上充满哲理的思考和问题,都与某些数学逻辑之间有着奇妙的联系。事实上,在几百年以前,人们还把数学叫做自然哲学。
“我们并不是在为难学生们,只不过是传递知识,让哲学思考的光辉重新笼罩在拉文克劳公共休息室之中而已……”
艾琳娜看着双眼发直的谢诺菲留斯?洛夫古德,摇了摇头,轻笑着说道。
就在刚才,她稍微更新了一下青铜鹰环的题库,讲述了几个有意思的逻辑小故事。
而经过了这几次与青铜鹰环的沟通之后,艾琳娜初步判定拉文克劳的鹰环其实更类似于一种比较原始的初级ai——具有一定的思考能力,以及信息录入、判断、输出功能。
这也就意味着,它并不能胜任复杂数学任务的自主推演。
换而言之,如果想要让鹰环提出理发师悖论,也就是罗素悖论的话,首先她需要帮助鹰环完成这个问题至少一个的标准答案——比如说,完整阐述哥德尔不完备定理——才能让青铜鹰环在“内置逻辑”中将“理发师悖论”加入到题库之中。
当然,如果她真的那么做了,可能拉文克劳学院的学生们今年就别想再回宿舍睡觉了。
所以艾琳娜稍微斟酌了一下之后,还是选择从一些比较基础的地方开始灌输。毕竟霍格沃茨绝大部分小巫师的数学基础,可能还达不到欧洲小学毕业生的平均水准。
“我还是不明白,这个世界真的有只会说谎话和真话的村子存在吗?”
谢诺菲留斯?洛夫古德揉着额头,努力思考着艾琳娜刚才给青铜鹰环“更新”的其中一道经典例题——站在岔路口,负责指路的两人,只有一次提问机会的话应该怎么提问……
“当然存在。”艾琳娜毫不犹豫地点了点头,“或者说,您就理解为,其中一个村子的人日常饮用水全是吐真剂,而另一个村子的人日常饮水全是谎言药剂就可以了。”
“谎言药剂?那是什么,我怎么不知道有这种东西……”
谢诺菲留斯困惑地挑了挑眉。
“噢,您理解为一种与吐真剂相反的魔药就好了。”
艾琳娜摆了摆手,随口将这个她临时胡诌的魔药糊弄了过去。
反正大千世界无奇不有,证明一件事物不存在,永远比证明一件事物存在要困难得多。
正如同爱因斯坦说过的那句名言一样:“科学只能证明存在,无法证明不存在,不能证明不存在的东西,你就不能说明它不存在。”
而当这一切发生在魔法界的时候,洛夫古德一家以及《唱唱反调》无疑就是最为贴切的案例——无论是“弯角鼾兽”、“骚扰虻”,亦或者是什么“月亮青蛙”,“长着章鱼触须的巨人”,都是同样的道理。
咔哒。
就在谢诺菲留斯?洛夫古德继续在脑海中努力检索着关于“谎言药剂”的信息时,只听见身前传来一声轻轻的门扉合上的声音,以及一句从门缝中飘出来的话语。
“卢娜,来,我带你参观一下拉文克劳的休息室。”
“嗯?等等……”