2011-08-21から1日間の記事一覧

バーバラ

論理を代数化するとはどういうことなのか、素人臭いやり方で考察してみる。伝統的な論理は集合を用いて解釈できるから、集合に関する代数的な演算を考えることができれば、論理を代数化できると思われる。例えば、x, yなどの変数で集合をあらわすとする。そ…