超準解析反省会場

dif_engine @dif_engine 普通の数学、とかいうと怒られそうだけど、微積分だとか代数幾何とか、そういう数学の初歩的な部分はいわゆる「数学の基礎」よりずっと早く興隆した。だから大昔は実数とは何かとか気にせずに、まあこう言うとまた言い過ぎだろうけど、数学をやってた。 dif_engine @dif_engine で、解析学周辺の話から（たとえば三角級数の収束の問題）、段々数学をきちんと形式化しようねって話になって、その頃はまだ数学者たちも形式化によるエンライトメントを信じてたと思うんですよ。 dif_engine @dif_engine でも結局、頑張って覚えた集合論も、素朴に期待されたような「数学の絶対性の担保」足り得ないことがわかってしまった。しかも、一悶着あった末に受け入れた選択公理からバナッハ・タルスキーのパラドックスなんかが出てきたでしょ。 dif_engine @