2007-10-28から1日間の記事一覧

意味論的不完全性と証明論的不完全性

10月22日付けのエントリにつきまして、Teoさんからご質問をいただきました。ありがとうございます。長くなりそうなのでこちらで回答させていただきたいと思います。 (i)論理と理論の違いとは? 確かにこの両者には「主観的」には全然異なるものですが、その…

よく晴れる。10月後半とは思えない陽気。 起床は11時半、昼食は昨日の残り物のサバ寿司。本を読んだりエントリを書いたりして過ごす。21時に夕食、豚バラ肉とトマトのパスタ。