数学的进化，从自然数到图

在比较深入的考察了图论之后，我总算明白了为什么现在的数学如此怪异，一方面在某些领域研究极深，而另一方面在诸多深刻的问题上寸功未立。

因为数学的基础不对，自然数作为一切数学结构的基础已经过时了。这个论断非常的大胆，但其实早已经显示出问题了。

人们通常认为自然数是最适合人类的数字体系，在自然数的基础上人们发展出了极为丰富的数学世界，整数，有理数，实数，复数，以及依赖于这些数字的抽象代数，线性代数，微积分，函数论，还有最为基本的集合论。

尤其是集合论，他表现了一种天然的自然数结构，我可以一个又一个的列举出集合中的所有元素，对任意的集合都是如此，自然归纳法，超穷归纳法，几乎是所有数学定理的基础。一切的一切都建立在自然数的可列举性质上。

不过，在古代就有一个问题，为什么数论问题这么难求解，随着时间来到现代，随着抽象代数方法在经典难题，解方程上的应用，人们不断地发现难以理解的定理，莫名奇妙的巨大数字，复杂而层层嵌套的数学结构，这些对象的典型特征是无法一一列举，具有典型的非自然数结构。

随着范畴论的引入，人们获得了强有力的工具，可以尝试突破过去无法处理的问题，但是，留下的一个巨大问题是，范畴到底是什么东西？我们知道它非常有效，可是为什么如此有效？这个问题其实非常困难，但是又被人们普遍的忽略，因为只要遵循某种确定的处理流程，就能把一个复杂对象转化为简单的对象序列（同调），或者简单对象组合成的混合体（谱）。就像炼金术一般，现在，就是发掘炼金术中奥秘的时机了。

为何如此有效，因为范畴是特殊的图，自然数是极为特殊的图，相比于自然数而言，范畴前进了一大步，容纳了数不胜数的崭新的数学对象。他们在过去被视为不够好的，复杂而混乱的，然而，事实表明，他们反映了数学中更加基本的结构。

说来也巧，自从去年年底开始寻找新的数学，不断地去碰那些丑陋的数学对象，数论，不定方程，椭圆曲线，非线性微分方程，有限域上的算术，代数几何。反而发现，那些美丽的数学对象太假了，就像人工雕刻出的水晶球，虽然完美，但是过于局限。自然中的嶙峋怪石，虽然复杂难言，却具有别样的美。

---

抒情的话，暂时打住，下面给出一些具体的理由，毕竟判断依赖于事实，而不是言语。

1.图论非常复杂，范畴的基础就是图论，所以范畴非常复杂。这里的复杂包含的意味是更多的结构，回想起我们学习微积分时常用的手段，构造自然数序列，使用序列去毕竟实际的函数，这里的结构就是序列，包括子序列，函数序列，或者双重多重序列，但是，绝对不会包含，不等长的非平凡序列。这种序列往往被称为同调，同调是非平凡的对象分解，而且分解之后每一个层级都是非平凡的，具有复杂的代数结构。所以，我们就能发现，传统的数学研究，是非常受限的，其中暗含了一种信念，自然数序列，或者自然数函数序列可以遍历所有可能的结构，而且我们有能力运用这种表示方法的全部威力。

实际上，我们都知道，不过是一种妄想，因为自然数本身是复杂的，数论告诉我们自然数可以允许无穷非周期结构，从基数的角度看，所有的自然数序列都是无穷非周期的，而我们根本无法描述，更别说使用了。这种虚假的信念就导致我们所使用的序列，相比于序列全体微不足道。这也是为什么几乎所有的问题都是不可解决的。人们高估了自己的能力。

图论就是通过最直接的方式打破人们的幻想，即使对于有限图，人们未知的东西多的惊人。更不用说无穷，相比于真正的无穷，人们现在构造出来的玩意还不如玩具。

2.自然数思维的根深蒂固，主要反映在集合论上面，人们对集合中元素的穷举手段极其匮乏，选择公理其实早已隐晦的提醒了人们这一点，无穷非平凡，但是，人们基于信念认为所有的集合都可良序化，所有的集合都可穷举，甚至固化为一个公理，可以这么说，只要承认选择公理，人们的思维必然受限，因为公理是强约束，直接拒绝所有不符合公理的情形。这也是为什么这个问题如此显著，但是人们普遍不会承认，一直保有这样的信念，不符合选择公理的情况是特殊的，是例外。事实上，符合选择公理的数学对象才是特殊的。

3.公理方法的滥用，自从数理逻辑发展和公理化运动的开展，数学就在逐渐失去可理解性，数学的每一步都是符合公理和逻辑推理原则的，可是整体图像却越来越模糊，以至于完全不可理解。尤其是各种存在性定理，只要遇见了，几乎就无法看懂了。而只能将其视为某种“显然”的过程。可以说，现在学习数学，就是一步步成为定理的熟练工，虽然有极大量的疑惑，但是从逻辑上没有丝毫的问题，从而这些疑惑也不应该是问题。无论是请教老师，还是发起提问，收获的几乎都是定理的证明，而很少有直观理解。人们似乎普遍认为数学是不可理解的。这是非常荒谬的，因为相比于科学直面一个复杂世界，数学可是从基本对象开始一步步建立起来的，无法理解是不可能的，即使一个个的列举所有情况也能给出一个基本的图像，即使这个图像过于复杂。

---

之前我谈到，人们完全不想去研究这些东西，因为过于繁琐而复杂，数学更像是对理想世界的描绘，人们想要的是符合自己想象的数学。这是学习数学的困难，也是学习一切陌生知识的困难。因为需要打碎已有的思维结构，构建新的符合事实的结构，这个过程是痛苦的。

具体的看法，弱化集合论的影响，使用范畴论为数学基础，但是，必须使用图论的复杂性打碎人们对数学的幻想，不然在理解上难以摆脱思维惯性，将无穷的复杂性提升到基本的程度，直面无穷非周期现象的普遍存在。如此，至少能获得对数学更加进步的认识。对于同调，环谱等复杂代数构造接受度会更高。

当然，这是为先行者准备的，大规模铺开是不可能的。在今天，线性代数和微积分几乎变成了实用技能，距离当前的这一步差距还是很大的，下一步或许是拓扑，泛函，抽象代数，再下一步是同调代数，微分几何，然后是数论，代数几何，范畴论。假如一步为二十年，加起来，数学早已发展成另一番模样了，这些经验也就失去价值了。比如更加可能的未来是，AI大范围进入数学研究中，毕竟计算是AI的强项，数学实际上就是计算。