Notre Dame Journal of Formal Logic, Vol.46, No.2, 2005 これも東京に行っている間に読了。自然数とその部分集合全体との間に1-1対応が存在しないというCantorの定理を、Yablo's paradoxを使って「否定を使わずに」証明する。面白いが、話はこれ以上広がら…

Analysis, vol.57, No.4. 東京に行っている間に読了。Yablo's paradoxは「自己言及文を使用しないParadox」として有名だが、隠れた形で自己言及性を使用している、と主張。Priestの定式化した限りではそうなのだが、「そう定式化したからそういえたのでは」…

が死去。大ショック。

33才最後の日。ショッキングなことが多い。この１年間を象徴するかのような一日だった。 数学会から帰ってくると、雑用が山積み。午前中に来るはずだったキャビネット業者が来ない。11時半頃泡を食ったセールスの人がやってきて「設置用のベースを倉庫に入れ…