@kururu_goedel: ビール飲んでねる2010-06-30 15:04:26 via Seesmic @kururu_goedel: おっし、必要な補題は証明できた。TeX一発書きだから細かいところは見直さないといけないけど、多分大筋大丈夫。あとはいつもの筋だから面倒は面倒だけど問題はないはず。…

@kururu_goedel: @minami106 これは十分明らかだと思いますが。u

@kururu_goedel: @night_in_tunisi RSSで読んでませんか?残念ながら、ページに飛ばないとはてなが使っているmimetexでは数式は表示できないようです。2010-06-26 12:37:58 via Seesmic to @night_in_tunisi

本当はモデルって何とかそういうことを書かないといけないんですが、そういう面倒なことをきちんとやろうとしていると永遠に書かないまま終わりそうなのでとりあえず。それと、例によって例のごとくいろいろ間違えているかもしれないのでツッコミ歓迎。

さてと、そんなわけでZFCのモデルV上に、推移的で可算無限濃度をもちZFCのモデルになるような集合Nが存在する、というところまで来ました。本題に入る前にスコーレムのパラドックスのことを少し書いておきます。NはZFCのモデルなので、N上で非可算な集合があ…

うちの師匠は院生向けの集合論の授業で強制法についてしゃべったとき、前段のNについて、「があるじゃん。γをうまく取ればそうなるでしょ」と言ってました。ここで私はわりとシビレてました。Working mathematicianの感性として、「なんだかわからないけれど…

てなさくさんの指摘を受けて、以下の部分を大きく修正します。 細かいことは気にしないことにして、Con(ZFC+Con(ZFC) )を仮定することにします。すなわちZFC+Con(ZFC)のモデルVが存在します。どうやって、これをCon(ZFC)、すなわちZFCの無矛盾性のみから開始…

ずっと予告していたやつ、半分くらい書けたので少しずつアップします。その1、その2、その3がそれぞれ１時間ずつでわかった気になって３時間で完成という方針で。歴史的経緯は無視して、「今から考えると、こんなふうにして発見されるのが一番自然だよね」と…

@kururu_goedel: @zhanpon 著者のEnderton 先生はUCLAの人。いい人ですよ。2010-06-25 23:51:33 via Seesmic to @zhanpon @kururu_goedel: @zhanpon あれは良い本ですが(授業でも使いました)、recursiveとかの定義がえらくinformalなんで、そこだけは何か他…

@kururu_goedel: @yukoim ありがとうございます。調べてみたら読み聞かせイベントが毎週あるのを見つけました。サマースクールはオムツが取れていないので厳しいかも。2010-06-24 13:51:58 via Seesmic to @yukoim @kururu_goedel: @kuri_kitchen 市民センタ…

@kururu_goedel: @patho_logic めんどうだからイヤ(爆)2010-06-23 14:48:10 via Seesmic to @patho_logic @kururu_goedel: @patho_logic いや、ギリシャと同じリスクは全然ないでしょう。独自通貨を持っている上に、お金を刷って財政に回してきた実績もない…

@kururu_goedel: @h_kagami 今のところ、であって、もし息抜きレベルを超える量のものが来始めたら、知っている人からのものでない限り、適当に無視すると思います。2010-06-22 14:39:41 via Seesmic to @h_kagami

@kururu_goedel: @h_kagami どんな人から送られてきたものでも、あまりにひどい間違いが見つかるまではちゃんと読んでます、今のところ。2010-06-21 15:08:26 via Seesmic to @h_kagami @kururu_goedel: @rakazawa そりゃ困ります。将来的には@rakazawa さん…

@kururu_goedel: 呼びましたか？QT @night_in_tunisi: なんというか、人の痛みとか思いやる気持ちとか、そういうのが微妙にずれているか、そもそも全くない。2010-06-20 22:28:47 via Seesmic @kururu_goedel: よかった、dropboxで復旧できた。2010-06-20 14…

@kururu_goedel: 最近またCoqいじりたい熱が再発して、ちょっとずつやっている。毎回ほとんどすべて忘れてやり直しなので効率が悪いこと悪いこと。2010-06-18 12:44:20 via Seesmic @kururu_goedel: .@alohakun いや、ですんでそれと全く同じ効果を手っ取り…

@kururu_goedel: 日本ではそんなに無痛分娩って嫌がられている／認知度が低いんですかね。QT @contractio むしろふつうでは.... RT @wtnbt: 私の周囲では「子供産むのは痛そうだからやだ」という女性が少なからず存在する。2010-06-16 15:36:34 via Seesmic …

@kururu_goedel: ワールドカップで日本が勝ったことは単純に嬉しい。もう、ほとんどまともに見たことのある選手はいないのだけれどもね。耳年増になって、全敗確定かなとか思っていて悪かったよ。おめでとう。2010-06-15 11:52:25 via Seesmic @kururu_goede…

@kururu_goedel: @kenokabe 理論体系を固定すればそのとおりだと思いますし、それは経済学とかでもそうだと思います。だからといって、「物理は物理、数学とは違います」という主張がおかしいとは思えません。数学者と物理学者では見ているもの、見ようとし…

@kururu_goedel: あうー、もう2時50分。2010-06-13 15:52:59 via Seesmic

@kururu_goedel: 独立にジャン・クロード・ガンダムというのを思いついたが、やっぱり既にさんざんネタになっていた2010-06-12 13:11:30 via Seesmic @kururu_goedel: Phoenix Sunsがファイナルに出られなかったのは、Steve Nashがワールドカップを見たかっ…

@kururu_goedel: ブログ書いた。 2010年06月10日のツイート - @kururu_goedel: えーと、本日の突然自分語りはここまでにしよう。 2010-06-10 14:53:20 via Seesmic.. → URL2010-06-11 09:00:43 via ? feedtweet.jp ?

@kururu_goedel: えーと、本日の突然自分語りはここまでにしよう。2010-06-10 14:53:20 via Seesmic @kururu_goedel: 男の子がいるのかー。2010-06-10 14:49:44 via Seesmic @kururu_goedel: (妻の機嫌がよかったときに)いくつかの単行本を日本から取り寄せ…

ONにしてみました。もう二ヶ月放置中なので、これでお茶を濁します。

@kururu_goedel: researchmap、ずっと完全放置中だったので、とりあえず論文リストだけ上げた。講演リストは大変なので、invitedなやつだけやるかな。URL2010-06-09 15:34:45 via Seesmic@kururu_goedel: ブログ書いた。 [ブログ] twitterまとめ自動投稿 - O…