2023.09.28
https://www.youtube.com/watch?v=usmIXQInKak
前：2023.09.27
後：2023.09.29
#日報
いいね: LEMCUS - The Cake Is A Lie
https://soundcloud2image.vercel.app/image?url=https://soundcloud.com/4y0quch4/the-cake-is-a-lie-1#.png https://soundcloud.com/4y0quch4/the-cake-is-a-lie-1
これは非常にいい…
やった
定理証明支援系での論理の形式化
様相論理をTait計算で形式化すると補$ \bar{p}はどうすればいいという気もする
D. Shamkanov; 2018; "Circular Proofs for the Gödel-Löb Provability Logic"ぐらいにしか資料が無い気がする
そもそも実現(証明可能性論理)$ fで$ f(\bar{p}) \mapsto ?なので普通に$ p \mid \bot \mid \to \mid \Boxの素朴なやつで形式化するとしよう
普通に考えて否定文に遮像すればいいか
でもその他の部分が微妙になるのでやっぱり戻す
Boolos, G.; "Provability Logic"の読書録
証明可能性論理の不動点定理についてちょっと読んだ
3つも証明があり，アーとなっている
メモ
https://gyazo.com/29c84ab2d0e60d04aa88cc90f1456ce6
このメンバーで音MADが流れないことに何のセールスポイントにならなさすぎる
https://twipla.jp/events/580437