無限個の論理式を許せばあらゆる命題を証明or反証できるのでは？ (13ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
6: poem 03/13(木)14:00 ID:9UbFLZW1(1/6) AAS
計算も多項式時間問題あるから
論理には多項式時間問題ないのか？と素人だから疑問になる
多項式時間問題になる論理は自己言及以外にもあるだろうけど
自己言及論理は一応には多項式時間問題論理では？
7(1): poem 03/13(木)14:02 ID:9UbFLZW1(2/6) AAS
スレタイに適用するなら
自己言及論理で論理無限項になる証明は
証明可能か？とか
になる
8: poem 03/13(木)14:03 ID:9UbFLZW1(3/6) AAS
新たな懸賞金問題の芋蔓がチラ見え
9: poem 03/13(木)14:16 ID:9UbFLZW1(4/6) AAS
あ、スレタイ虚ってた
スレタイあらゆる命題を証明反証可能か？
もし
無限項の論理式の何種類かの内1種類が自己言及なら
自己言及すれば、そして自己言及を扱えれば、あらゆる命題に証明反証不可能な命題は実在しないか？
という話になる
10: poem 03/13(木)14:17 ID:9UbFLZW1(5/6) AAS
自分は100％なんて大口だろう！と思う
あらゆる方法の力が全てには必要だと
11: poem 03/13(木)14:19 ID:9UbFLZW1(6/6) AAS
>>7の証明可能か？は扱えるか？ということで
計算の多項式時間問題も多項式時間で扱えないから懸賞金問題なわけだよね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.585s*