現在大學數學係教的數學采用任意定義公理的形式主義方法,在現實中會導致屁股決定大腦的問題。按個人意願或個人直覺選擇的公理,就成為虛擬的base,可能架空現實,也能決定你的大腦、。
這是非歐幾何誕生後出現的新問題。用這種方法研究純數學未尚不可,但用作應用數學會有問題,在生命科學和智力科學研究中,問題會很嚴重。
很多人並沒有真正理解歐幾裏得的《幾何原本》。但仍需定義新的數學邏輯和科學邏輯。純數學,包括歐氏幾何和非歐幾何,有高度價值,但不能提供真實世界的判斷力。
科學邏輯需要的變革,包括對直覺使用的規範化,不能亂來。需要對Universal Approximation Theorem和word-embedded vector space所依賴的隱性公理問題作分析。
市場刺激難以持久。看明年Nvidia的Blackwell係列芯片出廠完成訓練後Scale Law能不能成立,是否在架空現實。