2009-01-25から1日間の記事一覧

 Memo: 文の Sinn とはその文の証明であるということと、Curry-Howard Isomorphism.

2008年12月17日の日記に‘Frege and the Proof-Conditional Semantics’と題して、 金子洋之先生が Frege に対し‘Proof-Conditional Semantics’とでも言うべき semantics の考案を帰属されておられることを記した。 そこでは、Frege にとって文の Sinn とは、…

文の Sinn とはその文の証明であることと Curry-Howard Isomorphism

久し振りに Stan や Joao, Astrud の演奏を聴きながら、 村上さんの『使い道のない風景』を読んでいる。 しばらく Bossa Nova を聴いていなかったので、 改めて聴くと、とても身体に沁みてくる。 最近 Jazz も Bossa Nova も聴いていなかった。 聴かなくても…