Edit Comment on
20090512-1
n[0] = "通りすがり"; m[0] = "ミルカが長●有○化しそうな予感・・・。"; d[0] = "2009-06-05 12:40:55"; n[1] = "かがみ"; m[1] = "「長●有○」というのが分からないでそのままで検索しました。しっかりヒットしました。涼宮ハルヒって見たことないんですよ。というかテレビ見ないので。ネットで言動を調べるとたしかに「不完全性定理」っぽいところがあるかも知れません。というか長門有希って案外つぼなんですが。困ったなあ。"; d[1] = "2009-06-05 16:49:47"; n[2] = "通りすがり"; m[2] = "google恐るべし(w。
長門有希は「笹の葉ラプソディ」の中で、
「無矛盾な公理的集合論は、自己そのものの無矛盾性を証明できないから」
とまさにゲーデルの不完全性定理そのものについて言及してます。
また、別の作品では、ホフスタッターの「ゲーデル・エッシャー・バッハ」と思われる本を読んでいる、との情報もありますね。
"; d[2] = "2009-06-06 16:51:13"; n[3] = "かがみ"; m[3] = "むむむ。そんな話を聞くとますます萌えモードに入ってしまいます。"; d[3] = "2009-06-08 15:07:35";
(password)