主题：一个华人几乎证明了孪生质数猜想，海外的 -- 老成都

虽然数学是各种科学的基础，但数学本身属于哲学，不是科学。

哲学的意思，就是不需要和现实的物质世界去验证。也就是不需要解释客观世界，不需要预测客观世界。其本身的理论只要做到自恰，无内部矛盾就行了。

虽然很多数学原理被用于很多科学领域，但数学理论本身不是“科学”。

————————————————————————————

先验的，在康德哲学中，同“经验”相对。意为先于经验的，但为构成经验所不可获缺的。

康德认为客观物质世界只能给人们一堆杂乱无章的感觉材料，而知识的构成全靠用人的头脑里固有的“先天形式”来加工整理，因此先天形式和后天的经验是构成知识的根本要素。

那些不是与对象有关，而是与我们关于对象之认识方式有关的认识，只要它们是先天可能的，都称作‘transzendental’。‘transzendental’并不意味着某种超越出经验的东西（那将会是‘超越的’），而是某种虽然先于经验（‘先天的’），但除了使经验成为可能以外还没有得到更进一步规定的东西。

————————————————————————————————

假如人类自形成起就一直生活在一个山洞里，从来不知道山洞外面有什么世界。那么人仅仅通过思考就仍然会有“数”的概念。也就是说，思考能力，是否能有“数”的概念，是人类和其他动物的区别之一。仅仅有了数的概念，人类就能够思考素数问题，就能够推理和素数相关的那些定律并加以证明。所以说数学，至少素数论，是先验的。