空き時間にちびちび書いてます。数学ガールの新しい巻が出る前には終わっているといいなぁ。

ヒビルテ(2008-06-29)でKeith Devlinの話題が出ていたので、せっかくだからDevlin and Shelahのweak diamondの話でも書こうかと思ったのですが、妄想を書きすぎて時間がなくなりました（爆）。この次にでも。証明に触れる予定はないですが、とても面白い議論…

[PDF]武市先生の講義資料を読んでみたんですが。情報の確かさ・細かさを基準に順序集合を作るって、まるっきりforcingと同じじゃないですか。completeとかproductとかも定義が同じ。このあたり、D.Scottはどう認識していたんでしょうね。

d.y.d. - おもしろいみろん経由で、d.y.d. - メモ化と不動点にたどり着いて、ここの部分が腑に落ちなくて、ちょっと考えていました。 ちなみにfib_makerなど再帰関数を定義する関数を渡すと、その不動点を計算する関数、なんてものもプログラムとして書くこ…