一秒记住【顶点小说】
dingdian365.com，更新快，无弹窗！
第346章真讨厌！(第1/2页)
而这第一步，也不是那么容易的。
需要补全强对偶定理的适用边界，夯实形式证明空间几何的公理基础。
需要进行全域推广，覆盖复杂场景，确定适配方案，消除盲区，搭建体系，定义概念，明确规则，构建框架等等。
做完这些，还有第二步不变量与分类体系攻坚，第三步机械化形式证明框架攻坚，第四步疑难几何命题专项形式化攻坚，第五步自洽性与独立性底层攻坚等等。
每一步都不是那么容易的。
好在这个公理是叶清河自己证出来的，别人做这个事情可能很难，但对他来说驾轻就熟。
“本次推演基于已证的光滑紧致拓扑空间下，逻辑－几何强对偶定理，核心前提为：设P为一阶相容形式证明系统，M为有限维光滑紧致无边拓扑流形（对应抽象几何空间），存在对偶同构映射∮：P→M，满足保逻辑推演－保几何拓扑双等价性，即形式证明的句法推演等价于几何空间的连续映射，证明的相容性等价于几何空间的单连通无奇点性。
.....”
“假设几何空间M为带奇异度量的黎曼流形，即存在点P∈M，使得度量张量的协变导致....
.....”
叶清河在草稿纸上，一步一步推演着非光滑空间（度量张量奇异）、带边界空间（流形边界非空）、非紧致空间这些问题。
当一个人专注时，就会忘记了时间，就算这里还有周婉儿，但是叶清河已经感受不到了，就算周婉儿中途起来，到他身边给他把水杯里的水续满，他也没有察觉到。
“清河，该休息会了，到中午吃饭时间了！”
看看时间已经到了中午一点，叶清河还是没有一点休息的意思，周婉儿只能来到叶清河身边拍拍他，打断了他的推演。
此时桌面上的草稿纸已经堆了厚厚的一叠，每个上面都写满了周婉儿看不懂的内容与公式。
“哦？好！”
叶清河抬头的时候，眼里还有点懵，反应过来后，点点头，活动了活动因长时间书写而发酸发胀的右手手指。
意识空间之中，不管他写多久都不会有肉体上的疲劳，现实就不行了，推演的时间久了，不仅是手指，脖子还有手臂这些他有知觉的身体都会有酸疼感。
“我先给你按一按吧，以后不能让你这么长时间的工作了，你身体什么情况你不知道啊？要是这么下去，什么时候能完全恢复？”
周婉儿语气里满是抱怨。
虽然知道叶清河是在做正事，但是她更在意的是叶清河的身体。
说着话，也不管叶清河的反应，推着叶清河就到了旁边的休息室。
二楼书房边上也是有着卫生间以及休息室的，只是没有楼上的大。
把叶清河从轮椅上抱到床上，周婉儿开始细致认真地给叶清河按了起来。
“婉儿，谢谢你，真不知道我上辈子是不是拯救了银河系，才让我碰到你！”
看着周婉儿认真的样子，叶清河没忍住，张嘴说出了心里话。
“切！那我一定是干了什么十恶不赦的事情，才让我碰上你！”
虽然心里已经甜成了蜜，但是面上周婉儿白了叶清河一眼，一脸的嫌弃。
（本章未完，请点击下一页继续阅读）第346章真讨厌！(第2/2页)
叶清河这个家伙，今天是不是吃错药了？
怎么突然说这么肉麻的话！
真讨厌！！
“哈哈哈哈！这也说不准！！你到我这里可能是报恩赎罪...”
“来，我现在给你报！给你赎！！！”
叶清河话没说完，周婉儿伸手在他胳膊上掐了起来，掐一下说一句。
“疼！！疼！！婉儿，我说错话了！是我来报恩赎罪的！是我！是我！！”
叶清河立马喊疼求饶道。
“还报恩赎罪？我掐不死你！！”
停手后，周婉儿笑着一边给叶清河揉着被掐的地方，一边娇嗔道。
“是我错了！我这个不会说话，但是婉儿，我是真心想对你说谢谢！遇到你，可能就是我这辈子最大的福份！”
叶清河静静的看着周婉儿，眼含温柔的道。
这样的一个宝藏女孩，也不知道自己到底是积了多少辈子的德，才能让自己遇到！
“谢就免了！以后少气我就行了！”
眼角明明都已经压不住开心，可是周婉儿的嘴还是硬的。
她心里突然闪过来之前，她爸跟她说的，叶大力提议的事情。
如果叶清河这辈子就这样了，自己愿意一辈子照顾他么？
许是愿意的！
再坏还能比之前更坏么？
最起码现在清河已经有了一些自理能力，并且越来越好！
那个时候自己都没有放弃，现在会放弃么？
不会！
那时候只能挤在那么小的屋子里，自己都愿意，现在自己又怎么可能不愿意？
是！
她能理解她爸的想法！
为人父母，都是为子女计！
可是她真的认定了叶清河，不管叶清河是什么样子，她都认定了。
或许在幼儿园里，他第一次站到自己身前介绍自己，第一次拉着自己的手，把自己从胆小害怕中带出来的时候，第一次护在自己身前的时候，这一切就已经注定了吧！
“你这话怎么说的跟个老妈子似的？”
叶清河并不知道在这一刻周婉儿心里想到了什么，笑着打趣道。
“我本身就是老妈子啊，天天照顾你吃照顾你喝，一把屎一把尿的把你喂大...”
“噫！！你太恶心了，这话听着怎么像用屎尿喂我一样，你不会趁我不注意真这么干吧？”
“没错，就是这么干的，既然你发现了，那我也不装了，摊牌了！”
“周婉儿！！你太恶心了！”
“恶心？我给你来个更恶心的！”
“你离我远点！”
“就不！来....”
休息室里，两人笑闹成一团，就像当年他们在学校里的时候，虽然话里全是嫌弃，可是感情却是真挚如火的。
本来叶清河想的是，就点个外卖，在楼里吃算了，可是因为他长时间不动，也没有出去，周婉儿说什么也不愿意，推着他就出了门。
“你必须得多出去透透风，晒晒太阳，呼吸呼吸新鲜空气！”