上のエントリで「非決定的な、というかランダムな(ad hocな)試行による解空間探索」とか書いたが、本書のp.199で、ゲーデルの定理をそういう試行の結果得られた真理として捉えてるところは興味深かった。真理の「発見」による公理系の拡大という形で数学に「…

「思考の道具箱」は、要所だけをデジカメで撮影して、あとはちょっと眺めるだけで終わってしまった。とはいえ、精読どころかメモってる暇も無いんで仕方ない。 この本は、５つのmind tools(情報、数、空間、論理、無限)について語っているのだが、結局はひと…

えらく威勢のいい雨である。 これでこちらの桜は終わりかな。代わりといってはなんだが、ベランダではハクサンフウロが咲き出した。