その命題が真か偽かは - 数学＠ふたば保管庫

数学＠ふたば保管庫 [戻る]

46900 B


その命題が真か偽かは実際には決まっているが
その命題を証明するために必要な推論が無限になるため
その命題を証明することが出来ない
っていう命題はありますか？

  ゴールドバッハ予想とか

  コピペ馬鹿は荒らしである

  Q(X)=X(X)とする。
F_N(X)=「Q(X)およびQ(X)の否定には長さN以下の証明列が存在しない」とする。
G_N=Q(F_N)とする。
G=「Ｇ_1かつG_2かつG_3かつ…」とする。
各々のNについて、G_Nは長さN以下の証明列では証明も反証もできない。
したがってGは長さ有限の証明列では証明も反証もできない。
というのを考えてみたのだがどこか間違っている気もする。

  本人に荒らしてる自覚はない
いろいろ障害を抱えているんだろうな
お悔やみ申し上げます

  コピペ？
スレ文が？

  >コピペ？
>スレ文が？
ごめんNo.89521だけどNo.89518に対してレスしたんだ