[過去ログ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
452(1): 132人目の素数さん [sage] 2023/07/20(木)23:45 ID:ZRpAbM5O(1/2)
>>450
あなたが書いていないのは
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
を仮定したうえで、②の条件に当てはまるnから得られる範囲、n^2<p<n(n+1)を満たす合成数p全てとrとの対応関係を作るアルゴリズムです。
これらのpについては、どんなアルゴリズムをもってもrをあてがうことができないのは、3.の鳩の巣原理から明白です。
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
を仮定したとき、全ての合成数pに対応するrを与えるアルゴリズムはありません。
あなたはできもしないアルゴリズムを出来ると2.で言い張るから、3.鳩の巣原理と矛盾しただけです。
それは②∃n,n^2<p<n(n+1)を満たすpが全て合成数、を仮定したからではありません。
②∃n,n^2<p<n(n+1)を満たすpが全て合成数、を仮定したにも関わらず、2.を言い張ったから矛盾が生じただけです。
453(1): 132人目の素数さん [sage] 2023/07/20(木)23:52 ID:ZRpAbM5O(2/2)
>>451
>>436の1.2.3.と3
任意のn
と言ってますが、
これはそれぞれ
∀n,∃nのどっちですか?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.042s