2023.06.24
https://gyazo.com/ad4e792058913efea9e1c8f634c92063
読んだ
ウヒヒ…
メモ
$ \Box pで「何らかの算術的命題$ pが証明可能だ」を表すとする．
$ \Diamond p \equiv \lnot\Box\lnot pであり，「〜は無矛盾である」を表す
？
思った
映画『スパイダーバース』シリーズ、映像の圧倒的楽しさもさることながら、「異なるシリーズのスパイダーマンは平行世界でそれぞれ独立に存在している」みたいなメタフィクション的な約束を大衆向け映画の客層に対して要請して良いんだという驚きが結構あった気がする あまり知らないけどプリキュアや特撮ヒーローの周年記念映画みたいなもので垣根を超えて全員集合する形式も同じタイプの見方を要求していたりするのか？