手机浏览器扫描二维码访问
拉文克劳学院最著名的格言就是,“过人的智慧是人类最大的财富。”
无论是鹰环、学生、乃至于学院风格和环境,无一不在显示着他们对于知识的渴望,以及那宛如天空般无拘无束、天马行空的智慧与思想。
然而,除此以外,艾琳娜恰好听过另外一句话——数学是人类智慧皇冠上最灿烂的明珠。
纵观人类文明悠久的历史长河,至少有一半以上充满哲理的思考和问题,都与某些数学逻辑之间有着奇妙的联系。事实上,在几百年以前,人们还把数学叫做自然哲学。
“我们并不是在为难学生们,只不过是传递知识,让哲学思考的光辉重新笼罩在拉文克劳公共休息室之中而已……”
艾琳娜看着双眼发直的谢诺菲留斯?洛夫古德,摇了摇头,轻笑着说道。
就在刚才,她稍微更新了一下青铜鹰环的题库,讲述了几个有意思的逻辑小故事。
而经过了这几次与青铜鹰环的沟通之后,艾琳娜初步判定拉文克劳的鹰环其实更类似于一种比较原始的初级ai——具有一定的思考能力,以及信息录入、判断、输出功能。
这也就意味着,它并不能胜任复杂数学任务的自主推演。
换而言之,如果想要让鹰环提出理发师悖论,也就是罗素悖论的话,首先她需要帮助鹰环完成这个问题至少一个的标准答案——比如说,完整阐述哥德尔不完备定理——才能让青铜鹰环在“内置逻辑”中将“理发师悖论”加入到题库之中。
当然,如果她真的那么做了,可能拉文克劳学院的学生们今年就别想再回宿舍睡觉了。
所以艾琳娜稍微斟酌了一下之后,还是选择从一些比较基础的地方开始灌输。毕竟霍格沃茨绝大部分小巫师的数学基础,可能还达不到欧洲小学毕业生的平均水准。
“我还是不明白,这个世界真的有只会说谎话和真话的村子存在吗?”
谢诺菲留斯?洛夫古德揉着额头,努力思考着艾琳娜刚才给青铜鹰环“更新”的其中一道经典例题——站在岔路口,负责指路的两人,只有一次提问机会的话应该怎么提问……
“当然存在。”艾琳娜毫不犹豫地点了点头,“或者说,您就理解为,其中一个村子的人日常饮用水全是吐真剂,而另一个村子的人日常饮水全是谎言药剂就可以了。”
“谎言药剂?那是什么,我怎么不知道有这种东西……”
谢诺菲留斯困惑地挑了挑眉。
“噢,您理解为一种与吐真剂相反的魔药就好了。”
艾琳娜摆了摆手,随口将这个她临时胡诌的魔药糊弄了过去。
反正大千世界无奇不有,证明一件事物不存在,永远比证明一件事物存在要困难得多。
正如同爱因斯坦说过的那句名言一样:“科学只能证明存在,无法证明不存在,不能证明不存在的东西,你就不能说明它不存在。”
而当这一切发生在魔法界的时候,洛夫古德一家以及《唱唱反调》无疑就是最为贴切的案例——无论是“弯角鼾兽”、“骚扰虻”,亦或者是什么“月亮青蛙”,“长着章鱼触须的巨人”,都是同样的道理。
咔哒。
就在谢诺菲留斯?洛夫古德继续在脑海中努力检索着关于“谎言药剂”的信息时,只听见身前传来一声轻轻的门扉合上的声音,以及一句从门缝中飘出来的话语。
“卢娜,来,我带你参观一下拉文克劳的休息室。”
“嗯?等等……”
当抑郁症患者进入恐怖游戏 专业扮演 王妃他总是寻死觅活 豪门女配c位出道[古穿今] 【我英】每天都在思考如何包養 都市异能弃少 天王的宠儿 我又轰动娱乐圈 邪医狂妃:随身空间太逆天 毒后重生记 我家辅助超凶的! 港乐时代 炮灰女配苟成了女主 [快穿]渣男滚滚哒 我修无情道,师尊恋爱脑 暗卫快死了,求王爷饶他一命 神魔天下 大学生会除鬼很正常吧 我家夫人甜又野 不计其庶
开局继承一家道观,一人一观一聊斋,长生之法,天罡地煞护道,狐妖伥鬼僵尸纷乱的离国地界。收录伥鬼一只,奖励七十二地煞术之一通幽收录妖灵一只,奖励七十二地煞术之一斩妖收录器灵一只,奖励七十二地煞术之一剑术如果您喜欢聊斋从继承道观开始,别忘记分享给朋友...
终极妖孽简介emspemsp在特种部队的江尘因为为了给队友报仇,离开了野狼小队,为了给队友报仇,保护队友的家人,江尘踏上了寻找队友亲人的路PO18小说网(mpo18xswcom)提供终极妖孽最新章节全文免费阅读!。...
开局一口棺材。陈洛的穿越从灵堂开始。这是一个读书就能获得超凡威力的世界。...
花掉1000000亿简介emspemsp终极任务花掉10000000000000000元为什么花钱还可以获得成长果实and技能书?请问,这是花钱一时爽,一直花钱一直爽系统吗。抛去系统爽文的外衣,这还是一个温馨而有爱的故事。更多免费小说请收藏...
丞相,你锤子掉了简介emspemsp丞相,你锤子掉了是公子成七的经典其他类型类作品,丞相,你锤子掉了主要讲述了她是寒门女相,手握权柄,风流写意。他是朱门将军,掌天下军,鲜公子成七最新鼎力大作,年度必看其他类型。禁忌书屋提供丞...
乡村透视仙医简介emspemsp穷苦小子何永柱,获逆天传承,透视医术武术样样精通!他脚踩各路二代,怀抱绝色美人,成为世界上最耀眼的男人!何永柱日常生活白天种菜摸鱼,夜晚与大姑娘小美女深入交流。你们也想深入交流?排队!...