このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2005-12-20から1日間の記事一覧

帰結(consequence)の概念

f1, ..., fn, gが論理式で、Mが任意のモデルであるとき、「M |= f1, M |= f2, ..., M |= fn ならば常に M |= g」であるなら、gはf1, ..., fnの論理的帰結(logical consequence)と言ったりする。だが、この用語法はかなり変だ。logicalってのは、どちらかと…

仕様、公理系、セオリー

「仕様」と「公理系」と「セオリー」を同義語で使っている人はけっこう多いな。イデアルとの対応からは次のような用語法がいいような気がする。 イデアルの概念 セオリーの概念 イデアル セオリー (イデアルの)生成系 (セオリーの)公理系 極大イデアル …