2020-05-19から1日間の記事一覧

ゲーデルの不完全性定理

<ゲーデルの定理は「知ったかぶり」がどのようなものかを腑に落ちる仕方でわかるための格好の例。この定理をわかるには実際に途中を省略せずに証明を辿ってみることだが、それが意外に厄介で、証明の多くの部分は「できる筈、そうなる筈」という妥当な推測…

天と地と

何とも懐かしいタイトルだが、天にはセンダンとエゴノキ、地にはカラーとトキワツユクサ、いずれも白が基調の花が咲き、天も地も5月である。 センダン(栴檀)は、センダン科の落葉高木。「栴檀は双葉より芳(かんば)し」のセンダンは実はビャクダン(白檀)…