它不是单纯的符号推演结果,而是证明过程中不可被规约、不可被替换的核心逻辑属性。
这一步打通,算是终于筑牢了强对偶问题的逻辑根基。
“第一个难关算是解决了!不错!”
叶清河非常满意地长舒一口气。
研究这个问题这么久,总算是有了实质性的进展,不再像之前一样,被困在问题之外打转。
看了一眼时间,叶清河发现自己在这个问题上花的时间居然超过了八小时。
“时间真的是不够用啊,也就是在意识空间里,要是在现实世界里,自己身体恐怕早就承受不住了。”
叶清河感叹一声。
对于研究人员来说,时间永远是最大的对手。
.............................
“周婉儿你是不是又偷尝禁果去了?我跟你说,这个事情要适度,不能太频繁!叶清河毕竟是病...“
周婉儿一回到屋里,苏妙儿看她脸上的样子,就一脸坏笑的叮嘱道。
“你以为谁都像你一样,满脸子黄色废料?我什么都没干!”
周婉儿不等她说完,抓起床上的枕头扔了过去。
虽然刚才的场面确实有点让她受不了,但是她真的什么过线的事情都没有做。
“什么都没干你脸红什么?你不会回我一句精神焕发吧?”
苏妙儿撇撇嘴。
那一脸春潮涌动的样子,说自己什么也没干,谁信呐!
“就是热气,对,是热气蒸的!”