2017.10.3

今日も自転車で施設に行ったが人数が多くいつもより息が苦しかったので途中で外に出て気分転換をした。外に出てる間も数学書を読んでいた。余計に本を持ってきてしまいすぐに後悔した。心の間隙を本で埋めようとするのは悪癖なのでやめたい。こんな話をしておいて矛盾しているようだがブックオフ竹内外史数学基礎論の世界が約半額で手に入った。それがきっかけになって前原昭二の記号論理入門を読み返したくなった。昨日に行く筈だったのが雨で予定が変わり、借りた本の再貸出申請を今日やった。図書館にある数学書を片っ端から読むつもり(流石に全部は読まないが)ブルバキ数学原論が読めるのはいつだろうか。290字