@kururu_goedel: @MarriageTheorem 確かに誤解を招く表現でした。すみません。2011-09-25 13:10:40 via TweetDeck to @MarriageTheorem @kururu_goedel: アレフ1が可測基数になるはずはないと思う人の気持ちも考えてください！！ちょっとでも考慮に入れてい…

@kururu_goedel: これ自体は身も蓋もないのだけど、要するにすごい人と同じことをやろうとしてもほとんど物理的に無理って面があるので、そうじゃないやり方を模索しないといけない場面はあるよなというのが、自分的には教訓で。2011-09-23 23:02:15 via See…

@kururu_goedel: @shinji_kono 単にどちらもそれなりの意義のあるものだと主張したいだけです。2011-09-19 22:21:28 via Seesmic to @shinji_kono @kururu_goedel: @shinji_kono コーエン以降、特に1980年代以降の結果を踏まえて言っています。むしろゲーデ…

@kururu_goedel: ワイパー「わいはパーや」2011-09-18 13:49:54 via TweetDeck @kururu_goedel: 「数学の哲学」についてですが、(中略)数学者は「数学の哲学」を気にせずとも普通に数学に邁進できると思いますが、いかがでしょうか。(後略) - kururu_goedel …

@kururu_goedel: もうそろそろインタビューもほとんど来なくなってきた。URL2011-09-16 12:54:11 via TweetDeck

@kururu_goedel: 朝、洗面所に連れていった娘がものすごくゴネて15分くらい立ち往生して妻が大激怒。2011-09-14 22:03:32 via Seesmic @kururu_goedel: 1999年に書かれたコラムで、すでにヨーロッパはこの条件を満たしていないって書いてあるな。当たり前だ…

@kururu_goedel: @igaris ネタにマジレス気味ですが。それで何が起こるかということは、ヨーロッパの方で嫌というほど見せつけられています。労働力や市場が十分に統合されていない状態で、国ごとの金融政策がとれないというのは恐ろしいことです。2011-09-1…

@kururu_goedel: @ken_m123 うちの学科では、評価の方は基本的に学科長一任になっています。よくそれでトラブルが起きないなって感じですが、昇給に個人差があまりつかないようなシステムになっているのでそんなに気にする人がいないのかもしれません。2011-…

@kururu_goedel: @tenapi 電話に出んわ2011-09-11 22:15:35 via TweetDeck to @tenapi @kururu_goedel: 今年は本当に公私ともに忙しくて。絶望的に。twitterとかinterviewsは、大部分消灯時間過ぎて仕事はさせてもらえない時間にやっているのです。2011-09-1…

@kururu_goedel: @yuyu_de_gozaru 教育系ではなく数学のジャーナルです。思ったのは別に教育系でなくてもそういう書き方はされるのではないか、ということで。2011-09-10 13:43:33 via TweetDeck to @yuyu_de_gozaru @kururu_goedel: 誰かが「『逆すうがく』…

@kururu_goedel: @MarriageTheorem えっ？2011-09-09 21:55:18 via Seesmic to @MarriageTheorem @kururu_goedel: レベル高すぎ。RT @kktyk: 「次の読みを答えなさい。『処女はお姉様に恋…」ピンポーン！「はいっ！マリア様…これは友情？ それとも恋なのです…

@kururu_goedel: 数学の未解決問題でkururu_goedelさんが興味深いと持っているものを思いつくままあげてみてもらえませんか。 - kururu_goedel [ザ・インタビューズ] #theinterviews URL2011-09-08 12:44:31 via Tweet Button @kururu_goedel: @MarriageTheo…

@kururu_goedel: 一寸法師の「大きく、大きくなーれ」で、身体のある一部だけが大きくなるという妄想が頭をよぎったあたりも父親失格です。2011-09-07 22:56:25 via Seesmic @kururu_goedel: 娘に白雪姫を読み聞かせながら、「女一人で男7人の家に住まわせて…

http://bit.ly/qkFoIp が解けたので証明書きます。f(a, b, c, d)=(|a-b|, |b-c|, |c-d|, |d-a|)とする。証明したいのは、任意の自然数の組(a, b, c, d)に対して、自然数nが存在してf^n(a, b, c, d)=(0, 0, 0, 0)が成り立つこと。帰納法を使うと、任意の自然…

@kururu_goedel: @mr_konn 本当にAgda2で書いてくると思いませんでした……。よく考えたら僕Agda2読めない。2011-09-06 23:20:40 via Seesmic to @mr_konn @kururu_goedel: @_reaf ゲーデルの不完全性定理によって、ではなく、不完全性定理が存在を保証してい…

@kururu_goedel: @kagami_hr 集合論者は祈りのない相当な心理的持病の持ち主なので、5まで数えるとωに飛んでしまうのでしょう（参考 : URL）2011-09-05 12:43:03 via TweetDeck to @kagami_hr @kururu_goedel: kururu_goedelさんが集合論でこれは美しいと思…

@kururu_goedel: @igaris たった20年、って思う人も多いと思いますが。2011-09-04 11:50:50 via web to @igaris @kururu_goedel: @yasuto0627 もう少し最近です…2011-09-04 11:50:13 via web to @yasuto0627

@kururu_goedel: 「かけ算の順序」論争に代表される日本の数学教育の問題についてですが、数学者として何らかの責任を感じていますでしょうか？ - kururu_goedel [ザ・インタビューズ] #theinterviews URL2011-09-03 13:14:38 via Tweet Button @kururu_goed…

@kururu_goedel: @CharStream ありがとうございます。ちょっと見てみます。2011-09-02 22:07:35 via Seesmic to @CharStream @kururu_goedel: この前、ラジオでモーツァルトのピアノ協奏曲第26番が流れていた。あんまりよいイメージが無かったのだけれども、…

@kururu_goedel: アメリカ東部標準時にて2011-09-01 04:10:11 via Seesmic @kururu_goedel: 明後日正午締切の書類が一つ。明日はほぼ作業できないので今日頑張る2011-09-01 04:09:55 via Seesmic @kururu_goedel: 締切を見間違えてたんだよー。2011-09-01 04…