[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
279(3): ◆pObFevaelafK [sage] 2023/07/07(金)17:27 ID:9AAq5gz4(13/22)
>>276
＞これは、全ては尽くせないと君自身が言っている。
こんな事は書いていないが、私が書いたのは無限の大きさのnに対してこの関係[p,r]を記述する
ことが無理だと書いている。
＞あるnまでうまくいったら、それよりも大きなnについてはうまくいくことが保証されるのか？
そういうことではなく、n=17のときの方法が全てのnに対してうまくいくと考えることができる。
＞一般のnについて、論理で示す必要があると言っている
そんな事は分かりきっているが、この証明はn=17の方法が全てのnで用いることができると主張している。
＞それが必ず可能となることを示す必要があると思うぞ。
n=17の場合が全てのnで通用すると考えている。その説明は、論文を読めば分かると思われる。
>>277
だから、それはn=17の方法が他のnでも成立するとしかいいようがない。
>>278
＞という指摘は正しい。あなたの論文の書き方は不十分なのよ
Legndre予想の証明は、他の証明と比べて特に理解するのが困難だという証明になっている。
＞全てのpが合成数の時、rの集合とは濃度が異なるので、絶対に1:1対応にはなりません。
＞だから、問題ありです。それは矛盾でも背理法でもありません。
あなたの考えは大間違いです。この証明は背理法であり、その仮定がn^2<p<n(n+1)のpが全て合成数
であるという偽りの命題を仮定しています。それで、pが合成数であるときに、番号を付け替えたrと
一対一対応になるということを証明しているので、鳩ノ巣原理により矛盾が生じます。
何の問題もありません。
280: ◆pObFevaelafK [sage] 2023/07/07(金)17:29 ID:9AAq5gz4(14/22)
>>279 訂正
×偽りの命題を仮定しています。
〇偽りの命題です。
282(2): １３２人目の素数さん [] 2023/07/07(金)17:43 ID:k8KYGkJ2(4/12)
>>279
>無理だと書いている。
無理なら、証明になってない。
>n=17のときの方法が全てのnに対してうまくいくと考えることができる
それを示すのが、普通の世界での証明。考えることが出来るのゴリ押しは証明に非ず。
＞一般のnについて、論理で示す必要があると言っている
>そんな事は分かりきっているが、この証明はn=17の方法が全てのnで用いることができると主張している
主張してるだけでは、証明にあらず
>n=17の場合が全てのnで通用すると考えている。その説明は、論文を読めば分かると思われる。
考えているといったところで、それはただの仮定に過ぎない。背理法にさらに仮定を付け加えただけ。>>128の言った通り、間違った背理法。
>理解するのが困難
なら、より説明を求められるのは当然
>pが合成数であるときに、番号を付け替えたrと一対一対応になるということを証明
証明していません。n=17の場合が全てのnで通用すると考えている、と言っているだけでそれを示していません。
嘘もたいがいにしろよ
477: １３２人目の素数さん [sage] 2023/07/21(金)19:17 ID:0W4dpoNH(5/7)
>>474
>>279
>無理だと書いている。
無理なら、証明になってない。
>n=17のときの方法が全てのnに対してうまくいくと考えることができる
それを示すのが、普通の世界での証明。考えることが出来るのゴリ押しは証明に非ず。
＞一般のnについて、論理で示す必要があると言っている
>そんな事は分かりきっているが、この証明はn=17の方法が全てのnで用いることができると主張している
主張してるだけでは、証明にあらず
>n=17の場合が全てのnで通用すると考えている。その説明は、論文を読めば分かると思われる。
考えているといったところで、それはただの仮定に過ぎない。背理法にさらに仮定を付け加えただけ。>>128の言った通り、間違った背理法。
>理解するのが困難
なら、より説明を求められるのは当然
>pが合成数であるときに、番号を付け替えたrと一対一対応になるということを証明
証明していません。n=17の場合が全てのnで通用すると考えている、と言っているだけでそれを示していません。
嘘もたいがいにしろよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.053s