[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
614(3): ◆pObFevaelafK [sage] 2023/07/25(火)16:20 ID:4rE+kK8l(6/18)
>>611
＞唯一無二正解者がお前だ
このpとrを関係付けて、Legnedre予想が正しいことを証明したのは私かもしれません。
私は、この証明法を個人で考案しました。
＞「命題B」は「命題Aの否定命題」=「命題¬A」を「独立」としている癖に
611は背理法が分からないのか分からないふりをしているのか？「命題¬A」は
真であるか偽であるか証明できていないから、これを真であると仮定している。
命題Bは、命題¬Aが真であろうとなかろうと命題¬Aに依存せずに
常にn≧3で真であることを証明している。よって、n≧3のnに対して
命題¬Aが真であると命題Bが偽になり矛盾が生じるので、命題¬Aが偽になる。
＞フーテンの寅さん
661がな
＞丸で『聞こえてくる声』〜
どこが同じなのか、病気でしょうか？
>>612
任意のn(n≧3)についてそのプログラムを書くことは可能だ。
そのプログラムがn=3,4,5,…と処理を行っていき、n→∞まで
計算が可能だと考えるんですか？間違いのレスをしたおしていますけど
ちゃんと逃げないで答えろ
>>613
＞命題pが命題qと独立ならば命題pは命題qを以ても命題¬qを以ても示される事は無い
＞此れは事実だよ
そうだろう。証明は、「n^2<p<n(n+1)の合成数である全てのpとrと一対一
の関係を設定できる。」ということなので、「n^2<p<n(n+1)のpが全て
合成数である。」という命題¬Aに依存するはずがない。
＞いい加減に高木流数学用語用法を卒業しないの？
いい加減に意味不明なレスを続けるのを止めてくれ。
615: １３２人目の素数さん [sage] 2023/07/25(火)19:00 ID:B2tenSyg(1/3)
>>614
>命題￢Aが真であろうとなかろうと命題￢Aに依存せずに
>常にn≧3で真であることを証明している。
命題￢Aが偽であれば、常にn≧3で真であることを証明できないんですよ。
合成数が余るんですからw
>任意のn(n≧3)についてそのプログラムを書くことは可能だ。
>そのプログラムがn=3,4,5,…と処理を行っていき、n→∞まで
>計算が可能だと考えるんですか？
任意のnについては一対一対応が可能なアルゴリズムだと言うのであれば、そのプログラムも任意のnについて実行可能です。
それがアルゴリズムです。「計算量が甚大」と「プログラムを記述出来ない」は異なります。
>「n^2<p<n(n+1)のpが全て
合成数である。」という命題￢Aに依存するはずがない
依存するんですよ、依存しないなら命題￢Aでも命題Aのどちらも矛盾が起きることがないんです。
はずがないと考えていることこそが、背理法にあるまじき追加の仮定なんですよ
616(2): ◆pObFevaelafK [sage] 2023/07/25(火)19:21 ID:4rE+kK8l(7/18)
＞合成数が余るんですからw
それが矛盾するということですけど。
＞「計算量が甚大」と「プログラムを記述出来ない」
こんな事を書いていません。無限の計算量が必要なのをいくら計算速度の速い
コンピューターでも計算できないということは理解できますか？
＞背理法にあるまじき追加の仮定なんですよ
わけの分からない理屈は結構です。命題Bはn≧3で常に真です。証明しました。
これができないn*wを示して下さい。
>>614に
＞計算が可能だと考えるんですか？
と書きましたが、やはりスルーしている
619(1): １３２人目の素数さん [sage] 2023/07/25(火)19:49 ID:MQHDtOzG(1)
>>614
「命題￢Aが真であると命題Bが偽にな」るのなら、
「命題Bは、命題￢Aが真であろうとなかろうと命題￢Aに依存せずに常にn≧3で真である」は間違いじゃん。馬鹿過ぎて腹いてぇわ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s