sheafを使った強制法の雑感。有限部分関数たちのある集合を取ることはやっぱりsheafで考えるとすっきりする。dense belowってのはdouble negation topologyのことで、古典的な二値論理を成立させるための装置だというのはよく分かった。とするとやはりgeneri…

朝から出かける。午前中は暇を見てsheafを使った強制法をざっと読む。ゼミ後みんなで夕食へ。Schröderを読もうという話が一部で持ちあがる。

Gerald Bruns, Maurice Blanchot: The Refusal of Philosophy, Johns Hopkins University Press, $35. ブランショ論。 Philip Davis & Reuben Hersh, Descartes' Dream: The World According to Mathematics, Dover, $17.95. 1987年刊の再版。 James Bennett…