学有悖于数学的创新精神。”
卿云想了想，而后摇了摇头，“我不这么认为，为了实现反推的目标，人们通常需要找到新的证明，这个过程恰恰是创新。”
说罢，他自己也觉得很是好笑。
这个论点，是前世的秦缦缦在一场国际报告会里提出来的。
基于实用性，反推数学也可以用于寻找新公理、讨论真与可证明的关系等意义，因此其具有实用主义色彩。
我们可以基于反推数学，得到一种反推数学版本的实用主义真理观，可以寻找到可修正的数学真理。
卿云之所以能够听懂前世秦缦缦的报告，完全是因为大道至简殊途同归的缘故。
无论是数学，还是物理，还是化学，到了最后，本质上其实变成了哲学，回归到了人对世界的认识上。
比如一个不太恰当的例子，哥德巴赫猜想，用原有的数学语言来表述，极其复杂。
对于这些数学语言，普通人明明都认识这些字或者字符，可组合在一起是根本无法看明白的。
但殆素数方向化简后，所有人就都明白了，简单的说，就是要证明1+1=2。
抛开常识不谈，如果哥德巴赫猜想是错了，那么……
卿云