>>589
作用素代数がちゃんとした代数だから、一応数学にはなっているけども
幾何学なのかというと専門家で意見が分かれるレベルだろうな
微分形式や一部のベクトル束くらいは形式的には定義できてるレベルというか
そういう意味では、宇宙際も絶対ガロア群の基本群の遠アーベルというのが一番の基盤だから
数学になってないってことはないだろうと言えるな。精度の問題であって