主题:
字号:
16
行距:
2.0

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

“清河,你睡了?”

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

“还没有,怎么了?”

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

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

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

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

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

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

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

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

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

但叶清河拒绝了!

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

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

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

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

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

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

“我....”

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

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

CS:从觉醒死神之眼开始
传奇海鲜
全球觉醒:开局加入聊天群
飞翔的四眼
被夺一切后我成了仙道魁首
盛唐无夜
四重分裂
微叶梧桐
前世被团灭?重生拉着残王入洞房
莫亦昔
巫师的地位,超然无上
牧狐
文豪1983
小时光恋曲
人在洪武,从逆党做起
抽象派作者
财富自由:从三十开始
静候轮回
东北天城之礼铁祝
礼铁祝
师娘,求放过啊
醉卧沙场
第四天灾就没有正常的
中二的毒牙
他比我懂宝可梦
三星小火龙
医路官途
帷赫
我和我的九个绝色师父
醉生梦死
相国在上
上汤豆苗
重生:我是县城婆罗门
李暮歌
两界高武:收束诸天成大罗
青蚨门下走狗
拈花问鼎
凤轻
民间风水禁忌
熊猫大侠
重回1982小渔村
米饭的米
公若不弃,愿拜为义父
辣酱热干面
穿越,然后被富家JK堵门
晚不鸽
修仙界只有妖女了是吗
月下千早
四合院之扮猪吃老虎
戈壁孤狼夜
半岛头号玩咖!
HKDoll
秦时小说家
偶米粉
以一龙之力打倒整个世界!
唐宋元明氢
美警生存实录:以德服人
夜叶总差
发薪就能变强,我有十亿员工!
今月曾经照古河
大明:从战场捡属性开创诸天大明
无谅888
税收只在机枪射程内!
践行践远
不能开高达那我还参什么军!
幽灵从不迷路
混沌天帝诀凌峰苏琳
剑轻阳
魔王大人深不可测
晨星LL
第四天灾从不相信钢铁洪流!
喀秋莎第一可爱
人在斗破:天赋绝世竟带系统
仪昔
超武斗东京
木隐红尘
诸天:谁把他放进恐怖片的?
三维的乱象
F1:车神养成日记
诸位贱笑了
从梁祝开始燃烧世界
小黑帽
嫡明
戈昔
人在峨眉,开局获取金色词条
黑白大团子
坐忘长生
飞翔的黎哥
白手起家,蝙蝠侠干碎我的致富梦
火星咖啡
斗罗:三位一体,我贯穿了时间线
我不开挂
谁教他这么复国的
星罗封陈
别打扰邪术师搞科研
一枚有趣的土豆
穿越七零做外贸
青铜老五
精灵:开局格斗馆主,被娜姿缠上
今天洛尘涅槃了么