ていへんかけるたかさわるに

1 時半起床.
何とか鬱は治まった.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
アラン・コンヌによれば, 数学的存在は時間と空間の外にあるものである.
一方ティモシー・ガワーズによれば, 数学的存在を信じている数学者 A の振る舞いは, それに否定的な数学者 B の振る舞いと変わらず, さらに数学的存在について考えること自体を無意味と見做している数学者 C の振る舞いとも変わらないと言う.
なお, ガワーズは一世紀以内にコンピューターが数学者にとって代わるのではないかという疑念を持っているそうだ.

一区切り付いたが眠い.

二度寝をする.

朝に起きて食事をとる.
キャベツと目玉焼きとコーヒー.

午前中は買い物に行く.
デパートまで出かけて, 手帳とカレンダーを買った.
街に出ると年の瀬が押し詰まってきている感じがする.

買い物をして帰宅.

午後は家計簿として使っている LibreOffice のスプレッドシートを来年用に修正する.

夕方に食事.
麻婆豆腐とご飯.

眠剤と頓服を飲んで布団に入る.