,无一例外的友好的打了个招呼,然后有意无意的缀在王崎后面,好像要看他准备鼓捣什么。
王崎悄悄问道:“这是准备做什么?”
“大约是准备看你想要借什么书?”苏君宇也小声道:“你现在的研究,也能够在一定程度上代表算学的大方向啊。”
算君横压一时的时代,万法门的主流就是拓扑。算君前往星海彼岸、算主如日中天的年代,万法门修士们关注的点又多是逻辑。现在,王崎两篇论文挑翻了算主之后,万法门便失去了一个“大方向”。算君的拓扑、混沌,歌庭派的“破局之法”,还有冯落衣图灵真人的递归、万有等等,几乎是百花齐放。
如果不是王崎自己失踪了一年,兴许也会卷入这一场大讨论当中。
王崎声音大了些:“哦,这个也没什么秘密可言。我这次就是想借阅……算君的代数拓扑——主要是单形代数拓扑;算君多复变变天论法,若澈仙子的形而上代数法——尤其是群论,同调和同伦这一块更是重中之重……”
他就是故意让别人听见的。
苏君宇听到一半觉得有点不对:“等会,等会等会……兄弟,这和你之前的研究不大一样吧?”
王崎之前最出名的就是“逻辑”。他的功法是算器基础,而算器之论就是来自于逻辑。他成名的“完备律”是逻辑。而代表他战胜前辈的“不完备”“不可判定”也是逻辑。
在这个领域,他已经是绝对的强者了。
但是,王崎刚才报出的几个,都和这些研究方向无关。<>
当然,也不能说完全无关。当年算主想要用集合论包
第二百一十七章 格罗滕迪克(2/6)