主题:
字号:
16
行距:
2.0

第410章 目光如火[1 / 3]

“清河,你睡了?”

穿着从苏妙儿那里借来的性感真丝睡衣,周婉儿缩着身体,用手向下拽着睡衣来到叶清河的房门前。

“还没有,怎么了?”

叶清河并没有睡,他只是在意识空间里针对形式证明空间后续的研究进行演算推理。

在完成基础理论完备化后,他需要进行核心不变量与分类体系的构建。

聚焦形式证明空间的量化刻画与系统分类,搭建专属研究标尺。

这个工作与前面的工作量相比一点也不轻。

一方面需要构建完整的形式证明几何不变量谱,建立证明长度、推理层数、公理依赖度、逻辑复杂度等证明属性,与几何贝蒂数、配边类、曲率、拓扑不变量的精准对应规则,实现形式证明过程的量化分析、直观判定。

一方面需要完成一致形式系统的体系分类,将所有无序矛盾的形式证明系统按几何拓扑特征划分等价类别,形成标准化分类体系,实现形式系统的快速归类、逻辑漏洞溯源、自洽性判定,解决传统形式证明无法统一分析的难题。

其实这个事情一般研究者都是组建一个团队来进行的,将很多工作都分成一块一块,交给不同的人去进行研究。

今天白天两位领导过来,也提过这个,说国家愿意为他专门建立一个服务于他的实验中心,把他解放出来。

任何研究工作,他都可以细分给下面的研究小组和研究员,让他们去干活,他只需要把控关键就可以了。

但叶清河拒绝了!

不是他不想用人,而是他觉得这些人会跟不上他的速度。

意识空间只是耗费心神,但是可以长时间不间断的进行各种演算,别人一个月的东西,他可能外界一闭眼一睁眼就研究完了。

现在只有他自己,他还可以说灵光一闪,要是手下有大量人员,他总不能总闪吧?

所以他以自己还是习惯一个人进行研究为由拒绝了国家组建实验室的要求。

不过,他并没有拒绝在成果出来后,国家针对他的成果成立成果落地小组。

这个东西,不是他擅长的,他也不愿意把时间花在这些上面,有那时间他更愿意去研究一些新的东西。

“我....”

周婉儿把门推开一个缝,把头伸了进去,身子并没有进去。

受苏妙儿蛊惑,她穿上了明显不合身的睡衣,并且从房间里走了出来,可是真到了叶清河门前,她又有一点不太好意思了

本章未完,请点击下一页继续阅读!

青云一品
纸扇江山
我在法兰西当王太子
天海山
重回1982小渔村
米饭的米
公若不弃,愿拜为义父
辣酱热干面
妖尾:我才不要当会长
想吃冰棒
穿越,然后被富家JK堵门
晚不鸽
修仙界只有妖女了是吗
月下千早
四合院之扮猪吃老虎
戈壁孤狼夜
半岛头号玩咖!
HKDoll
半岛小行星
鸡兔同笼
美警生存实录:以德服人
夜叶总差
诡异监管者
露馅的芝麻胡
发薪就能变强,我有十亿员工!
今月曾经照古河
大明:从战场捡属性开创诸天大明
无谅888
不能开高达那我还参什么军!
幽灵从不迷路
混沌天帝诀凌峰苏琳
剑轻阳
魔王大人深不可测
晨星LL
第四天灾从不相信钢铁洪流!
喀秋莎第一可爱
人在斗破:天赋绝世竟带系统
仪昔
超武斗东京
木隐红尘
噬恶演武,诸天除魔
温茶米酒
F1:车神养成日记
诸位贱笑了
从梁祝开始燃烧世界
小黑帽
人在峨眉,开局获取金色词条
黑白大团子
斗罗:三位一体,我贯穿了时间线
我不开挂
仙命在我
杜养吾
谁教他这么复国的
星罗封陈
别打扰邪术师搞科研
一枚有趣的土豆
精灵:开局格斗馆主,被娜姿缠上
今天洛尘涅槃了么
重生华娱,95小花养成日记
闻风太白
超凡崛起:开局契约银龙女伯爵
汤姆不吃糖
开局金风细雨楼主,一刀惊天下
升斗烟民
被夺一切后我成了仙道魁首
盛唐无夜
六十大寿来系统,儿子被退婚了!
九月有二
我靠烧香爆红娱乐圈
容焉
秦时小说家
偶米粉
从肝熟练度开始长生不死
乌鸦还是黑的好
战锤之黑皇帝
辣椒炒恶魔
华娱浪子,怎么被天仙改造了?
快出栏的猪
新概念诡道升仙
残酷厕纸天使
工业克苏鲁,从海岛领主开始
刀如故
星痕纹章
米里米里
娱乐:我就是顶峰
疑似风月
奶爸学园
剑沉黄海
狐妖诸天:开局反派大师兄
碧玉千仞
我儿快突破
日月齐天
都重生了,又当留学生?
暗黑祈祷
人间杂谈
余人官
诸天:谁把他放进恐怖片的?
三维的乱象
以神通之名
猪心虾仁