本日帰国、無事到着したとのメールが来る。また9月に。
昔からゲーデルの完全性定理と不完全性定理の「完全性(completeness)」は、意味が違うのでややこしいという話があります。すなわち、 「完全性定理」の完全性:理論Tが完全であるとは、任意の論理式Aについて、AがTで証明可能であることと、任意のTのモデル…
快晴、初夏の日差し。開襟シャツで出かけるも、昼食時にトマトソースを飛ばし、慌ててトイレで石けんを付けて洗う。 午後は某ビジネスショー、会場説明係とプレゼン(プレゼンはちょっと出来が悪かった)。写真は、終了後の会場の様子。夕食はカレー、ソファ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。