25/03/13 11:04:25.99 1RCjwQig.net
現在の数学・論理学では、証明は有限個の論理式しか書けない。
だから、無限個の命題を証明するには、たとえば数学的帰納法などの有限に帰着させるテクニックが必要。
例:
任意の自然数nに対して、Σ n = n(n +1)/2。
これをP(n)とおくと、∀n, P(n)を示すには、無限個の命題P(1), P(2), ... を示さなければいけない。
しかし、上手い式変形を見つけたり、数学的帰納法を使えば、有限の記述で証明できる。
逆に、証明を構成する論理式は無限個でも（非可算個でも）いい、としてはどうか？
そうすれば、上記のような命題の直接証明が可能になる。
2:１３２人目の素数さん
25/03/13 11:13:18.98 pAWm2C1t.net
その証明が正しいかどうかをどうやって判定するんだ
3:１３２人目の素数さん
25/03/13 11:24:14.10 QMJ8nFOa.net
P(n)を論理式とする。{P(n)|n∈N}は無限個の論理式
4:１３２人目の素数さん
25/03/13 11:24:36.94 QMJ8nFOa.net
ハイ論破
5:１３２人目の素数さん
25/03/13 12:20:22.53 Jgblpe9j.net
>>3
それがどうかしたか
6:poem
25/03/13 14:00:48.70 9UbFLZW1.net
計算も多項式時間問題あるから
論理には多項式時間問題ないのか？と素人だから疑問になる
多項式時間問題になる論理は自己言及以外にもあるだろうけど
自己言及論理は一応には多項式時間問題論理では？
7:poem
25/03/13 14:02:07.67 9UbFLZW1.net
スレタイに適用するなら
自己言及論理で論理無限項になる証明は
証明可能か？とか
になる
8:poem
25/03/13 14:03:05.18 9UbFLZW1.net
新たな懸賞金問題の芋蔓がチラ見え
9:poem
25/03/13 14:16:24.08 9UbFLZW1.net
あ、スレタイ虚ってた
スレタイあらゆる命題を証明反証可能か？
もし
無限項の論理式の何種類かの内1種類が自己言及なら
自己言及すれば、そして自己言及を扱えれば、あらゆる命題に証明反証不可能な命題は実在しないか？
という話になる
10:poem
25/03/13 14:17:50.01 9UbFLZW1.net
自分は100％なんて大口だろう！と思う
あらゆる方法の力が全てには必要だと
11:poem
25/03/13 14:19:22.88 9UbFLZW1.net
>>7の証明可能か？は扱えるか？ということで
計算の多項式時間問題も多項式時間で扱えないから懸賞金問題なわけだよね
12:１３２人目の素数さん
25/03/13 16:18:34.05 1QPgiK/Y.net
任意の正の実数xに対して、
f(x) = 1 - 1/10^xは、f(x) は1以外だから
f(∞) ≠ 1 だよな ──①
だからさ
で任意の0超1 未満のf(x)に対して
xは、実数解は、存在は、すると思う
で、なんやかんやで
f(∞) < 1 は不成立──②
①②より
f(∞) > 1 だろ。あれは無限個あれば
１よりデカくなるハズです。
by 匿名
13:１３２人目の素数さん
25/04/09 15:05:10.07 3ybw8ROXI
山本太郎がWHO基準は35db以下だと沖縄米軍騒音100db超を国会で追求するのは結構だが海に囲まれた日本て゛世界最惡の殺人組織公明党汚染の
國土破壊省天下り賄賂癒着のJALだのANAだのテ□リストにわざわざ荒川から陸域侵犯大騷音まき散らさせて私権侵害
国民貧困化させて強奪した血税を湯水の如く使って80db超のクソ騒音へリを毎日グルグル東京どころか周辺県まで飛ばしまくって
住民イライラ犯罪惹起して体感治安ガ‐だのと白々しいことほざいて捏造逮捕までしてる世界最悪の殺人腐敗テロ組織警視庁た゛の同し゛く
マッチポンプ殺人組織消防庁だのか゛莫大な温室効果ガスまき散らして気候変動．海水温上昇、土砂崩れ、洪水、大雪、山火事にと災害連發
人殺しまくってエネルギ－に農作物に水産物にと暴騰させて憲法ガン無視で基本的人権から財産権まで侵害して住民の睡眠妨害して免疫力低下
病人倍増医療財源逼迫に静音が生命線の知的産業に威力業務妨害して社会的生産性まで壊滅させて日本を国際竸争カもクソもないポンコツ
貧乏国家に陥れてる諸悪の根源がこいつらテロリストた゛と指摘して皆殺しにするのか゛先た゛ろ沖縄はクソ那覇廃港が先
(ref.〕 URLﾘﾝｸ(www.call4.jp)<)ｅ.com/ , URLﾘﾝｸ(fligh)ｔ-route.com／
ttps：/／n-souonhigaisosyoudan.amеbaownd.com/
14:poem
25/05/06 21:47:48.42 gQ+RGHgo.net
数板実験スレ
ｽﾚﾘﾝｸ(math板)
15:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています