[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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.046s