第389章 数理新纪元(2/2)
心空间的专属几何规范。
以及完成公理体系自洽性与完备性的闭环证明。
只有完成这些,才能够搭建形式证明空间几何专属的底层公理地基,完成核心空间概念的专属定义,让后续不变量建模、机械化证明、命题空间所有研究都建立在严谨、统一、自主的公理化体系之上,彻底脱离传统几何与逻辑体系的框架束缚。
“清河,下课了!”
这些内容,叶清河在现实做起来太耗时间、太费劲,所以他进入了意识空间,对其进行反复的操作验证。
这样导致的结果就是,在周婉儿、苏妙儿以及何欢等人的眼里,叶清河不断地点开平板调用文件,不断地指挥房间里的机械手臂去帮他拿各种文献,中途只是偶尔会闭眼思考一下,然后迅速又翻找起资料。
翻找资料的速度就像跟闹着玩似的,迅速翻阅之后,就让机械手臂给还了回去。
“这就是天才的速度吗?”
以及完成公理体系自洽性与完备性的闭环证明。
只有完成这些,才能够搭建形式证明空间几何专属的底层公理地基,完成核心空间概念的专属定义,让后续不变量建模、机械化证明、命题空间所有研究都建立在严谨、统一、自主的公理化体系之上,彻底脱离传统几何与逻辑体系的框架束缚。
“清河,下课了!”
这些内容,叶清河在现实做起来太耗时间、太费劲,所以他进入了意识空间,对其进行反复的操作验证。
这样导致的结果就是,在周婉儿、苏妙儿以及何欢等人的眼里,叶清河不断地点开平板调用文件,不断地指挥房间里的机械手臂去帮他拿各种文献,中途只是偶尔会闭眼思考一下,然后迅速又翻找起资料。
翻找资料的速度就像跟闹着玩似的,迅速翻阅之后,就让机械手臂给还了回去。
“这就是天才的速度吗?”