[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
257(2): ◆pObFevaelafK [sage] 2023/07/07(金)10:25 ID:9AAq5gz4(7/22)
>>253
＞議論の対象になるべき細かな部分が明示されていないから誰にも伝わらない。
>>176にn=17の場合の詳細な手順を書きました。
＞高木君自身も、いくつかの具体例で確認しただけで、一般的な成立を確認していないのではないか？
n=17の方法で行えば、全てのnで成立することが分かります。私はその証明を記述しました。
この方法を理解している人は少なからずいると思います。
これ以上の証明を行えるはずがありません。全てのnに対して、関係を記述することはできません。
しかし、このアルゴリズムをプログラムにして関係[p,r]を出力させることは可能だと思います。
261: １３２人目の素数さん [] 2023/07/07(金)10:48 ID:rzSql+wL(4/8)
>>257
>全てのnに対して、関係を記述することはできません。
>しかし、このアルゴリズムをプログラムにして関係[p,r]を出力させることは可能だと思います。
できません、と認めた時点で証明になってないの
思います、といった時点で1対1対応になるというのは、ただの仮定なの
特に全てのpが合成数になるときのアルゴリズムの記述が絶対に必要
>>258
背理法を理解してる？
pが合成数だとすればrと対応出来るといった以上、17が仮に合成数だとしたら対応するrを見つけるアルゴリズムの記述が必要なの
だからこそ、全てのnに対して、関係を記述することが必要なの
609(1): １３２人目の素数さん [sage] 2023/07/25(火)09:45 ID:1YlZfny+(1)
>>606
高木くんが書いた論文なんだから、毎回同じ文書なのよ
書き方改めなよと言っても、必要ないと突っぱねるだけだし
＞命題Bはn≧3の全てのnに対して真だから、命題￢Aに依存しない。
高木くんが言い張ったところで、
261 １３２人目の素数さん 2023/07/07(金) 10:48:01.49 ID:rzSql+wL
>>257
>全てのnに対して、関係を記述することはできません。
>しかし、このアルゴリズムをプログラムにして関係[p,r]を出力させることは可能だと思います。
できません、と認めた時点で証明になってないの
思います、といった時点で1対1対応になるというのは、ただの仮定なの
特に全てのpが合成数になるときのアルゴリズムの記述が絶対に必要
>>258
背理法を理解してる？
pが合成数だとすればrと対応出来るといった以上、17が仮に合成数だとしたら対応するrを見つけるアルゴリズムの記述が必要なの
だからこそ、全てのnに対して、関係を記述することが必要なの
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s