Dream Theater, Train of Thought, 2003. Sykes, 20th Century, 1997.

概念の外延と関数の値域に関して。

レンマ二つ。量化子を入れた時のタイプの体系の代入の問題でつまづく。量化子入りの時の代入の話はいつも厄介だ。

午前中から家で作業。昼までやって、勉強会中の集合論な方々を襲撃しつつ読書会してから帰宅。運の悪いことに、雨にほとんどずぶ濡れ。

赤林朗編、『入門・医療倫理１』、勁草書房、¥3465. Pierre Bayard, Demain est écrit, de Minuit, €15. N. David Mermin, It's About Time: Understanding Einstein's Relativity, Princeton University Press, $29.95.