数学というのは形式主義の考え方からいえばその概念にどんな名前をつけて..

数学というのは形式主義の考え方からいえばその概念にどんな名前をつけて..

数学というのは形式主義の考え方からいえばその概念にどんな名前をつけてもいいが実際にそんなことをし...概要を表示 数学というのは形式主義の考え方からいえばその概念にどんな名前をつけてもいいが実際にそんなことをしては理解もおぼつかない、だから直観的な理解が重要なんだ、みたいな序文をつけてる数学の叢書があるが、 自分からすればその理屈を証明の簡略化の正当化に使ってるだけにしか見えないかららムカつくんだよな。 直観的に理解するセンスがあれば行間が省かれててもむしろだからこそアスペがするような回りくどい説明と比べて定型の簡潔な説明の方がわかりやすいのと同じようにわかりやすいのだ、というような考え方をしてるわけだね。 そういうセンスがあるのって選ばれた人間なだけなんだよ。 むしろ徹底的に形式化されたコンピュータでも正誤を判定できる、公理に照らし合わせれば正しいかどうか理解できる証明のほうがいいよ。 抽象数学はペンキ塗りな応用数学と違って素晴らしいとか言う奴がいるけど、むしろ抽象数学も含め数学は全てコンピュータで