2024.03.22
https://gyazo.com/a132fcd2b7fc977e3f5c65d86fa0c0ae
思った
この文章書くやつの作る音MADがこれなことはないだろとは思った https://gyazo.com/c35a585a88b424ac029820e3c41991a6
メモ
いい加減に標準様相論理のままだったこのProjectのミスってる部分を正規様相論理に直した. 思った
わかる
メモ
いい加減に位相空間論をちゃんと学び,この意味論に関しても把握したい. 思った
https://nicothumb2img.vercel.app/image/sm42548065#.png https://nico.ms/sm42548065
アラーッドナルド 横転.icon
気の利いたことは言えないからドナルドのGIFでお茶を濁しておいた
全然こっちの画像を送るべきだった(泣)
https://gyazo.com/8cf45067f7b3a6e53cfdc90a00cfe671
なんで?
メモ
後で読む
ところで
思った
完全性定理が示されたことによって意味論の世界にバラしてsimpやaesopによって(体系内)定理が半自動的に証明できるようになったのは良いとして純粋に構文論的に証明する方法がわからない定理が大量に生成されている 要するにパズルが解けなくて完全に破綻している