“这里好棒！”
被桃子带着上楼的叶大力正好看到三条机械臂来回移动取书放书的动作，一脸惊叹地站在原地。
这个画面他以前只在科幻电影当中看到过。
“确实很不错，以后想看个书什么的会方便不少。”
叶清河笑着转身。
“嗯，这个太方便了，现在都发展到这么先进了么？”
叶大力点点头。
三楼就没有什么可参观的了。
叶清河的办公室是一间超大的房间，里面除了一张大大的办公桌以外就是投影黑板还有机密文件柜这类保密的设备。
另外旁边还有专门的休息室，按摩室，以及洗澡桑拿等房间。
整个三楼，不对，应该说整栋三层楼就是为叶清河一个人使用的。
“真不错！”
叶大力在参观过程当中是不停的点头赞叹。
清木校园内，这么一栋独立幽静的建筑就这么让叶清河一个人使用了，学校也是真大方。
“行了，参观完了，我就先去公司了，这几天都不在公司，得去看看，桃子，你帮我照顾好清河。”
叶大力没有在这里多待，参观完后就离开了。
整栋楼里除了前台以外，就是桃子和叶清河两个人了。
在新的研究场所，叶清河适应了一下后，便在桌子上用草稿纸演算昨天未完成的研究内容。
桃子见状也不出声，只是默默地给叶清河倒上一杯水，放到他旁边，然后就站到了不远处，静静地看着叶清河，以保证叶清河有任何需要的时候，她都能第一时间响应。
昨天的无数次失败，让叶清河觉得自己得换个思路。
睡觉前他想到了一个办法，就是跳出纯技术推演的桎梏，转而用数学结构主义本体论尝试思考，去触碰难题的哲学本质。
打开桌上的电脑，把投影幕布降下来，叶清河调出希尔伯特纲领、逻辑主义与形式主义的核心思想，想从这里探寻数学结构的统一性本质。
事实上，这个想法是对的。
在将这些内容一字一句的读熟记到心里，他闭眼进入意识空间，花大量时间将这些内容领悟后，发现数理逻辑与微分几何从来不是相互独立的数学分支，而是数学本质的两种不同表达形式。
所有数学对象的核心都是结构，不变量则是结构本质的具象体现。
有了这个认知，他重新回归范畴论推演，以
…。。