科学逻辑需要判断真实世界的对错，不可能是纯数学。现在数学系教的数学采用任意定义公理的形式主义方法，现实中会屁股决定大脑

现在大学数学系教的数学采用任意定义公理的形式主义方法，在现实中会导致屁股决定大脑的问题。按个人意愿或个人直觉选择的公理，就成为虚拟的base，可能架空现实，也能决定你的大脑、。

这是非欧几何诞生后出现的新问题。用这种方法研究纯数学未尚不可，但用作应用数学会有问题，在生命科学和智力科学研究中，问题会很严重。

很多人并没有真正理解欧几里得的《几何原本》。但仍需定义新的数学逻辑和科学逻辑。纯数学，包括欧氏几何和非欧几何，有高度价值，但不能提供真实世界的判断力。

科学逻辑需要的变革，包括对直觉使用的规范化，不能乱来。需要对Universal Approximation Theorem和word-embedded vector space所依赖的隐性公理问题作分析。

市场刺激难以持久。看明年Nvidia的Blackwell系列芯片出厂完成训练后Scale Law能不能成立，是否在架空现实。