2010-02-05から1日間の記事一覧

直観主義論理の「自然さ」(1) 自然演繹

直観主義や直観主義論理そのものには特に思い入れはない。ブラウワーの文章を読んだ覚えはないし、ダメットの文章もほとんど読んでいない。ポアンカレの文章も。でも、もう少し日の目を浴びても良いと思う(それとも知らないだけで、けっこう浴びているのだろ…