蕾依丽雅从手中拿着厚厚叠期刊里抽出两本:“这个月讨论热点是老师您《数理基础》,最最受关注是理发师悖论,它被称为数理领域大危机。”
虽然在路西恩调教下,她也擅长数理,但本质上她还是元素和炼金领域奥术师,对数理是应用多于研究,所以说到“数理领域大危机”时,她并没有高塔奥术师那样焦急徘徊迷茫模样,反而多少许看热闹不怕事大兴奋。
路西恩接过《奥术》和《自然》,发现议长阁下、老师、海瑟薇婆婆等大奥术师都专门针对《数理基础》写论文,方面充分地肯定《数理基础》在数理发展上重要作用,对因此而成形众多数理分支做不同程度研究,另外方面,他们都不约而同地指出,理发师悖论解决必须依赖于集合论本身发展,依赖于对它严格定义。
虽然在路西恩写出《数理基础》之前,魔法议会尚没有彻底成形集合论体系,但很多擅长数理奥术师都已经认识到,从集合论出发,结合其他概念,能够建立起整座数理宫殿,它是所有数学成果基石,所以不仅大奥术师们希望在严格定义避免悖论同时,保留当前集合论中切有价值内容,其他高塔奥术师论文也体现出这个观点。
只不过,他们论文又分别表现出各自不同倾向,部分奥术师是从数理等同于逻辑出发,以道格拉斯和海瑟薇为代表,另外部分奥术师则认为数理可以是完全形式化符号体系,不用具备任何实在内容,只要它们自身不矛盾,就可以研究下去,这种激进观点以费尔南多为代表,路西恩公理化体系概念也属于这类,除此之外,还有其他些倾向。
当然,这些倾向属于自身世界观和价值观范畴,很难判断谁就定正确,谁就肯定错误,它们都能促进数理领域发展,只不过在促进上有多有少。
“看来奥术师们并没有被理发师悖论吓倒,反而对研究如何解决这个问题充满动力。”路西恩呵呵笑道。
海蒂、切莉等人悄悄白老师眼,说好像理发师悖论不是您提出样。
随手翻翻,路西恩又看到预言者贝格纳关于“哥德巴赫猜想”论文,他承认暂时没办法证明,但认为可以步步靠近,先证明偶数可以表示成M个质数积加N个质数积,也就是先证明“M+N”,当M和N都被缩小到1时,问题也就解决。
“老师您猜想被戏称为证明‘1+1’,感觉很有趣,不过贝格纳阁下连‘9+9’都还没证明,距离解决它尚有很远距离。”海蒂笑嘻嘻地说道,“老师,您不会已经解决这
请关闭浏览器阅读模式后查看本章节,否则可能部分章节内容会丢失。