curryを始めようとしたタイミングで、sumiiさんのITproの連載が、ちょうど良いタイミングで命題論理について。
カリー・ハワードの対応というのを初めて知った。それに、古典論理や直感主義論理というのは初めて知ったなぁ。
論理学も、大学時代に授業であったんだけど、それこそコンピューターに何の役にたつということと、教えている先生が大嫌いだったのと、頭が悪くてついて行けてなかったのでスルーしていたから、また後できちんと読んでおこう。
そういえば、最近スコーレム標準形って単語を見たんだけど、何で見たのか思い出せない。
