第318章 逻辑-几何强对偶问题第一关（2 / 3）
是华夏专门为了他们这种人设下的陷阱！
可惜啊！
这些陷阱虽然很完美，但对於他莱恩来说，还是差那么一点点！
是的，差一点点，这些人就能够骗过他了。
莱恩很得意！
这些把戏在他眼里就像是小儿科一样！
“不过，既然这边有陷阱，京大那边应该也有著严密防御措施，可不能大意，不然用华夏的话说，就会阴沟里翻船！”
就算看穿了敌人的招数，莱恩也不敢有一丝大意。
他可不想退休了再被人给干掉。
看了看暗网上那些物流巨头再次加码的悬赏金额，莱恩理解自己这位老友为什么会一头扎进去了。
这金额太诱人了啊！
“先想办法看能不能找到发明人，拿到发明专利，之后再用这个条件把威廉换出来应该不难。”
莱恩清楚，想要在华夏找到关押威廉的地方太难了。
这里不比其他国家，想要救人太难了。
最好的办法就是找到可以跟华夏交易的东西，把威廉换出来。
不过，既然发明专利到了自己手里，肯定不能只换威廉。
...................................
意识空间里，叶清河站在四面全是哑光白板的书房里，看著上面写下的密密麻麻的逻辑符號、几何推演线条。
在白板周围还堆放著半人高的各类学术专著以及顶刊论文。
这些都是他这段时间快速用过目不忘技能记下来的，在意识空间中他將其具象化成了书籍。
泛黄的是那些古籍，崭新的是最新刊印的前沿论文。
別看他已经站在p＝np的学术巔峰，但是对於逻辑－几何强对偶这一数学地基级难题，还是需要大量的时间。
这道题没有技巧性解法，想要解开，只有打通数理逻辑、微分几何、范畴论三大领域的底层壁垒。
需要的是探寻数学本质的同源性，稍有一点点偏差，就会满盘皆输。
叶清河解这个问题的第一步，是重构数理逻辑证明论的底层根基。
这是整个难题的逻辑起点。
也是第一道难以逾越的天堑。
他从零啃透一阶逻辑体系，深入钻研同伦类型论的核心內核，想要釐清形式证明的本质结构。
事实上，很多前人的研究对他还是造成了一些干扰的。
比如將语法的机械变换与推理的逻辑本质混为一谈。 ↑返回顶部↑
可惜啊！
这些陷阱虽然很完美，但对於他莱恩来说，还是差那么一点点！
是的，差一点点，这些人就能够骗过他了。
莱恩很得意！
这些把戏在他眼里就像是小儿科一样！
“不过，既然这边有陷阱，京大那边应该也有著严密防御措施，可不能大意，不然用华夏的话说，就会阴沟里翻船！”
就算看穿了敌人的招数，莱恩也不敢有一丝大意。
他可不想退休了再被人给干掉。
看了看暗网上那些物流巨头再次加码的悬赏金额，莱恩理解自己这位老友为什么会一头扎进去了。
这金额太诱人了啊！
“先想办法看能不能找到发明人，拿到发明专利，之后再用这个条件把威廉换出来应该不难。”
莱恩清楚，想要在华夏找到关押威廉的地方太难了。
这里不比其他国家，想要救人太难了。
最好的办法就是找到可以跟华夏交易的东西，把威廉换出来。
不过，既然发明专利到了自己手里，肯定不能只换威廉。
...................................
意识空间里，叶清河站在四面全是哑光白板的书房里，看著上面写下的密密麻麻的逻辑符號、几何推演线条。
在白板周围还堆放著半人高的各类学术专著以及顶刊论文。
这些都是他这段时间快速用过目不忘技能记下来的，在意识空间中他將其具象化成了书籍。
泛黄的是那些古籍，崭新的是最新刊印的前沿论文。
別看他已经站在p＝np的学术巔峰，但是对於逻辑－几何强对偶这一数学地基级难题，还是需要大量的时间。
这道题没有技巧性解法，想要解开，只有打通数理逻辑、微分几何、范畴论三大领域的底层壁垒。
需要的是探寻数学本质的同源性，稍有一点点偏差，就会满盘皆输。
叶清河解这个问题的第一步，是重构数理逻辑证明论的底层根基。
这是整个难题的逻辑起点。
也是第一道难以逾越的天堑。
他从零啃透一阶逻辑体系，深入钻研同伦类型论的核心內核，想要釐清形式证明的本质结构。
事实上，很多前人的研究对他还是造成了一些干扰的。
比如將语法的机械变换与推理的逻辑本质混为一谈。 ↑返回顶部↑