2023.07.13
https://www.youtube.com/watch?v=YPE7wyCeDSs
goreshit - gabberzon!
ホントはダメなんだけど，
Nightcore
版好きすぎる
https://open.spotify.com/track/66iaTQKHKNI7JgsdwedbQk?si=dea95e8fdb3b41cd
前：
2023.07.12
後：
2023.07.14
#日報
思った
Chaitinの不完全性定理
について気になりすぎる
Kolmogorov complexity and the second incompleteness theorem
M. Kikuchi, T. Kurahashi, H. Sakai, "On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, Boolos"
知った
S. Krtchman, R. Raz; "The surprise examination paradox and the second incompleteness theorem"
抜き打ちテストのパラドックス
を形式化/
情報学的解釈
すると
Gödelの第2不完全性定理
が得られるの何すぎる
思った
Chaitinをなんとなく
チャインティン
と発音してたけどよく見たら全然違った
なぜおれは英語がぬめらかに読めないのか…
メモ
菊池誠; "不完全性定理"
，
Kolmogorov複雑度
と
Chaitinの不完全性定理