本日帰国、無事到着したとのメールが来る。また9月に。

昔からゲーデルの完全性定理と不完全性定理の「完全性(completeness)」は、意味が違うのでややこしいという話があります。すなわち、 「完全性定理」の完全性：理論Tが完全であるとは、任意の論理式Aについて、AがTで証明可能であることと、任意のTのモデル…

快晴、初夏の日差し。開襟シャツで出かけるも、昼食時にトマトソースを飛ばし、慌ててトイレで石けんを付けて洗う。 午後は某ビジネスショー、会場説明係とプレゼン（プレゼンはちょっと出来が悪かった）。写真は、終了後の会場の様子。夕食はカレー、ソファ…