2025.01.22
https://www.youtube.com/watch?v=lZ4qMgIz6x0
思った
やっていることがやっていることだけに数学の論文なのに「プロジェクト管理」というありえない章があっておもしろい
ふと思ったけど，このプロジェクトはLeanで，貢献の余地はある． 上手くいくと共著という形になるので，私はエルデシュ数3になる． 結構現実的な方法ではある．まあ別に興味がないのでやらないけども…
メモ
今日は色々なことを振り返った
$ \bf GRの意味論
菊池先生のモデル論的な不完全性定理の証明もいい加減追いたい．
メモ
ｗｗｗｗｗｗｗｗ
これ何で見つけたんですか？
思った
「なんで音MAD集めてるんですか？」という思っても見なかったことを聞かれた
えっ 集めたら 楽しい から…
メモ
やっぱりLogicと行ったときに論理式の集合を$ \mathbf{Int, Cl} \sube \mathrm{Fml}などのように定義して$ \mathbf{Int} \sube \mathbf{Cl}などを考えたほうがいい気がいてきた