これ以上、数式を避けて書いても、知的好奇心を満足させて、かつ、罪悪感を感じない程度に誤魔化されたものしかできない気がする。いいや。 ZF,ZFCのクラスはマクロ定義のようなものだと思う。集合全体Sは集合にならない。なぜかというと、集合全体をSとして…

御託並べてる間に組んでみろといえるからいいね。

どこかで全体の大きな最適化よりも細かな高速化をして全体としてあまり変わらないのは人が目先の欲望に走るからだと書いてあって耳が痛かったのだが何処だろう。 あったあった。 http://homepage3.nifty.com/mogami/diary/d0404.html#27t3

実は昨日、集合論に関して考えたおかげかこの問題に新たな視点が持ち込まれた。

久しぶりに浅田の壷を読んだ。構造と力は読んでいない。だから基本的には山形の批判を読んでどの程度山形が分かっているかを考えるのがメイン。 http://cruel.org/other/asada.html 位相幾何が一段落した後に読むと浅田のが視線にあわせるために山形が腰を落…