2025.08.04
https://gyazo.com/04df4dc18e83e9790118c3aa3211f756
終わった
観た
面白すぎちゃってる
親父だけ色の彩度違うのありえない
思った
Churchの定理：適当な算術理論$ Tにおいて，定理全体のGödel数は再帰的ではない． これ示そうと思ったけど結構面倒だということになって詰んだ
Googleの未解決問題のステートメントだけでも形式化してみましょうというリポジトリに「すいません証明も形式化できちゃったんですけど…」という連絡を投げているが返答が帰ってきてない
これ無駄に伸びちゃっており，文章ミスったので気まずい．
メモ
思った
論文書きたくねーー
コード読んでほしい．
しかし自分も1階述語論理側はよくわかってないじゃないですか
いいね
https://nicothumb2img.vercel.app/image/sm44990514#.png https://nico.ms/sm44990514
思った
色々あって前にScrapboxを書いている人の話が出て，yozbaさんは分量がおかしいし，coveltさんは一回パブリックにしたものをプライベートにしないでほしいという念が出ている，ということを知った． もっと人様に見せられるような文体だとうれしいが，面倒でこんな感じになっている．
私は文章を書くのが苦手て…