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

4 時半起床.
昨日, 作業療法に行った疲れが残っている.

午前中はコーヒーを飲んだりして休む.

昼前に買い物に行く. 野菜や鶏卵を買う.

帰宅して本を読む.

エドワード・フレンケル『数学の大統一に挑む』を読了.
後半ではラングランズ・プログラムと量子物理学の関係が描かれる.
全ては理解できなかったが面白かった.

本の中で著者が, 数学の真理は発見されるのか, 発明されるのかに関して少し書いている.
著者は数学的真理は発見されるものであって, 人間の限られた知恵などで発明されるものではないという立場である.

自分にはよくわからない.
数学的真理は確かに発見されるものだと思う.
けれども, そうした真理を元に発明を加えた総合的なものが数学だという気もする.

それから数学をやる.
数学の練習問題を解く. 昨日, 作業療法のアトリエに行く電車の中で考えたことをまとめる.

夕方に食事.
浅蜊と大根と里芋の味噌汁.

昨日の疲れがまだ残っている.
早めに休む.