今日やったこと:

Chaitinの不完全性定理に抜き打ちテストのパラドクス的な見方を加えると第2不完全性定理と同じ主張が得られるという論文の証明を追い、実際得られたのでおもしれ〜！と思った

https://arxiv.org/abs/1011.4974

https://scrapbox.io/sno2wman/Krtchman_S.,_Raz_R.,_"The_surprise_examination_paradox_and_the_second_incompleteness_theorem"#64c2436a13a15800006c8c42