【雑想】(フランス実証主義までは至らぬまでも、アメリカ実証主義的ではある)コンピューター実証主義について。

2018年末に「自分には決定的に数理が足りてない」と思い知って数学の再勉強を始めてから、はや4年目… Qiitaに投稿する様になってからは3年目ですが、私のこういう投稿がそれなりのアクセス数を稼げてしまう辺り「高校数学と専門数学の挟間」はまだまだ人類にとって大き過ぎる様だ?