window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

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

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

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