@kururu_goedel: @morinomichi311 集合論的トポロジーでジェネトポからはみ出す部分は、まだそんなにないと思います。今、代数トポロジーのそれなりに重要な問題が集合論的に解けたというプレプリントが出ていて盛り上がっているところなんですが、逆にいう…

@kururu_goedel: この映画見てー！RT @howasepu 女の子「わあ、素敵！こんな大きな機械によって、私たちの心の健康の薬が作られているのね？こんなのったら、見ているだけでドキドキしてしまうわ！」道化「そうだよ！だからそうだって何回も言ってるだろ！い…

@kururu_goedel: @adam_an_tane 仮病だという私が信じられる証拠が出てこない限り、私は本当に病気だったという前提で議論します。2012-09-28 13:31:43 via TweetDeck to @adam_an_tane @kururu_goedel: なにをどうして私が「東京ドーム関連のお得な情報を配…

@kururu_goedel: 誤変換を笑うのは良くないとわかっているのですが、自宅に艦橋があってその上でDDRやっているシュールな光景が頭に浮かんできて…… RT @matsuue ダンスエヴヴォリューションが自宅でできる艦橋整えたい2012-09-26 03:07:31 via TweetDeck

@kururu_goedel: @RO14159265 ああ、そうでした。あれは集合論からではなかったですね。2012-09-25 04:11:10 via TweetDeck to @RO14159265 @kururu_goedel: 仕事2012-09-25 02:44:42 via TweetDeck @kururu_goedel: @tane_yoshi マジレスすると、専門のこと…

@kururu_goedel: 一応念の為言っておきますと、バナッハ・タルスキ・ハウスドルフパラドックスを逆から使えば、二つのボールを一つにできますからね。2012-09-24 12:46:11 via TweetDeck

@kururu_goedel: @mr_konn 学部にいる間は十分早いうちですよ。2012-09-23 13:24:06 via TweetDeck to @mr_konn @kururu_goedel: @srb_2 プロパーイテレイションってなんですか？単にproper forcingの（おそらくcountable supportな）iterationですか？2012-…

@kururu_goedel: @ytb_at_twt そりゃあ真のユニバースでは、選択公理は真だけど、決定性公理もV=Lも連続体仮説も偽だから当然じゃないですか。（ネタです念の為）2012-09-22 23:51:41 via TweetDeck to @ytb_at_twt @kururu_goedel: @hrizm_math 「予想とい…

@kururu_goedel: @salmonsnare おはようございます。2012-09-21 23:34:59 via TweetDeck to @salmonsnare @kururu_goedel: 連続体仮説周りもわかり始めたのは早く見積もっても90年代以降、Shelahに加えてTodd Eisworthが実数を付け加えないiterationをバリバ…

@kururu_goedel: @emi5050_bot だからZFの公理は可算無限個だっていってんだろうが。2012-09-20 20:17:32 via TweetDeck to @emi5050_bot

@kururu_goedel: コーヒー作って飲むのが面倒なので、コーヒーの点滴したい。2012-09-19 03:02:43 via TweetDeck @kururu_goedel: 誤字修正2012-09-19 01:40:42 via TweetDeck @kururu_goedel: ブラームスがパーティーに出たとき、浮かない顔をしていたら、…

@kururu_goedel: いまどきよっぽどのことでない限り、基礎付けはどこかでできているのだから、ちゃんと公理定義定理証明になってなかろうが正確さに影響がでるとは思えないのだけど。2012-09-18 10:19:08 via TweetDeck @kururu_goedel: URL URL 【 その大部…

@kururu_goedel: @mstobr @ken_m123 他の条件が同じなら、アメリカに残ります。こちらで家買ったし、三人の子供を育てられるだけの家を日本で確保できないと思う。それ以外の面でも日本で子育て出来る自信がないです2012-09-17 00:53:43 via Mobile Web to @…

@kururu_goedel: 「キリスト、復活やめるってよ」というあまりにも罪深いダジャレを思いついてしまって悶絶していたのだが、既出のようなので心置き無く寝ます。2012-09-16 11:38:12 via TweetDeck @kururu_goedel: URL 【 数学と違って、着衣はしてるしね。…

@kururu_goedel: ”If-then"の形の文の否定を取ると、"If-then"の形にはならないよ。そういう間違いを見ると精神的に病むからやめてね、って繰り返しているのにわざわざそういう間違いをしてくるのは、私を精神的に疲弊させようとしているのか。2012-09-15 02…

@kururu_goedel: 最近、いつもに増して抜け落ちが多い。なんとか頑張る。2012-09-14 04:37:13 via TweetDeck

@kururu_goedel: URL 【どこぞの小説いわく「数学を極めた人は神学に移る人が多い」らしいですし】 数学から神学に移った人を知らない……。ゲーデルも神学をやったとはいい難いだろうし。2012-09-13 05:58:08 via TweetDeck @kururu_goedel: @konan_sas ただ…

@kururu_goedel: @sordfish777 亀レスですが、思い返してみると、共和党の大統領予備選でそれなりの票を獲得した人は、社会的または財政的に超保守的な人ばかりですね。2012-09-11 16:45:13 via TweetDeck to @sordfish777 @kururu_goedel: Fields Institute…

@kururu_goedel: @ken_m123 なんか大学教員って暇だとでも思われているんですかね。必死でオフィスにたどり着いたらすっぽかし、というのは私も数回経験があります。2012-09-10 13:54:49 via Mobile Web to @ken_m123 @kururu_goedel: @kamo_hiroyasu その通…

@kururu_goedel: 連続体仮説ちゃんそこどいて その弱ダイヤモンド殺せない URL2012-09-09 09:36:16 via TweetDeck @kururu_goedel: ♪サザエさん サザエさん サザエさんは ハカイダーな2012-09-09 09:16:27 via TweetDeck @kururu_goedel: ♪サザエさん サザエ…

@kururu_goedel: 「情報学科の奴が皆情報になるわけじゃないだろ」2012-09-08 08:44:12 via TweetDeck @kururu_goedel: 「数学科の奴が皆数学になるわけじゃないだろ」2012-09-08 08:43:39 via TweetDeck @kururu_goedel: 最近は、レッドブルキメてからコー…

@kururu_goedel: 108 users I follow do not follow me back on Twitter. Find out who does not follow you back URL2012-09-06 23:27:10 via NotFollow.me @kururu_goedel: つまり、マイノリティ以前に白人たちの支持も固められていないという判断だったの…

@kururu_goedel: @sankakutyuu 穏健派がいなくなるというのはまさに起こりつつあることで、あちこちでティーパーティーの候補者が、中道寄りの候補者を予備選挙で破っているそうです。国会を止めて「奴らが悪い」とがなりたてるのが手っ取り早く支持を集める…

@kururu_goedel: 英語でも"no nothing"をnothingの強調として使うみたいな俗語はあるよね。2012-09-02 12:23:24 via TweetDeck @kururu_goedel: 単に「リベラルはあなたのお金を狙ってきた。次にあなたの医療を狙ってきた。今度は(州の)憲法を狙ってきている…

@kururu_goedel: @mr_konn そんなことを言っている人がいるんですか？もっとも完全性定理をきちんと理解したならば、証明可能であることと真偽の関係は掴んでいるはずなので、しっかりとした流れで数理論理学を学んできた人が不完全性定理をやるときには、誤…