証明論と意味論

なんか産総研の人がいらしてて、様相論理の話をしてくださった。まあ俺が全然理解できてないとか、そういうのはどうでも良くて。

意味論の対義語って証明論だったのかーみたいな、そういうのに気づいたとか、そういうのが収穫。\vdash\modelsの使いわけが、いまいち良くわかりません。

あとは、木山さんがこないだ「πを横にしたやつに見えるから、横パイだ」とか言ってた「\models」の読み型ですが「ゲタ」と言ってるのを聞きました。


つーか、\models出ないとかどんだけ。\vdashの横線が二本になってるやつです。Unicodeにあるかどうかは知らん。