もうひとつ「おもしろいみろん」経由で

CS

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

2008-07-06

素人だということを言い訳に妄想を垂れ流してみる

CS

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

2008-06-28

ゲーデル本第四巻についてもう少し

書評

ゲーデルと20世紀の論理学 4 集合論とプラトニズム作者: 田中一之出版社/メーカー: 東京大学出版会発売日: 2007/07/24メディア: 単行本購入: 9人クリック: 135回この商品を含むブログ (14件) を見るゲーデルと20世紀の論理学第四巻集合論とプラトニズム -…

2008-06-13

祝id:yoriyukiさん復帰

数学その他

今後もそちらのディープな話に関する突っ込みはできないと思いますが、とりあえず面白い話が読めるブログが一つ復活してめでたいです。私としては。いつぞや上げていた論文は「時間があるときに読む」フォルダに入れてあるのですが、なかなか処理できません…

2008-06-12

id:finalventさんのところに残したコメントに関して箇条書き

雑談

猛烈にはしょって箇条書きで。元は微弱に釣られる - finalventの日記。いつだか書いたとおり「ゲーデルは本当は何を見ていたのだろう」とか書いてらっしゃったので、ゲーデルの哲学をある程度好意的に見ているのかと思ったので、それに全く反することをあた…

2008-06-09

おわび

雑談

双方連続王手の千日手のこと - くるるの数学ノートの話ですが、まだけっこうギャップがあってだめだめでした。やねうらおさんにトラックバックをおくる最初で最後のチャンスかもと思って、まあ空き時間にですが、よく考えてみたんですがもう少し真剣にやらな…

2008-06-07

finalventさんのところにつけたコメントの補足

予告

なんかあれだと単にいちゃもんつけているだけのような印象になりかねないんで補足しようと思っていたんですが、例によって例のごとく旬を過ぎすぎてます。どうしましょうか？（人に聞くな！）

2008-06-07

双方連続王手の千日手のこと

雑談

d.y.d.さんのところに出ていた双方連続王手の千日手のこと。寝る前とかにぼーっと考えて、たぶん解けたんじゃないかと思うんですが、最後のところがあんまりにもuglyでどうにも。

2008-06-07

補足と言うか

集合論

現代集合論の紹介というときには、ほとんど常に「連続体仮説→ゲーデルのプログラム→Woodin的な研究→それに対比してShelah」という感じになってしまいます。それはとてもよい導入方法であるのは確かです。ゲーデルと20世紀の論理学第四巻集合論とプラトニズ…

2008-06-07

Five element basis（とりあえず版）

集合論

とっくに書いていたと思っていて、でももう一回触れようと思っていたfive element basisの話、まだ一回もしてないんですか。ふぅ、こういうのの方をもっとやらねば。今日は（も？）時間はないのでざっくりとだけ書いて自分にプレッシャーをかけておきます。 …

2008-06-07

お断りしておきますが

このブログについて

このブログでは基本的にZFC集合論でわかる面白い結果とかを書いていこうと思っています。それ以外はおまけというか。正直、それ以外のことに関してはより詳しい人がより面白く書いていますし。「集合論に価値はあるのか？」なんて問題設定をされても、私はそ…

2008-05-16

半年後にコメントに反応してみる

集合論

えーと。更新頻度が低すぎてRSSにでも登録しない限り絶対に見ていられないといううわさのこのブログでありますが。 http://d.hatena.ne.jp/kururu_goedel/20061110/1163139074#cにつけられたこのコメントに対してエントリを立てるといってからもう半年以上た…