14/03/16 10:38:45.34
こういう場合よくあるのが「数学」の指してるものが
両者で違って議論になってないというパターン
現代の数学は基本的に形式化できる
→数学者の閃きをどうやって形式化できるんだ！みたいな
14/03/16 10:38:45.34
こういう場合よくあるのが「数学」の指してるものが
両者で違って議論になってないというパターン
現代の数学は基本的に形式化できる
→数学者の閃きをどうやって形式化できるんだ！みたいな
14/03/16 10:38:45.34
こういう場合よくあるのが「数学」の指してるものが
両者で違って議論になってないというパターン
現代の数学は基本的に形式化できる
→数学者の閃きをどうやって形式化できるんだ！みたいな