格格党

手机浏览器扫描二维码访问

第346章 真討厌（第1页）

而这第一步，也不是那么容易的。

需要补全强对偶定理的適用边界，夯实形式证明空间几何的公理基础。

需要进行全域推广，覆盖复杂场景，確定適配方案，消除盲区，搭建体系，定义概念，明確规则，构建框架等等。

做完这些，还有第二步不变量与分类体系攻坚，第三步机械化形式证明框架攻坚，第四步疑难几何命题专项形式化攻坚，第五步自洽性与独立性底层攻坚等等。

每一步都不是那么容易的。

好在这个公理是叶清河自己证出来的，別人做这个事情可能很难，但对他来说驾轻就熟。

“本次推演基於已证的光滑紧致拓扑空间下，逻辑－几何强对偶定理，核心前提为：设p为一阶相容形式证明系统，m为有限维光滑紧致无边拓扑流形（对应抽象几何空间），存在对偶同构映射∮：p→m，满足保逻辑推演－保几何拓扑双等价性，即形式证明的句法推演等价於几何空间的连续映射，证明的相容性等价於几何空间的单连通无奇点性。

.....”

“假设几何空间m?为带奇异度量的黎曼流形，即存在点p∈m?，使得度量张量的协变导致....

.....”

叶清河在草稿纸上，一步一步推演著非光滑空间（度量张量奇异）、带边界空间（流形边界非空）、非紧致空间这些问题。

当一个人专注时，就会忘记了时间，就算这里还有周婉儿，但是叶清河已经感受不到了，就算周婉儿中途起来，到他身边给他把水杯里的水续满，他也没有察觉到。

“清河，该休息会了，到中午吃饭时间了！”

看看时间已经到了中午一点，叶清河还是没有一点休息的意思，周婉儿只能来到叶清河身边拍拍他，打断了他的推演。

此时桌面上的草稿纸已经堆了厚厚的一叠，每个上面都写满了周婉儿看不懂的內容与公式。

“哦？好！”

叶清河抬头的时候，眼里还有点懵，反应过来后，点点头，活动了活动因长时间书写而发酸发胀的右手手指。

本书首发读小说就上101看书网，101??????.?????超顺畅，提供给你无错章节，无乱序章节的阅读体验

意识空间之中，不管他写多久都不会有肉体上的疲劳，现实就不行了，推演的时间久了，不仅是手指，脖子还有手臂这些他有知觉的身体都会有酸疼感。

“我先给你按一按吧，以后不能让你这么长时间的工作了，你身体什么情况你不知道啊？要是这么下去，什么时候能完全恢復？”

周婉儿语气里满是抱怨。

虽然知道叶清河是在做正事，但是她更在意的是叶清河的身体。

说著话，也不管叶清河的反应，推著叶清河就到了旁边的休息室。

二楼书房边上也是有著卫生间以及休息室的，只是没有楼上的大。

把叶清河从轮椅上抱到床上，周婉儿开始细致认真地给叶清河按了起来。

“婉儿，谢谢你，真不知道我上辈子是不是拯救了银河系，才让我碰到你！”

看著周婉儿认真的样子，叶清河没忍住，张嘴说出了心里话。

“切！

那我一定是干了什么十恶不赦的事情，才让我碰上你！”

虽然心里已经甜成了蜜，但是面上周婉儿白了叶清河一眼，一脸的嫌弃。

叶清河这个傢伙，今天是不是吃错药了？

怎么突然说这么肉麻的话！