……
陈由嘉这一两天都在苦读论文。
论文这种东西并不是那么好阅读了。除了不周之算那种以逻辑本身对逻辑形成毁灭性打击的论外之外,大多数论文都异常难度。每一个句子,每一个段落,都需要思考。
算主的思路、冯落衣的研究,都是她现在主攻的方向。
基派也是离宗,而冯落衣则是算器理论的开创者,算理逻辑更是算器的基础。
所以陈由嘉觉得,这或许是一个方向。
当然,更多的原因还是……
她实在是没辙了。
现有的算器理论,基派理论,陈由嘉都懂一些。她天赋确实不错。
但是想要结合两者……她根本就没有头绪。
所以,她也只能本着“随便试一试”的心态,沿着冯落衣的思路去想,去钻研,以把握算器理论的发展方向。算主的“两个思路”,就是目前算理领域的大热门。冯落衣,图灵都有意于这一块,那么这一块说不定就与算器理论息息相关。
她也只能从这种程度的资料上推算了。
算主的两个思路当中,苏君宇已经沿着“相对一致性”在走了。那么,与苏君宇同属一派的她,尝试走“断自指”的道路,就可以避免重复研究。
冯落衣确实是王崎的老师,但是说实话,冯落衣对王崎指导,更多的还是在“算器”这一块上。纯粹算学领域,王崎是从“一阶逻辑完备定理”到“不完备定理”再到“结构主义”这样一路走过来,纯以此领域而论,已经超过冯落衣了。
王崎和冯落衣在算学思想上确实有继承与延伸,但是却并不完全相同。
而身为基派成员的陈由嘉,也确实学得很吃力。