電車で読める数学の本

• 不完全性定理―数学的体系のあゆみ (ちくま学芸文庫)

知ってる人は知っている、某所で紹介されていた本。前半はユークリッドの公理系から初めて、モデルの話、モデル化された世界で完全に記号的に証明が構成されるんだよという話を経て、ヒルベルト計画、そして不完全性定理までもってく。不完全性定理自体は、実にさらっとしか書いてないが、厳密な証明とかそういう本でもないしいいんでないだろうか。

さくら祭り

中学の頃まで、同じ市内の別のところに住んでいたのですが、そこには日本の道100選に選ばれるような立派なさくら通りがあります。このシーズンになると毎年お祭りをやっていまして、そこまで自転車で見に行くのがここ数年の恒例行事になっています。

路上でフラメンコを披露している方がいました。なかなかこういうのを見る機会もないので、見入ってしまった。

わりと近所に、小さな川が流れていてその脇にさいている桜がとてもきれい。地元の隠れ花見スポットです。上野公園の満開の桜もいいですが、こういうのどかな風景もいいもんです。