2025.07.20
https://pbs.twimg.com/media/GwSsi39W0AAuWJm?format=jpg&name=large#.jpg
出ます！
メモ
やった
Rosser の不完全性定理を証明した（Rosser provability の存在を仮定した証明はしばらく前に @SnO2WMaN によって示されていたので，今回それを具体的に構成した）．また系として IΣ₁ より強い Δ₁-理論の Lindenbaum algebra が densely ordered であることを示した
https://gyazo.com/f25fec8771ed738e795938e9aa7702a5
近傍意味論のカノニカルフレームのサプリメンテーションを実装して赤線部の論理の完全性を示した． https://gyazo.com/b5665fa150171b459326b580fef26ad7
多分ちゃんとやれば最小のカノニカルフレームのサプリメンテーションがGeach公理から定まる性質を満たすことも形式化出来ると思うが．面倒だったので$ \sf T,4だけやった．
他の，たとえば$ \sf Nを含む論理がどうなってるかはわからない．最小のカノニカルフレームは多分$ \sf Nの性質を満たす．
満たしています．
メモ
定義をみればわかるが，それは$ \bf S4の近傍意味論の定義になる． すいません確認してないです．本当になるんですか？
メモ
いい漫画なだけでなく，割と真剣に考えられる内容な気もする．
「未来に起こる」ことが今わかっているとき，それが永遠に起きないなら矛盾
$ \Diamond p \to \Box \lnot p \to \bot
行った
めちゃめちゃ色々な有益な話を聞いたりしました
照