2025.02.06
https://www.youtube.com/watch?v=1mqYBLgV79A
前：
2025.02.05
後：
2025.02.07
#日報
思った
予定を間違え，全然メチャクチャな時間に大学にやってきただけの謎の人間になった
メモ
S. Krtchman, R. Raz; "The surprise examination paradox and the second incompleteness theorem"
のメモ書きを今更書き下している
これ本当に出来るのか不安になってきた
読んだ
M.Li, P.Vitányi; "An Introduction to Kolmogorov Complexity and Its Applications"
をチラ読みした
読めるのかなあこれ本当に…という気持ちに
竹内外史『証明論と計算量』
をチラ読み
限定算術などの知識をちょっとだけ得た