くるるの数学ノート - 構成主義とか

 調べてみると構成主義もいろいろあるようだ。思えば私にとって構成主義とはコンピュータ定理証明で実際証明してみることだった。ただ私の学生時代に比べ複雑化した現在のソレが今でも構成主義かはわからなくなった