2006/07/19 (水) 21:20:57        [qwerty]
ホフスタッターの本読んで自己言及文について
書かれてたのが面白かったんで色々考えたんだけど

文A「あなたがこの文章を読んでいるときに限り
   この文章が存在してるかどうか分かる」
文B「この文章は文Aが存在していることを証明するものである」

ゲーデルの不完全性定理ってこういうことなの?ヽ(´ー`)ノ