2007-01-18 構成主義とか 数理論理学 もう出遅れすぎなのでリンクもしないことにしますが。 私はそういう点単純なので、定理が増えるのは基本的に良いことだと思いますし、数学を違う角度で見る人がいることは論理性を保っている限りはプラスだと思います。ですから構成主義も大歓迎です。*1っていうか、話を聞いているとやはり面白い数学の一つなわけで。単にやっぱり自分の本業のほうが楽しい(+仕事だからやらないと)ので、そちらを優先しているだけです。 *1:それどころかNew Foundationだってちっとも理解できないけど歓迎です。