关于《哥德巴赫猜想》和《黎曼猜想》在数学上不可证明，在哲学上有解的进一步说明。

我们知道《黎曼猜想》和《哥德巴赫猜想》都是关于整数和素数的关系的认识。我们可以看到素数是整数中的一类只可被1和自身整除的数，整数的定义则完全不被素数限制。从以上定义中，我们可以看到素数都被规定为整数，整数包含素数且不被素数规定。在数学范畴中，整数和素数都是“无限”，但是相对于素数，整数是一种“无限制的无限”，素数是包含在“无限制无限”中的“有限性”。探讨整数和素数的关系，就是探讨“无限制的无限”和其中包含的“有限”的关系。

对于“无限制的无限”和“无限制无限”内的“有限性”的关系，我们很容易就可以认识到在哲学上，这就是探讨已久的“上帝”和“人”的关系。而“无限制的无限”和其中的“有限性”的关系，在哲学上是有着不同一性的关系，是不同质的。认识这二者的关系，其实是在哲学上也是终极追问。

我们知道数学的证明是建立在同一性的基础上，对于不同质的关系的认识其是超出了数学证明的范畴的，所以《黎曼猜想》和《哥德巴赫猜想》这样讨论“无限制的无限”和其内“有限性”的认识不是一个同一性的“数学证明”问题，而是哲学范畴的“上帝”与“人”的关系的问题，这在数学的“同一性证明”中是不可证的。

我们知道了这两个猜想其实是哲学问题后，我们先认识哥德巴赫猜想在哲学上是什么问题呢？哥德巴赫猜想的具体内容：”任一大于2的整数“都可写成”三个质数之和“。这个问题在哲学上相当于人再问：“上帝”是不是“万物相加”构成的。哲学上对这一问题的认识起自康德哲学“纯粹理性批判”的认识，他给出的解“上帝”是不是“万物相加”构成对“人”来说用遵循形式逻辑的知性逻辑思考是“不可知”。

接下来对《黎曼猜想》我们在哲学上怎么认识呢？《黎曼猜想》是一个试图认识整数中素数是怎么分布的问题。这在哲学上相当于人们在问“上帝”是怎么创造“人”的。哲学上对这一问题的认识可以说起自于黑格尔的“辩证法哲学体系”。黑格尔“辩证法哲学体系”以“绝对精神”为开端通过“质量度”及“正反合”的辩证运动阐述了“上帝”如何生成了“万物及人”，这是人类第一个以人的认识建立的第一个可能关于“无限的无限”生成“有限”既“上帝如何创造万物”的证明。但是这个证明的起点是不可认识的“绝对精神”（暨无限制的无限）的前提而建立的，其中有不可认识的成分，不算确定无疑的完成的完全证明。

最后，我创作的《实践哲学体系》是从人类的符号认识出发的唯物辩证法哲学体系，消除了黑格尔哲学体系中“不可认识”的部分，完成了从“有限的存在”通过矛盾概念的辩证运动生成“无限的无限”的认识，形成了人类的可以认识的“有限的存在”与“无限制的无限”的关系的认识，可以为人们解决《黎曼猜想》或者《哥德巴赫猜想》这类以数学形式建立的“有限的存在”和“无限制的无限”的关系的问题提供启发

补充一下，我在以上的说明里用到了“上帝”这个词，这个词在哲学认识里有人类能认识的“终极真理”的含义。大家不要只停留在理解成西方宗教意义上那个“耶和华”。

再补充一下，我觉得确实对于没有太深入进行哲学思考和认识的人来说，康德哲学和黑格尔哲学跟《哥德巴赫猜想》和《黎曼猜想》的联系不太能弄清。

那我就从理解最简单的一环开始，暨为什么《哥猜》和《黎猜》为什么在数学范畴上是不可证。我觉得这一点理解起来应该很简单，因为《哥猜》和《黎猜》的论证用知性逻辑或者说形式逻辑论证是不符合同一律和矛盾律。

我想我们大家都知道人类的数学知识是基于形式逻辑的同一律和矛盾律，如果一个命题是不符合形式逻辑的同一律和矛盾律，那用在数学知识体系内是不能论证的。

那我为什么能说《哥猜》和《黎猜》在数学上不符号同一律和矛盾律呢，还是我上面说的话，在《哥猜》和《黎猜》中整数是一种“无限制的无限”，素数是包含在“无限制无限”中的“有限性”。而且素数的”有限性“是”素数“自身规定的”有限性“，”素数“这种”的有限性“不像”奇数“和”偶数“的规定性是对”整数“的规定性，素数的规定性规定不了整数。

那么《哥猜》的命题：”任一＞2的整数可以写成3个质数的和“这个命题实际上就是在证明“无限制性的无限”可以被“包含于其中的”有限性“抵达，换句话说是在证明无限等于有限，这在知性逻辑或者说形式逻辑中其实是违反同一律和矛盾律的。

而《黎猜》的关于素数在整数中分布的证明，实际上是证明”无限制性的无限”中“可以限制自身的有限性”的分布，换句话是在证明“无限制性”的”限制性“，这个论证在知性逻辑或者说形式逻辑中我们说也是违反同一律和矛盾律。

综上，我们可以看到《哥猜》和《黎猜》的命题由于在知性逻辑或者形式逻辑中违反同一律和矛盾律，其实在数学上是不可证的。

那话又说回来，我们看到为什么这样的简单的问题，历来这么多数学家发现不了呢。我觉得是这两个命题中的非同一性是比较有欺骗性的，不懂一点康德以来的近代哲学可能不好发现。因为整数这种“无限制性的无限”包含素数这种“限制自身的有限性的”，这种包含让数学家觉得这两个命题可能是同一性的，但是在知性逻辑或者形式逻辑里是这两个命题是非同一性。在知性逻辑中，“无限制性的无限”不可被“限制自身的有限性”抵达（这是违反同一律和矛盾律的），这个论证是康德完成的。

那么“无限制性的无限”与“限制自身的有限性”的关系的认识就不是一种知性逻辑或者说形式逻辑的认识能完成的，我们人类对这两者关系的进一步的认识是康德之后开启的辩证法哲学。