■

ゆるゆると

• G. Cantor, `De la puissance des ensembles parfaits de points', in Cantor Gesammelte Abhandlungen, 252--260

を読む。「一般線形多様体論」のレジュメのようなものだった。あっちを読み直した方がいいな。ほいで

• J. Ferreiros, ```What Fermented in Me for Years'': Cantor's Discovery of Transfinite Numbers', Historia Mathematica, 22, 1995, 33--42

読む。いつもながらこの人はいい視点を持ってる。ちょっとアナクロニズムなところがあるけども。さらに

• F.W. Lawvere, `Quantifers and Sheaves', Actes du Congres international des Mathematique, Tome 1, 1970, 329--334.

に挑戦。素敵なことが書いてある。

a Grothendiek ``topology'' appears most naturally as a modal operator, of the nature ``it is locally the case that'', the usual logical operators such as ∀, ∃, ⇒ have natural analogues which apply to families of geometrical objects rather than to propositional functions...