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