2011-06-01から1日間の記事一覧

タイプ理論。

哲学論理学数学

京都大学の先輩の久木田水生さんと後輩の伊藤遼くんとで、「タイプ理論の起源と発展」について、哲学の観点から、わかりやすいサーベイを書きました。予備知識なしで読めるようにしたかったのですが、さすがに、述語論理の記法の読み方くらいは、前提させて…