「数学とは何か、でもめています」 「無限の技を使うのは、数学として許されるのか」の議論に決着をつけるために「数学とは何か」という問題を見てみます。 おおざっぱには、「論理主義」は数学は論理だという主張、「直観主義」は数学 … 続きを読む Labyrinth-2.c「不完全性定理③-論理主義・直観主義」