2024.02.15
https://gyazo.com/313c8ebe4e68dcc59db029d7142415bd
前:
2024.02.14
後:
2024.02.16
#日報
思った
Y. Cheng; "Current research on Gödel's incompleteness theorems"
を久々に読んだ
メモ
様相論理の健全性定理
を示すのに時間がかかってるのありえなさすぎる
思った
最近眠過ぎで,明らかに体調がおかしい.とにかく無音が少しでも続くと休眠体制に入ってしまう