注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
id:aurelianoさんのエントリには面白いものも多いと思うのですが。 http://d.hatena.ne.jp/aureliano/20... id:aurelianoさんのエントリには面白いものも多いと思うのですが。 http://d.hatena.ne.jp/aureliano/20081102/1225620016 久しぶりに激怒しました。感情的に書こうかとも思ったのですが、ここのスタイルではないので。私のゲーデルに対する知識は、他の数理論理学者または集合論者の方々に比べるとお粗末なので、本当は他の方々にお願いしたいところではあるのですが。 それからついで言っておくと、ゲーデルの不完全性定理は世界は矛盾していることを証明している。それを受け取れるかどうかがうすらバカとそれ以外とを隔てる分水嶺となる。 これがどのくらいゲーデル本人の見方と異なっているかはゲーデルの哲学に関する文章を一つでも読んでいれば明白でしょう。または、あの美しい「カントルの連続体問題とは何か」を読んでいれば。それは私にだってわかります。彼は、数学が矛盾して
2010/04/27 リンク