野矢氏の本についての話で、「ラッセル・パラドックスの核心」という話が出たので、そのついでに。 真理値の使用は「核心」か 以前、このBlogのエントリーで不完全性定理を取り上げた際、「ラッセルのパラドックスは真理値（意味論）の問題だが、不完全性定…

起床は8時半、出勤してコード書き、関数をいくつか定義する。また忘年会の打ち合わせと運営会議。終了後、スタバまで行って遅い昼食をとる。 夕方から地下の食堂で忘年会。食事は思っていたよりずっと豪華で量も多い。開始時間が早かったこととお酒が少し足…