2011-08-27

自然数論を含むだけで自己の無矛盾性を証明できないとか

どんだけこの世の数学構造は弱いんだよと。

草葉の陰や孫宇宙にでも行けば自然数論を含みながらも完全性を満たすような数学構造でもあるんかねえ。1元1次方程式から解が複数大量に湧き出すとかさ。もちろんこっちの世の中で同じ議論しても絶対にたどり着けない境地なんだろうけど。

http://anond.hatelabo.jp/20110827055331

記事への反応 -

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん