昨日から一転して、暖かい日となった。洗濯と掃除。昼から美容院に出かけ、帰宅後はレポート書きの続き。

yoriyukiさん経由、論文はこちら。 minimal logic (直観主義マイナス矛盾律)や直観主義のクリプキモデルと、古典論理上ZFCの強制法の関係について、今までよく分からなかったのだが、少しだけ分かったような気がします。 古典論理の論理式 を二重否定翻訳（…

新年、あけましておめでとうございます。今年もよろしくお願いいたします。 今年は「健康第一」をモットーに、がんばっていきたいと思います。

大晦日以来、晴れてはいるが、とても寒い日が続いている。昼に駅前に買い出しに行くが、パン屋もよく行くスーパーもまだ正月休み。ファーストフード店で昼食、帰宅後はレポートとメールをいくつか書く。Cが明日まで実家のため、夕食は自炊でトマトソースパス…