ask.fmに書いた回答が見られなくなっているので、こちらにサルベージしておきます。ネタバレ注意。 Q. 集合論を勉強したら質問しに来ますね。 A. えっ、別に集合論の勉強なんてしなくてもどんどん質問してくださっていいんですよ。例えばスクールデイズで一…
久しぶりにask.fmの字数制限にひっかかったので。ろくにチェックしてないけどもう投げる。問題は 「平面上にn>3個の点があるとする。それを結んで凸n角形を作ることができるための必要十分条件は、"そのn個の点からどのように3つの点を選んでもその3つの点を…
放課後、いつも通り図書室に来てみるとテトラちゃんがなにやら難しい顔をして本とにらめっこしていた。 僕「今度は何を読んでいるの？」 テトラ「あ、先輩。…この前、ミルカ先輩がclub guessing sequence(CG列)の存在証明を教えて下さいましたよね」 僕「あ…
[集合論] GCHが成り立たないときのべきの値 にゃー、みんなボクが『数学』に書いたサーベイ読んでにゃー。 正則基数のべき(Eastonの定理) 今更入手困難でしょうし書きますよ。まず、αを無限順序数とするとき、それの非有界部分集合の最小濃度をαの共終数(cof…
前置き Software Foundationちょっとずつ読んでいるわけなんだけど、数日ハマっちゃった問題が解けた上で、なんかすごくチープな解法が見つかったような気がするのでそのことも含めて書く。あ、できればこっちで勉強会とか開けるようになったらいいなという…
@kururu_goedel: @kururu_goedel @patho_logic この書き方じゃ誰にもわからないな。私のvarious club guessingがどうのとかいうプレプリント参照。2013-01-18 20:45:29 via TweetDeck to @kururu_goedel @kururu_goedel: @patho_logic Shelahが、2-completel…
@kururu_goedel: 今朝も１時間半くらい格闘して赤ちゃんは寝なかった。一人寝たので、さあもう一人をなんとかするぞと思ったらギャン泣きし続けて寝てた方が起きた。腕も膝もガタガタで精神的に疲弊した上で妻には怒られるっていう。仕方ないけど…。2013-01-…
@kururu_goedel: 「連続体仮説のここがわからない」なんて本が出たら、sub-Ostaszewski空間のことを空気読めないキモヲタのように語りまくる章を書いて送りつけるぞ。2013-01-12 14:27:54 via TweetDeck @kururu_goedel: @patho_logic @ytb_at_twt とかもあ…
@kururu_goedel: bookkeepingは全部lotteryで書き直せそうな気がしてきて、でもやっぱり長さω_2のやつとかだとまずい気がしてきて、そこを修正できそうな気がしてきて、でも修正したら普通にbookkeepingやった方がましな気がしてきた気がしました。2013-01-0…
@kururu_goedel: 最近「氷の世界・跡部王国」というのが安部公房の短編集にありそうな気がしてきてヤバイ。2013-01-06 12:54:56 via TweetDeck @kururu_goedel: ちょっとこれすごい> "I'm a Daddy and I Know it" 2 + triplets (parody of "Sexy and I Know …
@kururu_goedel: @kagami_hr いや、もちろん読んでません。これで腑に落ちました。もっとも、集合論をやりたいと言っている人にブルバキを勧めるのには注釈が必要かと思いますが。2013-01-04 14:30:08 via TweetDeck to @kagami_hr @kururu_goedel: でも、よ…
@kururu_goedel: いや、あれ絶対に面白いって。全くちゃんと見れてないけど、あれだけキャラが立ってストーリーに幅があって面白くないはず無いよ。2013-01-01 16:03:43 via TweetDeck @kururu_goedel: 俺、子育てが一段落したらMy Little Pony : Friendship…
@kururu_goedel: 【速報】近所のスーパーでセラムン売ってた2012-12-31 13:36:35 via TweetDeck
@kururu_goedel: ソ・ジソブという韓国人の俳優がいるのだけど、この前「スポンジソブ スクエアパンツ」というダジャレを思いついて、どうせ既出だよなと思ってググッたら該当なしで、それはそれでなんか世界中の誰よりもくだらないことを思いついてしまった…
@kururu_goedel: そういえば、My Little Ponyには Apple Bloom (URL を初めとする幼いポニーが出てきて、これを私はロリキャラと認識しているのだけど、本物のロリコンは人間でないキャラをロリキャラ認定できるのだろうか。2012-12-26 14:59:19 via TweetDe…
@kururu_goedel: なんか例の2chスレが見事なリンク集になっていて笑える URL2012-12-22 16:25:41 via TweetDeck @kururu_goedel: そういえば、静岡の某氏の名前が漢字で書けなくて焦った。ちょっと日本語の劣化が危険区域に入ってきたかもしれない。2012-12-…
@kururu_goedel: 数学たんはいつまでこれ（ URL ）をツイートし続けて、私のスルー力を試しつづけるのだろう？2012-12-21 16:36:44 via TweetDeck @kururu_goedel: kururu_goedel が2012年に一番多く発言した単語は【証明】です。 その他のランキングはこち…
@kururu_goedel: @howasepu ネコ充ムカつく2012-12-20 11:13:47 via TweetDeck to @howasepu
@kururu_goedel: いつも思うんだが、計画をたてて練習（少なくともイメトレ）してきている奴らに、銃を持ってようが素人がそうそうたちうちできるんかと。2012-12-19 14:20:11 via TweetDeck @kururu_goedel: NRAがコネチカットの事件に関して「二度とこのよ…
@kururu_goedel: もし池上彰が日銀・財務省の意向と保護を受けて、政治家を切りまくって人気を博した状態で、日銀法改正やインタゲをこきおろしてグダグダにするのが目的だとしたらという妄想がわいてきた。2012-12-18 12:23:08 via TweetDeck @kururu_goede…
@kururu_goedel: あと、日本ではどこの党も予備選やってないんだよねぇ。本選挙の前に細かい民意を拾う、そういう制度なしに小選挙区は回らないと思うのだけれども。2012-12-17 16:11:45 via TweetDeck @kururu_goedel: 自民圧勝ってことでTLが進んでいます…
@kururu_goedel: @aleo724 現在知られている全ての測度は0になります。そのため、一点に収縮するという予想が立てられましたが今のところ未解決で、数学的チャック・ノリス理論の大きな課題になっています。2012-12-15 17:33:51 via TweetDeck to @aleo724 @…
@kururu_goedel: @yonesanyukai シェラーは明らかにプラトニストではないです。"You can enter Cantor's paradise"参照。ZFCは数学の世界を表現するのに十分だというのが彼の考えのようです。2012-12-13 15:29:31 via TweetDeck to @yonesanyukai @kururu_go…
@kururu_goedel: @ken_m123 なるほど。詰め込みでしか勉強してないというのは、うちでもそういう感じですし。ただ、それでもごく普通の検算くらいはやってから出ていってほしいなと。その方が確実に点数につながると思うんですが。2012-12-12 02:12:34 via T…
@kururu_goedel: この前、なにか毛沢東に絡んだダジャレを思いついたのに忘れてしまってなんだったかなあともんもんとしていたのだけれども、「マオって守護月天」だった。2012-12-11 05:18:18 via TweetDeck
@kururu_goedel: 何回も言いますが「ワイパー『ワイはパーや！』」という私にとって一世一代のダジャレが0 fav, 0 RTに終わったのは、ツイッターの世界がいかに過酷かを強烈に実感させられるできごとでした。2012-12-09 16:08:32 via TweetDeck @kururu_goed…
@kururu_goedel: @mr_konn って直後に即興小説書き始めてるじゃんよ。じゃんよ。2012-12-08 03:30:31 via TweetDeck to @mr_konn @kururu_goedel: @mr_konn 方法１:収入０でもやっていけるレベルに金持ちになる、方法２：ヒモ、方法３：パトロン、方法４：霞…
@kururu_goedel: @math8128 モップください。アメリカまで配達してもらうとおいくら？2012-12-07 12:24:34 via TweetDeck to @math8128 @kururu_goedel: ようやく目が冴えてきた。2012-12-07 01:53:50 via TweetDeck
@kururu_goedel: 変なこと言ってる悪かった、ちゃんと共和党にも支持率調査の人はいたのね。>2012年アメリカ大統領選、関係者の発言 - P.E.S. (id:okemos / @okemos_PES) URL2012-12-06 19:34:09 via Tweet Button @kururu_goedel: ラマヌジャンが蘊蓄を語れ…
@kururu_goedel: @itimasan ニャーン2012-12-04 22:39:35 via TweetDeck to @itimasan @kururu_goedel: これいいなあ。わたしもニャーンってリプ送ると恥を知りなさいっていってもらえるのだろうか？RT @itimasan @chibaf 何がニャーンですか、恥を知りなさ…
