2008-06-28から1日間の記事一覧

証明論と意味論

なんか産総研の人がいらしてて、様相論理の話をしてくださった。まあ俺が全然理解できてないとか、そういうのはどうでも良くて。意味論の対義語って証明論だったのかーみたいな、そういうのに気づいたとか、そういうのが収穫。との使いわけが、いまいち良く…