[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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のどちらも矛盾が起きることがないんです。
はずがないと考えていることこそが、背理法にあるまじき追加の仮定なんですよ
617(1): １３２人目の素数さん [sage] 2023/07/25(火)19:42 ID:B2tenSyg(2/3)
>>616
＞合成数が余るんですからw
>それが矛盾するということですけど。
独立していれば矛盾は生じません。
背理法以前に論理を学んでください。
>無限の計算量が必要なのをいくら計算速度の速い
>コンピューターでも計算できないということは理解できますか？
計算するためのアルゴリズムを記述してくださいと言ってるんです。
アルゴリズムがなければ無限の計算量も生じません。
任意のnについては一対一対応が可能なアルゴリズムだと言うのであれば、そのプログラムも任意のnについて実行可能です。
620(1): １３２人目の素数さん [sage] 2023/07/25(火)19:59 ID:B2tenSyg(3/3)
>>616
n*は>>470で示されています。
高木くんは、任意のnについてのアルゴリズムを示すことが出来ないのに、
常に真だと言っているだけです。
任意のnについてのアルゴリズムを示すとは、
n^2<p<n(n+1)を満たす合成数pとrの対応関係をつくるアルゴリズムを書いてくださいということです。
n=17やn=18の場合…の具体例ではありません。
このとき、合成数pは小さいものから大きいものへかけて
p_1,p_2,…p_j (j<=n*-1)と書けます。
p_1,p_2,…p_jをどのように
1<r<nに対応させるのかを、アルゴリズムとして書けば、任意のnについてのアルゴリズムとなります。
n=17やn=18の場合…の具体例ではなく、p_iをどのようにrに対応させるのか
アルゴリズムとして書いてください。
j<=n-1である以上、アルゴリズムにはj=n-1の場合も必要です。
それが書けないとなれば、アルゴリズムは定義できていないんです。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s