窓からの冷気をなんとかしたいと思っていたら、カーサブルータスによさそうな商品が。
商品企画は空想生活、デザインは小泉誠というもの。グッドデザイン賞というのもそそられるけど、どうなんだろう。
ゲーデルの不完全性定理とω-無矛盾性とローヴェルの不動点定理
-
このところずっと、Yanofsky “A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”を参考に「ローヴェルの不動点定理」についてエントリーしている。まあ、それはこの定理がぼくにとっては衝撃で...
3 日前

