結城浩のはてなブログ

ふと思いついたことをパタパタと書いてます。

2007-02-09から1日間の記事一覧

長男に不完全性定理を説明する

結城「そこの『ゲーデル・エッシャー・バッハ』取って」 長男「あのGEBって表紙にある奴だよね」 結城「そうそう」 長男「ねえ。エッシャーとバッハはわかるけど、ゲーデルって誰?」 結城「数学者」 長男「何した人?」 結城「不完全性定理を証明した人」 …