Chaitinの不完全性定理について調べていたら「抜き打ちテストのパラドクスをKolmogorov複雑度的な意味で形式化するとGödelの第2不完全性定理が得られる」という論文を見つけてエーッと驚いている

https://arxiv.org/abs/1011.4974