昨日の不完全性定理についてのエントリ、短時間でお答えがいただけるとは思っていませんでした（(mt)^2さん、ありがとうございます）。今回は、いただいた答えの中で、気になった点を時間がないので二カ所だけコメントしたいと思います。 (3.1) 純構文論的性…

起床は9時、出勤して論文読みとコード書き、20時半まで、帰宅は22時頃。夕食はサツマイモのスープと、ピーマンとウィンナーのトマトソースパスタ。