<ゲーデルの定理は「知ったかぶり」がどのようなものかを腑に落ちる仕方でわかるための格好の例。この定理をわかるには実際に途中を省略せずに証明を辿ってみることだが、それが意外に厄介で、証明の多くの部分は「できる筈、そうなる筈」という妥当な推測…
何とも懐かしいタイトルだが、天にはセンダンとエゴノキ、地にはカラーとトキワツユクサ、いずれも白が基調の花が咲き、天も地も5月である。 センダン(栴檀)は、センダン科の落葉高木。「栴檀は双葉より芳(かんば)し」のセンダンは実はビャクダン(白檀)…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。