第278章 数学底层基础问题(1/3)

首发：~第278章 数学底层基础问题

一直以来，国外的黑客进入华夏都如入无人之境。

是想来就来，想走就走。

虽然后面华夏红客一点点夺回地盘，在很多领域已经达到最顶尖的水平，让这些黑客不敢再像之前那样，可是因为这些技术的根发源于国外，所以先天上这些国外的黑客总是有一种高人一等的感觉。

如今攻守易形，每个网络中心的人都有一种扬眉吐气的感觉。

唯一让他们有些遗憾的是，这些东西不能公开出去说。

让他们有种富贵不还乡的感觉。

................................

叶清河这边，吃过饭，回到屋里，他语音控制打开平板，继续看起了数学方面的资料。

在解决了P＝NP问题后，他要解决的形式证明空间几何问题，只算是解决了其中一个难点。

复杂度壁垒、指数爆炸、搜索不可行，这些问题全部消失。

但是依然存在着很多非常硬的难度问题。

证明等价关系的严格数学基础。

商空间的拓扑良定性。

度量的格格性与连续性。

无限维黎曼结构的存在与光滑性。

测地线唯一性与强凸性。

逻辑不变量??几何不变量的对偶。

跨领域、跨逻辑系统的统一性。

在这些问题中，有一个真正最难，最底层，一旦卡住就会让整个理论彻底不成立的问题。

逻辑不变量??几何不变量的强对偶刻画。

这个问题的全称是：证明论意义上的逻辑不变量，与证明空间黎曼几何不变量之间，能否建立双向完全决定、无信息损失、全域一致的一一对应。