■

初春な日。一日、だいたい、ロジック。研究会は直観主義論理さわり。ひさしぶりに自然演繹をやった。研究会後、感覚が鈍っているので、復習がてら問題を解いていく。簡単。いくつか別証明ができたり、感覚は取り戻したようだけど、だからといって、何の足しになるわけでもなく。それより、無理数の無理数乗の不思議に挑んでみたいけど、お楽しみにとっておこう。目標は高く持ちつつも、決して多くは望むまい。夜は少し仕事を進めて、就寝。