[過去ログ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
903
(1): tai [] 2023/08/08(火)11:11 ID:JuA4n51V(1)
p→r

の対応がきれいに書けたとしても

それは素数でないpからの対応であって

すべて合成数としたpからの対応としては

使えないと思います

あくまで抽象的に

合成数pからのrへの対応を与えないと

いけない

素数が不足するという議論そのもの

が素数の存在を前提としている
904: ◆pObFevaelafK [sage] 2023/08/08(火)11:47 ID:RqEEqfe+(2/4)
>>903
>すべて合成数としたpからの対応として

>使えないと思います

全て合成数の場合のp→rの関係ではありません。
合成数である全てのpに対して、p→rの関係が設定できるということを
証明しました。

>あくまで抽象的に

>合成数pからのrへの対応を与えないと

具体的に示しています。

>素数が不足するという議論そのもの

>が素数の存在を前提としている

素数ではありません。rの番号を付け替えてpとの関係を設定する
過程でのrの個数です。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.039s