2023.08.05
https://gyazo.com/9b1032972c0108ffc6ebacfd404f1a4f
メモ
非自己記述的という性質$ Pについて，$ P \in Pか？$ P \notin Pか？を問うていることになるのでは 思った
ありとあらゆる場所にあるpdf保存しておくだけのサーバー欲しい！と思ったけど、それは普通にクラウドストレージでいいんだよな
連結の理論に基づく不可能性の定理なら意外と定理証明支援系で形式化しやすいんじゃないだろうか どうなんだ？
知った
TODO
メモ
やった
パラドクスの表記をパラドックスに直しました．
思った
今日はもう疲れた