2023.08.16
https://gyazo.com/a9ce50ffa6ef0fdd278099e4f1603761
今年もこの季節だな
やった
畜生達が本当に愚かで…(涙)
メモ
知った
正気ではない
やる
Gödelの不完全性定理についてのきちんとした証明(可証性述語を与えるところまでの膨大な構成),Chaitinの不完全性定理,Quineからの流れによるGrzegorczykの算術を介さない不完全性証明,その他のパラドックスの形式化,証明可能性論理などの諸々の話題をTypstでメモ書きすることにした