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

0 時起床.
今日は体調がいい.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
純粋理性の批判という計画を実行するにあたり, カントは哲学者ヴォルフの厳密性に従うことを宣言する.
カントがヴォルフの厳密性に関して語った, 一つの学を確実に進めるには, 原理の法則化確立, 概念の明晰な定義, 厳密な証明の試み, 推論の大胆な跳躍の防止が必要である, という言葉は, 数学についても成立するだろう.

それから数学をやる.
monadicity 定理の証明で引っ掛かっていた箇所が解決する.
一種の循環論法に陥っていたようだ.
必要な議論を書き加えて, 不要な箇所を削除し証明を完成させる.

朝食をとる.
パンと紅茶.

少し眠る.

起きてから数学の続きをやる.
代数の復習. イデアルに関する教科書の練習問題を解く.

午後からアルコール依存症の自助グループに行く.
今日は参加人数は少なかったが, その分個々の経験に関する重たい話が多く共感できるところが多々あった.

夕方に帰宅.
食事をとる.
蕎麦と大根おろし.

まだ明るいが布団に入る.