今日もいろいろ見つかった。UFOそっくりのきのこを見つけたのははじめて。

今日はKTG。目覚ましをかけ忘れ、５時５３分に起きたが、集合場所が近かったので助かった。遠方からWTSさん、みけねこさんも参加。 暑くて旧道の上りはすぐに足つき、路面がぬるっとしていてとても上れそうにない。かわってシングルは乾いていて快適。AMGの…

チューリングの聖堂の余波で十何年ぶりに数学の本を真剣に読んだ。IY氏に不完全性定理の原論文を解説した本を紹介してもらったが、自分の基礎知識で原論文に挑むのは無謀かと思い、論理学の基礎から書いてある本にした。 まずは構文解析で証明を行うアルゴリ…