前回の日記の続き。今回は第二回目。三回で完結予定。この項目の内容は、言うまでもないことだが、単なる備忘録、感想文であり、大したことは書かれていない。 金子洋之 「対象としての数 フレーゲの数とウィトゲンシュタインの数」、『現代思想』、特集〈数…

A. S. Troelstra and H. Schwichtenberg Basic Proof Theory, Second Edition, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 43, 2000 書店で手に取って購入を迷ったこともあったが、やはり買っておくことにする。そ…

昨日は某百貨店に行ってくる。 そこでりさんこの特別展みたいなものが催されていた。 行ってみるといつものごとく大変盛況である。 展示物を一通り見て、りさんこの goods を販売している一角にゆく。 結構な混雑で、あまりよく品定めができない。 どうして…