23/07/20 13:31:09.63 UeK8SHBR.net
>>428
嘘ではありません。例に細かい間違いがあったがその修正が終わったのは、去年の6月で
viXraにあるのは最新版です。
451:◆pObFevaelafK
23/07/20 13:33:34.92 UeK8SHBR.net
>>429
＞必要なら、合成数である場合にはpとrは全て1対1の関係ができること、は誤った仮定から導かれているので、
＞実際は「2. 合成数である場合にはpとrは全て1対1の関係ができる」は誤った命題になります。
よくこんな嘘が書けたものだと思います。429の数学的なセンスがないということが分かります。
>>419や>>430を読んで全く間違った理解を修正した方がいいと思います。
452:１３２人目の素数さん
23/07/20 16:24:37.75 FEBkw6pf.net
>>430
>n^2<p<n(n+1)のpが全て合成数であるnのときのアルゴリズムが分からない
>ここに全てと書いていますが、これは関係ありません。合成数であるpに対しては、そのp全てに対して
rと一対一の関係が設定できる
関係あります。
背理法である以上、n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定しています。
その特定のnをNとしましょう。
N^2<p<N(N+1)を満たすpは全て合成数になります。
2.におけるあなたの主張は、このN^2<p<N(N+1)を満たす合成数p"全て"に対しても特定のアルゴリズムを用いるとrと1対1を作成できると言っています。
3.の鳩の巣原理通り、当然それは不可能です。
それは背理法でもなんでもありません。
あなたはルジャンドル予想が正しければ、2.のアルゴリズムとやらで1対1対応を作成できると主張し、
ルジャンドル予想が間違っていれば、鳩の巣原理上、そのアルゴリズムでは1対1対応を作成できないと3.で主張してるだけです。
矛盾しているのは、2.のアルゴリズムでは、n^2<p<n(n+1)のpが全て合成数であるNが存在しないから、そのようなNを考えなくてよいと、事実上ルジャンドル予想が正しいと既に仮定していることと
3.の鳩の巣原理で、n^2<p<n(n+1)のpが全て合成数であるNが存在しているというルジャンドル予想が間違っているという仮定、
それぞれの仮定が矛盾しているだけです。
背理法でルジャンドル予想が正しいことを示すなら、2.の証明でルジャンドル予想が間違っているという仮定のもと、
N^2<p<N(N+1)を満たす合成数ｐ"全て"について、なんらかのアルゴリズムによってrと1対1対応を作成できることを示さないといけません。
453:◆pObFevaelafK
23/07/20 16:32:34.82 UeK8SHBR.net
>>433
＞n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定
このようなことは仮定していません。私が仮定したのは>>414に書いたとおり任意のnに対してです。
＞1. n^2<p<n(n+1)のpが全て合成数であると仮定する
読み間違いで、よくそのような長文が書けたものだ。
＞事実上ルジャンドル予想が正しいと既に仮定していること
このことも書いていない。意味不明な根拠のない長文を作り出す生成AIのレスを書くのは止めろ。
これを行っている人間は全然下らないが、これでAIを学習させているのだろうか？
＞N^2<p<N(N+1)を満たす合成数ｐ"全て"について
哀れなAIよ、nをNに変化させただけか？同じことを書いているに過ぎない。
454:１３２人目の素数さん
23/07/20 17:57:35.79 FEBkw6pf.net
>>434
＞n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定
このようなことは仮定していません。私が仮定したのは>>414に書いたとおり任意のnに対してです。
＞1. n^2<p<n(n+1)のpが全て合成数であると仮定する
任意のnに対して、というのは
①∀n,n^2<p<n(n+1)を満たすpが全て合成数
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
のどちらですか？
②ですよね？
まさか①とか言わないですよね？
①の場合、論外ですよ
455:◆pObFevaelafK
23/07/20 18:52:16.13 UeK8SHBR.net
>>435
>>434で任意のn(n≧3)に対してと書いているから当然?だ。
>>414や>>430で書いた内容が分からないのでしょうか？>>414を詳細に書くとn≧3の場合に
1. 任意のnで、n^2<p<n(n+1)のpが全て合成数であると仮定する
2. 任意のnで、合成数である場合にはpとrは全て1対1の関係ができることを証明する
3. 任意のnで、鳩ノ巣原理により、矛盾が生じる
4. 1.の仮定は誤りだから、Legnedre予想は真だと証明する
論文にはこう書いてあるのに何故理解できないのでしょうか？
456:１３２人目の素数さん
23/07/20 19:06:29.58 FEBkw6pf.net
>>436
ルジャンドル予想は
任意の自然数 n について、n2 と (n + 1)2 の間には必ず素数が存在するという予想である。
URLﾘﾝｸ(ja.m.wikipedia.org)
ルジャンドル予想の逆は、
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
です。
①∀n,n^2<p<n(n+1)を満たすpが全て合成数
が成立しないのは、
アルゴリズムとやらを用いずとも
n=3なら、11が素数
n=4なら、17が素数etcetcのどれか一つを挙げれば明らかで誰も興味がありません。
背理法でルジャンドル予想を証明する際には、ルジャンドル予想の逆
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
を仮定します。
457:１３２人目の素数さん
23/07/20 19:42:56.47 iFi3r8Da.net
>>436
> >>434で任意のn(n≧3)に対してと書いているから当然①だ。
腹ｲﾃｪ
統失知障の高木、学力は中学生以下
458:１３２人目の素数さん
23/07/20 19:57:29.81 FEBkw6pf.net
高木くんより簡潔なルジャンドル予想の証明
1. ∀n≧3、n^2<p<n(n+1)のpが全て合成数であると仮定する
2.n＝3のとき、11は3^2<p<3(3+1)を満たし、かつ素数であり、1.に矛盾■
これで私も数学賞だ
459:１３２人目の素数さん
23/07/20 20:45:35.09 VMYstd/L.net
>>434
> ＞n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定
> このようなことは仮定していません。私が仮定したのは>>414に書いたとおり任意のnに対してです｡
何で半端な引用で自分の仮定意図を打ち明けてるんだ？
お前のその引用のすぐ前に
> 背理法である以上､
及び同引用のすぐ後ろに
> しています｡
の2つが有るだろ、だから『背理法である以上、～が少なくとも一つ存在することを仮定しています』形の断定文だよ｡
と、この様な断定文であると云う事は、【高木お前本人に仮定した積もり無かったり、または違った仮定意図が有ったにせよ、お前が自覚できてない、仮定したと論理的同値な記述、の指摘】を指摘なんだよ｡
よって、お前の反論『このようなことは仮定していません。私が仮定したのは』と云う【意図した仮定の打ち明け】はズレた反論である事が
お前以外のスレ内全員が、気付いて居る｡
460:◆pObFevaelafK
23/07/20 20:51:13.38 UeK8SHBR.net
>>437
全然違う。根本的に私の証明を理解していないらしい。私は任意のn(n≧3)に対して
n^2<p<n(n+1)を満たす全てのpが合成数であるということを仮定していて
このときに、全てのpがrと一対一の関係が設定できることを証明した。
しかし、鳩ノ巣原理により矛盾が生じるから上記の仮定が誤りになる。
任意のnに関する仮定が全て偽になるので、上記の仮定の逆の
任意のnに対して少なくとも一つは合成数ではない数が存在するということ
になりLegnedre予想が真であることが証明できる。
何故、この理屈が分からない程度の人間が私を馬鹿にしているのか？笑止千万だ。
>>39
全然違う。
461:１３２人目の素数さん
23/07/20 21:00:55.72 6TRu7nzq.net
>>441
>>414の例n=18のとき、アルゴリズムがどうのこうの関係なく337で素数なので
任意のn(n≧3)に対して
n^2<p<n(n+1)を満たす全てのpが合成数であるということを仮定に矛盾しています
そもそも11が素数の時点で高木式ルジャンドル予想は証明されてますね
なぜ1対1対応を作ろうとするのですか？
462:◆pObFevaelafK
23/07/20 21:05:06.24 UeK8SHBR.net
>>434,436 訂正
アンカーが間違っていた
×>>414
〇>>419
>>440
>>419の書き込みと論文の内容を考えれば、任意のnに対してかいているのいうことが分かるだろう。
任意のnのそれぞれに対して、全て矛盾が生じるから、全てのnに関してLegnendre予想が真である
と論文に書いている。ここでは、論文の主旨が分からないのに偉そうな口をたたく勘違いに
私が懇切丁寧にタダで指導するという世にも希なるスレになっている。
463:◆pObFevaelafK
23/07/20 21:09:24.4
464:5 ID:UeK8SHBR.net
465:１３２人目の素数さん
23/07/20 21:19:01.69 6TRu7nzq.net
>>444
否定すべき仮定が
任意のn(n≧3)に対して
n^2<p<n(n+1)を満たす全てのpが合成数であるということ
なので11が素数でn＝3が仮定に反してるで終わりですよね
①∀n,n^2<p<n(n+1)を満たすpが全て合成数
なんでしょ？
466:◆pObFevaelafK
23/07/20 21:26:05.26 UeK8SHBR.net
>>445
①と書いたのは間違いだった。Legendre予想の逆自体は②です。
＞11が素数でn＝3が仮定に反してるで終わりですよね
全くこういう内容ではないんですけど、論文を読んでからレスしてもらいたい。
論文の要約は>>443に書いているが。
>>437
＞アルゴリズムとやらを用いず
このような事を書いて何がいいたいのでしょうか？アルゴリズムがn≧3の全てのnで
pとrの一対一の関係を設定できるから、無限までn≧3の全てのnで矛盾が生じること
になるということですけど。
467:１３２人目の素数さん
23/07/20 21:32:36.59 6TRu7nzq.net
>>446
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
は、
n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在すること
を意味します。本当にそれでいいですか？（確認）
その場合、以下の通りです。
背理法である以上、n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定しています。
その特定のnをNとしましょう。
N^2<p<N(N+1)を満たすpは全て合成数になります。
2.におけるあなたの主張は、このN^2<p<N(N+1)を満たす合成数p"全て"に対しても特定のアルゴリズムを用いるとrと1対1を作成できると言っています。
3.の鳩の巣原理通り、当然それは不可能です。
それは背理法でもなんでもありません。
あなたはルジャンドル予想が正しければ、2.のアルゴリズムとやらで1対1対応を作成できると主張し、
ルジャンドル予想が間違っていれば、鳩の巣原理上、そのアルゴリズムでは1対1対応を作成できないと3.で主張してるだけです。
矛盾しているのは、2.のアルゴリズムでは、n^2<p<n(n+1)のpが全て合成数であるNが存在しないから、そのようなNを考えなくてよいと、事実上ルジャンドル予想が正しいと既に仮定していることと
3.の鳩の巣原理で、n^2<p<n(n+1)のpが全て合成数であるNが存在しているというルジャンドル予想が間違っているという仮定、
それぞれの仮定が矛盾しているだけです。
468:１３２人目の素数さん
23/07/20 21:38:00.64 VMYstd/L.net
引き続き>>434
> ＞事実上ルジャンドル予想が正しいと既に仮定していること
> このことも書いていない。意味不明な根拠のない長文を作り出す生成AIのレスを書くのは止めろ｡
これもさぁ高木、引用欠落だ。お前が書いた・書かない、じゃなくて
引用欠落『矛盾しているのは、2.のアルゴリズムでは、n^2<p<n(n+1)のpが全て合成数であるNが存在しないから、そのようなNを考えなくてよいと、』を補足すれば
『矛盾しているのは、～と、事実上【何々】が正しいと既に仮定していること』と云う【事実上、言える事】=【論理的同値】を言ってるわけだから
お前が書いた・書かないじゃなくて、【書いた事と論理的同値】って言われてんの
家に引き籠り、自分の考えに引き籠った論考生活浸りにより、高木の自意識他意識の割合が自意識に偏り過ぎた自意識過剰、しかも其の自意識過剰も重症
その結果、人からの【論述が～と仮定したと論理的同値であるという指摘】に対して『そんな仮定はしていない、私が仮定したのは～』というズレた反論に
【矛盾しているのは、～と、ルジャンドル予想が正しいと既に仮定し（たかったわけでは無いだろうけど、論理的には同値な論述をし）ていること、という指摘】に
『このことも書いていない。』と、自分が書いた・書いていないの話で返事するズレた反論
何で？何で高木お前は【～と論述する事は、高木お前に其の積もりが無くても～と論理的には同値な事】【～と論述する事は、高木お前が其う述べて無くても～と述べたと論理的には同値な事】って指摘に
お前の『積もり』『述べた』の話に変えちゃうの？
やっぱり、日本語がおかしいのはお前じゃん。いや日本語以前、日本語だろうが日本語じゃなかろうが
日本語で返事する前の、話の内容の認識や論点の認識がズレてるか・ズレてないか、の部分が
高木お前はスレの人間の何人からも言われてる様に、怪しい（つまりズレてる）じゃん｡
ズレた反論常習者は統合失調症それ以外の何者でもない
469:１３２人目の素数さん
23/07/20 21:38:26.87 VMYstd/L.net
引き続き>>434
> ＞事実上ルジャンドル予想が正しいと既に仮定していること
> このことも書いていない。意味不明な根拠のない長文を作り出す生成AIのレスを書くのは止めろ｡
これもさぁ高木、引用欠落だ。お前が書いた・書かない、じゃなくて
引用欠落『矛盾しているのは、2.のアルゴリズムでは、n^2<p<n(n+1)のpが全て合成数であるNが存在しないから、そのようなNを考えなくてよいと、』を補足すれば
『矛盾しているのは、～と、事実上【何々】が正しいと既に仮定していること』と云う【事実上、言える事】=【論理的同値】を言ってるわけだから
お前が書いた・書かないじゃなくて、【書いた事と論理的同値】って言われてんの
家に引き籠り、自分の考えに引き籠った論考生活浸りにより、高木の自意識他意識の割合が自意識に偏り過ぎた自意識過剰、しかも其の自意識過剰も重症
その結果、人からの【論述が～と仮定したと論理的同値であるという指摘】に対して『そんな仮定はしていない、私が仮定したのは～』というズレた反論に
【矛盾しているのは、～と、ルジャンドル予想が正しいと既に仮定し（たかったわけでは無いだろうけど、論理的には同値な論述をし）ていること、という指摘】に
『このことも書いていない。』と、自分が書いた・書いていないの話で返事するズレた反論
何で？何で高木お前は【～と論述する事は、高木お前に其の積もりが無くても～と論理的には同値な事】【～と論述する事は、高木お前が其う述べて無くても～と述べたと論理的には同値な事】って指摘に
お前の『積もり』『述べた』の話に変えちゃうの？
やっぱり、日本語がおかしいのはお前じゃん。いや日本語以前、日本語だろうが日本語じゃなかろうが
日本語で返事する前の、話の内容の認識や論点の認識がズレてるか・ズレてないか、の部分が
高木お前はスレの人間の何人からも言われてる様に、怪しい（つまりズレてる）じゃん｡
ズレた反論常習者は統合失調症それ以外の何者でもない
470:◆pObFevaelafK
23/07/20 21:44:47.92 UeK8SHBR.net
>>447
＞その場合、以下の通りです。
これ以降、447の私の証明とは全く違う妄想の証明もどきが展開します。
私が書いたのは、>>414,419,430,443で説明したとおりだ。どこにも書いていない長文を書いて
私の論文を否定したり、私を侮辱するのは止めたらどうだ。
471:◆pObFevaelafK
23/07/20 21:51:19.43 UeK8SHBR.net
>>448
最終的な論文の要約は、>>436に書いてあるから。論文を読みもしなければ理解もしない様子で
下らない447-449のレスをする能力はある意味すごいものがあるw
472:１３２人目の素数さん
23/07/20 23:45:02.54 ZRpAbM5O.net
>>450
あなたが書いていないのは
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
を仮定したうえで、②の条件に当てはまるnから得られる範囲、n^2<p<n(n+1)を満たす合成数ｐ全てとrとの対応関係を作るアルゴリズムです。
これらのpについては、どんなアルゴリズム�
473:烽ﾁても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.を言い張ったから矛盾が生じただけです。
474:１３２人目の素数さん
23/07/20 23:52:21.62 ZRpAbM5O.net
>>451
>>436の1.2.3.と3
任意のn
と言ってますが、
これはそれぞれ
∀n,∃nのどっちですか？
475:◆pObFevaelafK
23/07/21 02:01:58.83 yiCl/Rb1.net
>>452
＞n^2<p<n(n+1)を満たす合成数ｐ全てとrとの対応関係を作るアルゴリズムです。
これをn=18の場合で証明しました。これは任意のn(n≧3)(n≧3の全てのn)で成立します。
nを一つの値に設定して>>414に書いたアルゴリズムにより、上記の証明を行いました。
＞全ての合成数pに対応するrを与えるアルゴリズムはありません。
何でここでまた、>>430で指摘した詐欺が始まるのでしょうか？
＞2.を言い張ったから矛盾が生じただけです。
これは正しいということが分からないのでしょうか？論文のn=17の後半と>>414のn=18
の場合で十分だと考えますけど。アルゴリズムが分からないふりをして詳細をここに書かせて
(調子に乗ったガキが言う「みんなのものにしないと駄目だ。」)ということでしょうか？
>>453
全てのn(n≧3)で成立しますが、そのうちの一つのnだという意味です。別にこの場合を
存在記号で表す必要があるのでしょうか？
476:１３２人目の素数さん
23/07/21 02:10:22.26 rb/OURZg.net
>>454
n=18のとき、n^2<p<n(n+1)を満たすpは全て合成数ですか？違いますよね
あなたが示すべきはn^2<p<n(n+1)を満たすpが全て合成数となるnのとき、どうやって対応させるかです。
②∃n,n^2<p<n(n+1)を満たすpが全て合成数、を仮定した以上、
n^2<p<n(n+1)を満たすpが全て合成数となるnのときも示さなければ
全てのnで示したとは言えません。
477:◆pObFevaelafK
23/07/21 02:17:38.88 yiCl/Rb1.net
>>455
＞あなたが示すべきはn^2<p<n(n+1)を満たすpが全て合成数となるnのとき
このような場合はない。何時までこの下らないレスを続けるつもりなのか？
これで最後だ。
1. あるnの場合に、n^2<p<n(n+1)を満たすpが全て合成数であると仮定する。
2. 合成数であるpに対してその全てがrと一対一の関係が設定できることを証明する。
3. しかし、rの個数は範囲の中にあるpの数よりも小さいので矛盾が生じる。
4. n≧3の任意のnに対して矛盾が生じるので、n≧3の全てのnに対して、1.の仮定が偽になる。
5. 背理法により、n≧3の全てのnに対して、n^2<p<n(n+1)をみたすpのうち少なくとも一つ
は素数になる。ゆえに、Legendre予想は真である。
478:１３２人目の素数さん
23/07/21 08:42:35.87 rb/OURZg.net
>>456
あるnの場合に、n^2<p<n(n+1)を満たすpが全て合成数であると仮定する。
これを仮定した以上
>2. 合成数であるpに対してその全てがrと一対一の関係が設定できることを証明する。
は間違っている。
2.の反例は、「あるnの場合にn^2<p<n(n+1)を満たすpが全て合成数である」としたn
なぜなら
そのnについて
rの個数はn^2<p<n(n+1)の範囲の中にあるを満たすpの数よりも小さいので一対一の関係は設定できない
ゆえに2.は間違っている。
479:◆pObFevaelafK
23/07/21 09:40:28.97 yiCl/Rb1.net
>>457
それは背理法の論理の順序を逆転させていて、間違っている
480:１３２人目の素数さん
23/07/21 09:55:44.42 rb/OURZg.net
>>458
高木くん式背理法が、普通の背理法じゃないから、そう思うだけです。
2.の反例は、「あるnの場合にn^2<p<n(n+1)を満たすpが全て合成数である」としたnです
そうでないというなら、
あなたが示すべきはn^2<p<n(n+1)を満たすpが全て合成数となるnのとき、どうやって対応させるかです。
481:◆pObFevaelafK
23/07/21 10:35:42.99 yiCl/Rb1.net
>>459
＞n^2<p<n(n+1)を満たすpが全て合成数となるnのとき、どうやって対応させるかです。
>>459の勘違いが、ルジャンドル予想そのものを否定する仮定である
「n^2<p<n(n+1)を満たすpが全て合成数であるnが一つ存在する。」ということを仮定し
なければならないと考えているのではないのでしょうか？
私の証明の仮定は、「任意(n≧3のどれか一つ)のnに対して、範囲にある全てのpが合成数である。」
です。指定範囲にあるpのうち合成数であるものは、rと一対一対応になることを示しました。
(pとrを結びつけるのはアルゴリズムであり、どのn(n≧3)でも成立する。)ということを何度も書いて
いますけど。
482:１３２人目の素数さん
23/07/21 10:41:16.43 rb/OURZg.net
>>460
「任意(n≧3のどれか一つ)のnに対して、範囲にある全てのpが合成数である。」なら
「n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在する。」
483:◆pObFevaelafK
23/07/21 12:32:03.22 yiCl/Rb1.net
>>461
＞「任意(n≧3のどれか一つ)のnに対して、範囲にある全てのpが合成数である。」
これを仮定していますが、どのnに対しても矛盾になるので
＞「n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在する。」
こうなるn(n≧3)は存在しない。
484:１３２人目の素数さん
23/07/21 12:59:10.67 taneMacz.net
>>462
＞「任意(n≧3のどれか一つ)のnに対して、範囲にある全てのpが合成数である。」
の仮定から、＞「n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在する。」
が導かれます。
2. の段階では、＞n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在していることを前提に証明しないといけません。
それが背理法です。
＞「n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在する。」こうなるn(n≧3)は存在しない。
を前提に2.を証明するのは、1.の仮定に反した前提を用いているので、証明できたところで背理法ではありません。
485:◆pObFevaelafK
23/07/21 13:14
486::26.01 ID:yiCl/Rb1.net
487:１３２人目の素数さん
23/07/21 13:21:51.52 UfXQdycD.net
結局 n^2<p<n(n+1) の p が全て合成数である n のときに、
p と r の一対一対応を証明してないって事だろ
488:１３２人目の素数さん
23/07/21 14:09:02.39 taneMacz.net
>>464
結論を根拠に、2.が正しいと主張するからおかしいんですよ
もしルジャンドル予想が正しいことを根拠に2.が正しいとするなら
ルジャンドル予想と違う仮定が置かれているのに、2.が導かれた事自体がおかしいんですよ
高木くんの書いてるのは背理法ではありません
489:◆pObFevaelafK
23/07/21 15:09:14.45 yiCl/Rb1.net
>>0465
nはn≧3の任意の値で、pが全て合成数であることを仮定している。
>>466
＞もしルジャンドル予想が正しいことを根拠に2.が正しいとする
こんなことは一度も書いていない。
＞高木くんの書いてるのは背理法ではありません
466が書いているのは、まともな数学ではありません
490:１３２人目の素数さん
23/07/21 17:21:37.30 0W4dpoNH.net
>>467
1.を仮定した時点で
2.は間違っています。
1.を仮定した時点で、とあるnについてn^2<p<n(n+1)を満たすpの個数は、rの個数を上回ります。そのため、とあるnではpとrが1対1対応がとれません。
とあるnを満たす合成数pのいずれかは対応が取れないため、2.の反例です。
つまり1.を仮定した時点で、2.の証明は明らかに誤りです。
そのようなnが存在しないことを証明したと言いますが、その証明に含まれている2.の証明が誤っているので、そのようなnが存在しないことを証明したことになっていません。
491:◆pObFevaelafK
23/07/21 17:47:35.28 yiCl/Rb1.net
>>468
＞1.を仮定した時点で、とあるnについてn^2<p<n(n+1)を満たすpの個数は、rの個数を上回ります。
＞そのため、とあるnではpとrが1対1対応がとれません。
それでは、そのnを示して下さい。１.の仮定と任意のnに対して、pとrが一対一の関係が設定できるかは
依存していませんので問題はありません。
＞2.の証明が誤っている
どう誤っているのでしょうか？答えることはできませんが、具体的に説明をして下さい。
492:１３２人目の素数さん
23/07/21 18:16:57.13 0W4dpoNH.net
>>469
「任意(n≧3のどれか一つ)のnに対して、範囲にある全てのpが合成数である。」
ここで範囲にある全てのpが合成数となるnをn*とします
反例はn*です
反例である証明
1<r<n*を満たすrを小さい順に並べたr1,r2…ri,…rn*-2に対し、n*^2<p<n*(n*+1)を満たす合成数pをそれぞれ対応させる任意のアルゴリズムをkと定義し、rに対応する合成数pをrの添字を用いてpiと定義し、アルゴリズムkは(p1(k),r1),(p2(k),p2)…(pi(k),ri)…(pj(k),rj) (j<=n*-2)と定義します。
p1(k),p2(k),…pi(k)…pj(k)を元に持つ集合をPkとします。
Pkの元の個数はたかだかn*-2
n*^2<p<n*(n*+1)を満たす合成数pの個数はj=n*-1
n*-2<n*-1
より任意のアルゴリズムkはn*^2<p<n*(n*+1)を満たす合成数pは1<r<n*を満たすrと1対1対応を作成できない。
493:◆pObFevaelafK
23/07/21 18:48:35.95 yiCl/Rb1.net
>>470
アルゴリズムの数がn*-2以下であると決めつけているところが誤りだ。もう無駄な書き込みは止めろ
494:１３２人目の素数さん
23/07/21 18:51:26.13 0W4dpoNH.net
>>471
p1(k),p2(k),…pi(k)…pj(k)を元に持つ集合をPkとします。
Pkの元の個数はたかだかn*-2
で書いているのであり、アルゴリズムの数がn*-2以下とは書いていません
495:◆pObFevaelafK
23/07/21 18:54:04.63 yiCl/Rb1.net
>>471
決め付けているのが問題ではなかった。全てのrに対してpからの写像を決めるアルゴリズムの数は
そうなるが、私が証明したのは合成数であったp全てをrに関連付けることができるというものだ。
>>470で書いたことは上記の命題が成り立たなくなり矛盾が生じるということだけであり、何の問題もない。
496:◆pObFevaelafK
23/07/21 19:07:30.08 yiCl/Rb1.net
命題A「n^2<p<n(n+1)を満たすpのうち少なくとも一つが素数である。」
命題B「合成数である全てのpはrと一対一の関係を設定できる。」
とする。論文の背理法は、命題Aの否定命題から得られる矛盾により、命題Aが真であるということを証明している。
Aの否定命題と命題Bは数学的に独立した命題であり、Aの否定命題が誤っているからその仮定をおいた上で
命題Bが誤りというのはナンセンスの極みだ。いい加減にしろ。
497:１３２人目の素数さん
23/07/21 19:07:58.62 0W4dpoNH.net
>>473
アルゴリズムの数は無数にあります。
実際のところp1,p2,…pi…pjの並び替えを任意のアルゴリズムとしてるが、
それ以外のnをどう並び替えるかを考えると無数だし
p1,p2,…pi…pjの並び替え注目しても、並び替えのパターン数の計算くらいセンター試験とやらで出るでしょう、おじいちゃん？
>合成数であったp全てをrに関連付けることができるというものだ。
>>470の通り出来ません。出来�
498:ﾈいことを出来るというから矛盾が生じただけですよ、おじいちゃん。
499:◆pObFevaelafK
23/07/21 19:17:00.32 yiCl/Rb1.net
>>475
黙れよ、475が数学者気取りの変人は。私のアルゴリズムで範囲内全ての合成数であるpとrの間の
一対一の関係を設定できないnの値は何があるのか？
500:１３２人目の素数さん
23/07/21 19:17:25.28 0W4dpoNH.net
>>474
>>279
>無理だと書いている。
無理なら、証明になってない。
>n=17のときの方法が全てのnに対してうまくいくと考えることができる
それを示すのが、普通の世界での証明。考えることが出来るのゴリ押しは証明に非ず。
＞一般のnについて、論理で示す必要があると言っている
>そんな事は分かりきっているが、この証明はn=17の方法が全てのnで用いることができると主張している
主張してるだけでは、証明にあらず
>n=17の場合が全てのnで通用すると考えている。その説明は、論文を読めば分かると思われる。
考えているといったところで、それはただの仮定に過ぎない。背理法にさらに仮定を付け加えただけ。>>128の言った通り、間違った背理法。
>理解するのが困難
なら、より説明を求められるのは当然
>pが合成数であるときに、番号を付け替えたrと一対一対応になるということを証明
証明していません。n=17の場合が全てのnで通用すると考えている、と言っているだけでそれを示していません。
嘘もたいがいにしろよ
501:１３２人目の素数さん
23/07/21 19:46:02.51 np7Dqcmw.net
独立した2つの命題は逆も含めて矛盾しない定期
502:◆pObFevaelafK
23/07/21 19:55:34.85 yiCl/Rb1.net
>>476
＞無理なら、証明になってない。
n≧3の全てのnに対してpとrの関係を書き出すことは、人間にもコンピューターにも不可能だ。
それには、無限の時間がかかるので終わりがない。しかし、論文のアルゴリズムはn≧3の全ての
nで成立するということが、理解力や論理的な思考ができる人間には分かる内容だ。
＞それを示すのが、普通の世界での証明。考えることが出来るのゴリ押しは証明に非ず。
ゴリ押しでも何でもない、476が論文を理解できていないだけ。諦めて論文を全部読めば？
読んでも理解できないのであれば仕方がないが。そうであっても、このスレに下らない私の
論文が誤っているという妄想を書くのを止めてもらいたい。
＞背理法にさらに仮定を付け加えただけ。>>128の言った通り、間違った背理法。
これは>>474に書いたように全くの嘘だ。よくこんな事を書けたものだ。
＞なら、より説明を求められるのは当然
何度簡単な説明を繰り返しても分からない人間には、この証明は「理解するのが困難」なのだろう。
＞嘘もたいがいにしろよ
威勢がいいが、誰が476が言っていることを妥当だと考えるのだろうか？
503:１３２人目の素数さん
23/07/21 20:08:33.83 0W4dpoNH.net
>>479
>論文のアルゴリズムはn≧3の全ての
nで成立するということが、理解力や論理的な思考ができる人間には分かる内容だ。
ルジャンドル予想が成り立っているか分からない人間には分からない内容です。
ルジャンドル予想が成り立たない場合、全てのpが合成数となるnが存在するので、論文のアルゴリズムは成立しないことは>>470から明らか。任意のアルゴリズムで矛盾するため。
成立すると言ってる時点でルジャンドル予想が成り立つことが仮定されています。
504:◆pObFevaelafK
23/07/21 20:17:58.55 yiCl/Rb1.net
>>480
＞成立すると言ってる時点
成立しますね。
＞論文のアルゴリズムは成立しないことは>>470から明らか。
論文のアルゴリズムが成立していないというのであれば、そうなるnを示して下さい。
>>476で聞いたことを無視しているから、これには答えないでしょうが。
＞一対一の関係を設定できないnの値は何があるのか？
アルゴリズムが成立しないのではなく、始めに置いた仮定が偽りだとどうして分からないのか？
＞成立すると言ってる時点でルジャンドル予想が成り立つことが仮定されています。
よくこのようなインチキが書けたものですね。
505:１３２人目の素数さん
23/07/21 20:39:35.16 0W4dpoNH.net
>>481
ルジャンドル予想が成り立つか分からない以上、アルゴリズムが成立するかはわかりません。
ルジャンドル予想が成り立たない場合、全てのpが合成数となるnが存在するので、論文のアルゴリズムは成立しないからです。
>そうなるnを示せ
>>470のn*です。ルジャンドル予想が成り立たない場合、n*が存在します。
506:１３２人目の素数さん
23/07/21 21:01:51.78 UfXQdycD.net
そうか、背理法を使う場合
ルジャンドル予想が成り立たない事を仮定するから、
一対一対応のアルゴリズムは絶対に成立しないんだ。
507:◆pObFevaelafK
23/07/21 21:05:13.00 yiCl/Rb1.net
>>483
全ての合成数であるpに対してアルゴリズムは成立する
508:１３２人目の素数さん
23/07/21 23:59:42.60 SZ1leIuR.net
>>484
インチキ背理法のダンナ、もう諦めろ
509:◆pObFevaelafK
23/07/22 03:08:18.98 msNRG4Fu.net
>>485
情報工作のレスはしなくていい
510:１３２人目の素数さん
23/07/22 16:06:26.28 xCQXT354.net
>>484
ルジャンドル予想が成り立たない時、全ての合成数とrとを1対1対応させることはできません。
ルジャンドル予想が成り立つことを確かめるには、無限のnについてアルゴリズムが機能するか確かめる必要があります。
n=17を試そうが、n=18 を試そうが
>n≧3の全てのnに対してpとrの関係を書き出すことは、人間にもコンピューターにも不可能だ。
このため、アルゴリズムが機能するかは分かりません。
そのため、あなたの手法は証明にはなっていないのです。
511:１３２人目の素数さん
23/07/22 16:21:49.25 neLBcOci.net
Wikipedia には n = 4 × 10¹⁸ まで確認されてるって書いてんな
512:１３２人目の素数さん
23/07/22 16:41:00.41 xCQXT354.net
>>488
謎アルゴリズム試すよりは、素直に素数探すほうが計算量少なそう
どっちもそれぞれの数に素因数分解を試みるんだから
513:◆pObFevaelafK
23/07/22 17:24:07.66 msNRG4Fu.net
>>487
論文を全て読めば理解可能だ。全て読んだのか読んでいないかどちらだ？
これは論文を読めば明らかだが、rを素因数でグループ化して、rが大きい方から
順番にpとrの関係を設定する。そのときに、pの数が、グループ化したrの倍数の数と
合わない場合が現れる。その場合は、必ずpの関係を設定できない個数は1個となる。
この場合に、複数あるうちの一つが必ず、2の倍数になり、3の倍数になることもある。
このpを後回しに設定することにする。これをrの降順で繰り返していくと必ず全ての合成数
であるpをrと関係付けることができるようになる。これは、n≧3の全てのnに対して、2や3の
倍数がrである場合に全てのpとrを関係付けることができることをで証明しているからだ。
>488
私は無限まで証明した。
514:◆pObFevaelafK
23/07/22 17:29:10.77 msNRG4Fu.net
>>487
＞このため、アルゴリズムが機能するかは分かりません。
無限の量がある答えのデータを人間もコンピュータも出力できるわけがない
このようなことも分からないのでしょうか？
アルゴリズムを実装することは可能なので、有限のnを指定されればその関係を出力するプログラムを
組むことは可能だ。何時までも、低レベルな事を書き続けるのを止めろ。
515:◆pObFevaelafK
23/07/22 17:35:44.76 msNRG4Fu.net
私を疑い続けて馬鹿にするガキが外から「ぬすんだことばをうつしてもむだだ。」という侮辱の声
を聞かせていますが、このアルゴリズムを使った証明は以下に書いたように
ｽﾚﾘﾝｸ(math板:188番)
＞2020年4月～2020年10月
に集中的に研究を行い、最後に去年の6月に修正を行ったものだ。全て私が個人的に研究した成果であり全く
私以外の人間の研究ではない。何時まで、私を侮辱する謎の「ガキ」の声を聞かされなければならないのか？
516:１３２人目の素数さん
23/07/22 17:49:38.87 L0mMKhNh.net
>>490
でも背理法使ってるんですよね？
517:◆pObFevaelafK
23/07/22 17:58:14.47 msNRG4Fu.net
>>493
背理法の仮定は、「n^2<p<n(n+1)を満たすpが全て合成数である」という命題で
この命題と「合成数であるpは全てrと一対一の関係を設定できる。」という命題は
独立しているから問題ない。
518:１３２人目の素数さん
23/07/22 18:22:47.74 pIOKkhJ4.net
>その場合は、必ずpの関係を設定できない個数は1個となる。
>この場合に、複数あるうちの一つが必ず、2の倍数になり、3の倍数になることもある。
字面だけでも、やばい文章だな
何が複数あるのか分からんぞ
519:◆pObFevaelafK
23/07/22 18:25:53.23 msNRG4Fu.net
>>495
その上でpのことを書いているので、当然同じ素数を持つpが複数ということだ。
520:１３２人目の素数さん
23/07/22 18:29:07.75 pIOKkhJ4.net
>>494
独立してるなら、逆の命題でも矛盾しないんですよ
矛盾するなら独立じゃないんですよ
独立、独立じゃない
どっちがいい？
521:１３２人目の素数さん
23/07/22 18:30:12.63 pIOKkhJ4.net
>>496
いや、まず文章を整理してこいって言ってんだよ
522:１３２人目の素数さん
23/07/22 18:34:56.72 pIOKkhJ4.net
>>490
とりあえず任意のnについて、パソコンで回るプログラム書いてよ
後回しとか、わけがわからないから
523:◆pObFevaelafK
23/07/22 18:37:38.77 msNRG4Fu.net
>>497
>>474で示したとおり、これらの命題は独立している。しかし命題Aの否定命題を仮定して
命題Bが成立することになると矛盾が生じるので、命題Aが真だということになる。
>>498
それは必要ない。私は>>414でn=18の場合の関係の設定を詳細に説明した。>>490の
内容も論文を全部読んでい�
524:髏lには、簡単に説明しているだけだということになる。
525:◆pObFevaelafK
23/07/22 18:39:30.13 msNRG4Fu.net
>>499
プログラムができるのであれば、>>414のレスで理解可能だと思われる。
526:１３２人目の素数さん
23/07/22 18:53:06.41 pIOKkhJ4.net
>>500
矛盾が起きる時点で独立ではないんで
矛盾が起きた時点で、独立というのは間違ってますね
高木くんのいう独立ってなんですか？
・「n^2<p<n(n+1)を満たすpが全て合成数である」という命題から
「合成数であるpは全てrと一対一の関係を設定できる。」の真偽ともに決定不能
且つ
・「合成数であるpは全てrと一対一の関係を設定できる。」から「n^2<p<n(n+1)を満たすpが全て合成数である」の真偽ともに決定不能
のとき
独立っていうんですよ
527:１３２人目の素数さん
23/07/22 18:54:10.87 pIOKkhJ4.net
>>501
プログラム分かるけど、とりあえず
後回し
とか全く分からんねー
528:◆pObFevaelafK
23/07/22 19:02:29.57 msNRG4Fu.net
>>502
本当にこの証明を理解していないか理解していないふりの工作か分からない不思議極まりないレスが続いている。
独立だというのは、「n^2<p<n(n+1)を満たすpが全て合成数である」という命題が真だろうが偽であろうが
「合成数であるpは全てrと一対一の関係を設定できる。」という命題が真であるか偽であるかに依存しないと
いうことだ。つまり、否定命題Aを仮定していないくても、「合成数であるpは全てrと一対一の関係を設定できる。」
という命題はn≧3の全てのnに関して常に真ということだ。
>>503
同じ素数を持つpのグループが、rの範囲に収まらない場合で、>>414で言えばr=11(r=22はないから)の場合に
二つあるp=330,341のうち、5の倍数である330を飛ばして、関係[341,11]を設定し、p=330はr=5のグループで
関係を設定するということ。
529:１３２人目の素数さん
23/07/22 19:04:31.03 pIOKkhJ4.net
>>500
たとえば>>414
r=11 [341,11] ←330は5の倍数なので飛ばす(11は一つしか設定できないので)
は>>490のどの記述に相当するの？
530:１３２人目の素数さん
23/07/22 19:05:38.73 pIOKkhJ4.net
>>504
「n^2<p<n(n+1)を満たすpが全て合成数である」という命題が真の場合、
「合成数であるpは全てrと一対一の関係を設定できる。」という命題は偽です
531:１３２人目の素数さん
23/07/22 19:09:11.88 pIOKkhJ4.net
>>504
プログラム上、飛ばす数をどうやって決めるの？
532:◆pObFevaelafK
23/07/22 19:43:16.96 msNRG4Fu.net
>>505
＞この場合に、複数あるうちの一つが必ず、2の倍数になり、3の倍数になることもある。
＞このpを後回しに設定することにする。
＞506
「合成数であるpは全てrと一対一の関係を設定できる。」という命題は常に真です。
>>507
＞同じ素数を持つpのグループが、rの範囲に収まらない場合で、>>414で言えばr=11(r=22はないから)の場合に
＞二つあるp=330,341のうち、5の倍数である330を飛ばして、関係[341,11]を設定し、p=330はr=5のグループで
＞関係を設定するということ。
533:１３２人目の素数さん
23/07/22 20:39:52.39 PH8TG/Oh.net
>>508
意味不明だからFORTRANのプログラムで書いて
534:１３２人目の素数さん
23/07/22 20:41:26.83 PH8TG/Oh.net
>>508
「合成数であるpは全てrと一対一の関係を設定できる。」という命題は常に真です。
・「n^2<p<n(n+1)を満たすpが全て合成数である」という命題からは偽です。
まったく独立ではありません
535:１３２人目の素数さん
23/07/22 20:43:42.65 PH8TG/Oh.net
飛ばすっていうけど、プログラム上どう書くんだよ
飛ばしただけだと永遠に対応に取れないよね
536:１３２人目の素数さん
23/07/22 20:57:16.54 PH8TG/Oh.net
>>508
なぜ5の倍数の330を飛ばすの？
537:◆pObFevaelafK
23/07/22 21:30:32.89 msNRG4Fu.net
>>510
「n^2<p<n(n+1)を満たすpが全て合成数である」は仮定の命題です。
>>511
>>411の例では、r=11の場合にp=330は設定を行うことができないから、r=11で関係の設定を
行わずに、次に小さい素因数であるr=5のときに、pとrの関係[330,5]を設定するということ。
>>512
pとrの関係を一対一で設定するため、このときにrの番号の付け替えを行う。
538:１３２人目の素数さん
23/07/22 22:01:19.88 PH8TG/Oh.net
>>513
仮定の命題だろうがなかろうが
・「n^2<p<n(n+1)を満たすpが全て合成数である」という命題からは偽です。
まったく独立ではありません
>r=11の場合にp=330は設定を行うことができない
できますよね、330は11の倍数です
アルゴリズム上、330を飛ばす条件を記述しないと飛ばせませんね
539:◆pObFevaelafK
23/07/22 22:15:52.80 msNRG4Fu.net
>>514
「n^2<p<n(n+1)を満たすpが全て合成数である」→「合成数であるpは全てrと一対一の関係を設定できない。」
これを実際の例で示して下さい。この論文の主旨の反例です。どうぞ、示して下さい。
＞アルゴリズム上、330を飛ばす条件を記述しないと飛ばせませんね
r=11の場合には、p=330,341で二つある場合にはr=11とr=22になり、r=22は1<r<nを満たしていないと
いうことです。そうであるから、二つのうちどちらか一つを後回しにして関係を設定することを飛ばさなければ
なりません。330は5の倍数ですから、r=11では関係の設定を行わずに、r=5で関係[330,5]を設定することに
なります。よく人の論文を読まずに、他人の論文を否定できますね、恥ずかしくないのでしょうか？
540:１３２人目の素数さん
23/07/22 22:24:47.01 PH8TG/Oh.net
>>515
「n^2<p<n(n+1)を満たすpが全て合成数である」→「合成数であるpは全てrと一対一の関係を設定できない。」
>>470のn*が実際の例です。
>330が5の倍数ですから
複数あると5の倍数のものを飛ばすんですか？
飛ばしてどこに行くんですか？
5の倍数のものがないときは何をとばすんですか？
複数といいますが、3つ以上あるときはどう飛ばすんですか？
541:１３２人目の素数さん
23/07/22 22:29:59.07 PH8TG/Oh.net
r=5×7×11の385は5.7.11のどこのグループに属するんだろうか
謎はつきない
542:１３２人目の素数さん
23/07/22 22:54:59.90 PH8TG/Oh.net
そもそも、単純に合成数を小さい順に並べたものとrを小さい順に並べたものとでi 番目の合成数とrを対応させるだけで、ルジャンドル予想が成り立つ限り、合成数pとrの間に高木式1対1対応はとれるわけよ
ルジャンドル予想が成り立つ限り、合成数の数はたかだかrの数と等しいか少ないから
ルジャンドル予想が成り立たないとき、特定のnについて、合成数の数はrの数を1つ上回るから、対応はとれないの
簡単にとばすとか言ってるけど、アルゴリズム上、とばすとはどういうことかをちゃんと記述しないと
ルジャンドル予想が成り立たなくても余った合成数を飛ばしっぱなしになるよ
543:tai
23/07/22 23:06:57.87 /sA53yEe.net
ここにかきこんで田中さんに見てもらえとの
ガイドできました
URLﾘﾝｸ(taibuturi.fuma-kotaro.com)
544:１３２人目の素数さん
23/07/22 23:08:14.05 PH8TG/Oh.net
>>490
>rを素因数でグループ化
これも最初にグループ化してるように書いてるけど、嘘ですよね
r=6が3のグループ、r=12が2のグループに属してるの、後付けでグループ化しましたよね、これ
そうでないなら、あらかじめグループ化するためのアルゴリズムも教えてください
545:tai
23/07/22 23:11:18.89 /sA53yEe.net
私はリーマン予想の考え過ぎで統失になりました
幻聴は聴こえません
546:１３２人目の素数さん
23/07/22 23:16:01.90 u2hsEa6k.net
>>519
高木くんな
2 １３２人目の素数さん sage 2023/07/17(月) 02:50:11.27 ID:fcMKuytD
高木くんというルジャンドル予想の専門家（笑）がこのスレにいるので見てもらいなさい
ｽﾚﾘﾝｸ(math板)
547:tai
23/07/22 23:16:52.17 /sA53yEe.net
ゴジラ対メカゴジラか
ゴジラ対キングギドラ(笑)
548:◆pObFevaelafK
23/07/22 23:41:29.02 msNRG4Fu.net
>>516
＞>>470のn*が実際の例です。
そう書くと思った。誰が>>470が正しいというのでしょうか？
「pが全て合成数であれば、pとrの一対一対応の関係が設定ができる。」というのは常に真の
命題なので偽にはなり得ません。>>470で書いたものは、仮定が真であると決めつけて
常に真である命題を無理に否定している。
＞飛ばしてどこに行くんですか？
何を書いているのでしょうか？
＞5の倍数のものがないときは何をとばすんですか？
＞複数といいますが、3つ以上あるときはどう飛ばすんですか？
複数あるのですから、r=2のグループに追加すればいいですよね、そのpを。
つまり、r=5で関係を設定できない場合はpのうち、少なくとも一つ以上は2の倍数になるのです
から、r=2でpとrの関係を設定すればよいのです。m≧2として、pの個数が3m個でrが3m-1個の
場合には、pのうち少なくとも一つが3の倍数になるので、そのpをr=3のときにpとrの関係を設定
することもできます。
549:tai
23/07/22 23:47:16.80 /sA53yEe.net
補足しておくと
M^2と(M+1)^2の間に
log(M^2)以下の間隔で素数があり
これは一つの素数の存在(>M^2,<(M+1)^2)が言える
ということです
550:１３２人目の素数さん
23/07/22 23:57:01.04 u2hsEa6k.net
>>524
>そう書くと思った。
そう思うなら、ちゃんとした証明書きなよ。50歳も過ぎたいい大人なんだから。
>誰が>>470が正しいというのでしょうか？
高木くん自身、>>470を正しいと思ってるから、「pが全て合成数であれば、pとrの一対一対応の関係が設定ができる。」を常に真であると言おうとしてるんでしょ
＞飛ばしてどこに行くんですか？
>何を書いているのでしょうか？
飛ばすとは一体何なんでしょうか？プログラミングの言語で丁寧にアルゴリズムを書いてください
お前が何を書いてるんだよwwwということです。
>r=2のグループに追加すればいいですよね
なぜ2のグループなのですか？
>少なくとも一つ以上は2の倍数になるのです
何故ですか？
>少なくとも一つ以上は2の倍数になるのです
>pのうち少なくとも一つが3の倍数になるので
なぜそうなるか分かりませんが、3つ以上の時どうするのかを聞いていますので、4つだとやはり余りますよね
551:◆pObFevaelafK
23/07/23 00:32:32.34 eeIoyfZm.net
>>517
n=19、361<p<380の場合
r=17, [374,17]
r=13, [377,13] ←p=364は2と7の倍数なので飛ばす
r=11, [363,11]
r=7, [364,7],[371,14] ←p=378は2と3の倍数なので飛ばす
r=5, [365,5],[370,10],[375,15]
r=3, [366,3],[369,6],[372,9],[378,12]
r=2, [362,2],[368,4],[376,8] ←r=6は既に選択しているので飛ばす
>>518
＞簡単にとばすとか言ってるけど、アルゴリズム上、とばすとはどういうことかをちゃんと記述しない
552: 飛ばすというのは、pの素因数を昇順でグループ化して、rと関係を設定するということをしないで その素因数より小さい値で飛ばした処理を行うということで、論文に書いています。
553:◆pObFevaelafK
23/07/23 00:40:30.77 eeIoyfZm.net
>>520
520が論文を読んでいないだけです。何故英文読解力のない人間に証明者が解説しなければならないのか
疑問ですけど。pの素因数によりグループ化を行い関係を設定するときに、pの小さい順からrの倍数を設定
します。このときに、もうすでに関係を設定しているrであれば、その値は飛ばします。飛ばすというのは
その数で設定を行うことなくそれよりも大きい素因数の倍数を設定するということです。
>>526
pが複数(2個以上)あるとき、どちらかが偶数(2の倍数)であることは当然ですけど？
＞3つ以上の時どうするのかを聞いていますので、4つだとやはり余りますよね
ふざけたレスは必要ありません、ど素人はもう書くのを止めてもらって結構だ。
554:１３２人目の素数さん
23/07/23 00:43:54.33 UF0r/fry.net
>>527
r が385 の時を聞いてるんだよ
せっかくだし、アルゴリズムというなら
ちゃんと高木くんのいう手順通りにやればできるということなので
n が500のケースでやってみようか
rが385も含むし、
まずなにをすればいいの？
250498は2と251と499の積だがどれに割り振るの？
555:◆pObFevaelafK
23/07/23 00:45:05.26 eeIoyfZm.net
外から私を馬鹿にする声を聞かせている人間は526のようなふざけた書き込みをしている連中を
信奉しているのでしょうか？
556:◆pObFevaelafK
23/07/23 00:48:27.99 eeIoyfZm.net
>>529
pが385かと思いました。まず論文を全て読み>>414なり>>527を見てプログラムを作るしかない
でしょう。人間が手計算で行うと大変です。
557:１３２人目の素数さん
23/07/23 00:53:56.20 UF0r/fry.net
>>531
いやいやwwwアルゴリズムの最初のステップくらい書いてくださいよ、大嘘つきが
558:１３２人目の素数さん
23/07/23 00:56:15.06 UF0r/fry.net
>>531
手計算じゃなくてアルゴリズムなんでしょ？
アルゴリズム書いてくださいよwww
559:◆pObFevaelafK
23/07/23 01:00:40.12 eeIoyfZm.net
>>532,533
論文や>>414、>>527で書いている。
560:１３２人目の素数さん
23/07/23 01:13:25.20 UF0r/fry.net
>>534
論文にはn=17しか書いてないでしょ
スレにはn=18.n=19の場合しか書いてないでしょ
だからn が500のケースでやってみようか
rが385も含むし、
まずなにをすればいいの？
250498は2と251と499の積だがどれに割り振るの？
アルゴリズムの最初のステップすら書けない詐欺師なのか？
違うよね
さあ何をするのが、高木くん式アルゴリズムなんですか？
561:◆pObFevaelafK
23/07/23 01:16:11.04 eeIoyfZm.net
>>535
それをここに書く必要がありません
562:１３２人目の素数さん
23/07/23 01:23:34.25 UF0r/fry.net
>>536
出来ないわけですよ
高木くんのアルゴリズムは恣意的だから
最初のステップすらないんですよ
グループ分けも
>>490では>rを素因数でグループ化して、
>>528では>pの素因数によりグループ化を行い
とグループ化というのも支離滅裂なわけですよ
だから、最初のステップも書けないんですよね。
書く必要がないんじゃない。
最初のステップが高木くんにも分からないだけなんですよ。
563:◆pObFevaelafK
23/07/23 09:20:10.80 eeIoyfZm.net
>>537
その二つのグループ化は行いますから。
＞最初のステップが高木くんにも分からないだけなんですよ。
そんな事があるわけがないでしょう。それをここに書くと論文を読む意味がなくなる
から書かないのです。
564:１３２人目の素数さん
23/07/23 09:21:59.74 v+IXmFjY.net
>>504
『独立』の使い方が数学とちげーよ高木
お前は何度も何度も人に「日本語力が不足している」発言してるが
『数学での用語としての用法』を学んでない上
『数学での用語としての用法』を虚仮にするお前が言えた筋合いは無いな
いつまで他人の日本語力に、お前の定義言及不足オリジナル数学の読解を委ね続ける気なんだ？
565:１３２人目の素数さん
23/07/23 09:22:05.92 v+IXmFjY.net
>>504
『独立』の使い方が数学とちげーよ高木
お前は何度も何度も人に「日本語力が不足している」発言してるが
『数学での用語としての用法』を学んでない上
『数学での用語としての用法』を虚仮にするお前が言えた筋合いは無いな
いつまで他人の日本語力に、お前の定義言及不足オリジナル数学の読解を委ね続ける気なんだ？
566:◆pObFevaelafK
23/07/23 09:30:20.22 eeIoyfZm.net
>>538 追記
pの素因数qの大きな値ごとにpをグループ化して、そのグループごとにpの昇順でpに対してrを
qの倍数として設定していく、rが既に設定している値であれば、その値を飛ばしそれより大きいqの
倍数をrとして関係を設定する。
グループ化したpの個数が1<r<nに収まるqの倍数の個数よりも大きい場合には、qより小さい素数の倍数で
あるpに関係を設定することを後回しにする。
567:◆pObFevaelafK
23/07/23 09:44:33.58 eeIoyfZm.net
>>540
分かっていない人間にとやかくいわれる筋合いはない。AとBの関係が依存しないことを独立しているという。
命題Bが真であることは証明しているから、命題Aの否定命題には依存しない。つまり独立している。
命題Aの否定命題は仮定であるから、この仮定が真であるとすると命題Bが成立しなくなり矛盾が生じる。
よって、背理法により命題Ａの否定命題が偽となるので、命題Aは真となる。
これは数学的に正しい論理だ。
＞お前の定義言及不足オリジナル数学の読解を委ね続ける気なんだ？
こんなことを書いている>>540は本当に背理法を理解してないし、未解決問題12問を
完全に解決した私に「お前」呼ばわりで相当偉そうですね、間違いを書きまくりで
どうすればそういう言葉使いができるのでしょうか？
>>514だと思いますが、>>515のレスはスルーですか？自分が書いたことなんですから
その例を示して下さい。
＞「n^2<p<n(n+1)を満たすpが全て合成数である」→「合成数であるpは全てrと一対一の関係を設定できない。」
568:◆pObFevaelafK
23/07/23 09:54:25.45 eeIoyfZm.net
>>540
540は否定命題が真であるとして、命題Bが偽ということになるという不思議なn*が存在する
としている。そのn*の具体的な値は？それを書かないと反証にはならない。
こちらは、n=17,18,19の場合で、命題Bが真であることを示しているし、この論文の主旨を
理解している人は、全てのn(n≧3)で命題Bが真になることを把握しているはずだ。
569:１３２人目の素数さん
23/07/23 10:00:52.57 v+IXmFjY.net
やっぱり勘違いしてるわコイツ
570:１３２人目の素数さん
23/07/23 10:46:00.55 EkZTU9WR.net
>>542
>>514は俺だし、>>516のとおり反例を示してる
一つ一つがアホだな
>>538
早くアルゴリズムとやらを書いてね
最初のステップはなんだ？
大嘘つきさん
571:１３２人目の素数さん
23/07/23 10:48:40.44 EkZTU9WR.net
>>541
>グループ化したpの個数が1<r<nに収まるqの倍数の個数よりも大きい場合には、qより小さい素数の倍数で
あるpに関係を設定することを後回しにする。
r=2のグループだと後回しとやら出来ないよ、それ
572:◆pObFevaelafK
23/07/23 11:00:15.34 eeIoyfZm.net
>>545
具体的なn*の値を答えていませんが。
＞最初のステップはなんだ？
>>541
>>546
r=2とr=3のグループは全て収まるということを証明している。論文を読まずに戯言を書くのを
止めてくれ。
573:１３２人目の素数さん
23/07/23 11:19:32.16 EkZTU9WR.net
>>547
高木くんのいう具体的って何？
大学院以降の数学だとこれで十分具体的だよ
算数の授業のつもりなのかな？
574:１３２人目の素数さん
23/07/23 11:22:04.71 EkZTU9WR.net
>>547
最初のステップはどれだ？
r=2
>全て収まるということを証明している。
どこに？
so that there are all one-to-one correspondences. At first the relations are selected by r which are multiples of 2 for each p. [82,2] is sorted out when p = 82 holds. Then [84,4] is sorted out since r = 2 has been selected. When p = 86 holds, there is one combination (q,r) = (43,2) and r = 2 has been taken from. In this case, we consider to use the factor 2 of 6 and think that there is a relation [86,6]. Then [88,8] is sorted out. Next, we select the relation by 3 multiples r and [87,3] is sorted out.
575:◆pObFevaelafK
23/07/23 11:26:54.86 eeIoyfZm.net
>>541 訂正
qは論文のqと一致するので、>>541のqはr'に訂正します。
>>548
具体的な値という意味は分かりませんか？例としてn*=123ということだ。
>>516は全く反例になっていません。命題Aの否定命題が仮定であり、それが真であると
分からないのに、真であるとしています。真であるのであれば、具体的な値を示さなければ
なりません。何時まで幼稚な論理を振りかざすのでしょうか？
576:◆pObFevaelafK
23/07/23 11:31:13.37 eeIoyfZm.net
>>549
私の著作物を引用記号を記号も付けないでここに貼るのを止めろ。英語論文が読めない詐欺師の
ために、私の論文の転記をする必要がどこにあるんだ。ふざけるのもいい�
577:ﾁ減にしろ。
578:１３２人目の素数さん
23/07/23 11:41:59.99 EkZTU9WR.net
>>550
>>515は、「n^2<p<n(n+1)を満たすpが全て合成数である」→「合成数であるpは全てrと一対一の関係を設定できない。」を実際の例で示せと言ったから
>>516で示しました。
>>514のとおり、
仮定の命題だろうがなかろうが
・「n^2<p<n(n+1)を満たすpが全て合成数である」という命題からは偽です。
まったく独立ではありません。
自分の主張すら忘れるのは勘弁してください。
>>551
書いてないことを示しました。
579:◆pObFevaelafK
23/07/23 11:59:21.51 eeIoyfZm.net
>>552
だから、「n^2<p<n(n+1)を満たすpが全て合成数である」この命題が何故真なのでしょうか？
552が書いていることは、命題Aの否定命題が真であった場合には、命題Bが偽になるという
ことだけです。何も私の論文の反証になっていません。
＞自分の主張すら忘れるのは勘弁してください。
そのような事はありません。552が間違い続けるのはどうしようもありませんね。
＞書いてないことを示しました。
大嘘だ。恥の上塗りを何時まで続ければ気が済むのでしょうか？
580:１３２人目の素数さん
23/07/23 12:43:55.43 EkZTU9WR.net
>>553
>「n^2<p<n(n+1)を満たすpが全て合成数である」この命題が何故真なのでしょうか？
読めてないですね
「n^2<p<n(n+1)を満たすpが全て合成数である」→「合成数であるpは全てrと一対一の関係を設定できない。」が真なのですよ
581:１３２人目の素数さん
23/07/23 12:46:02.06 EkZTU9WR.net
>>553
実際、r=2のグループでpが余ったときどうしたらいいか書いてない
so that there are all one-to-one correspondences. At first the relations are selected by r which are multiples of 2 for each p. [82,2] is sorted out when p = 82 holds. Then [84,4] is sorted out since r = 2 has been selected. When p = 86 holds, there is one combination (q,r) = (43,2) and r = 2 has been taken from. In this case, we consider to use the factor 2 of 6 and think that there is a relation [86,6]. Then [88,8] is sorted out. Next, we select the relation by 3 multiples r and [87,3] is sorted out.
582:◆pObFevaelafK
23/07/23 15:36:07.71 eeIoyfZm.net
>>554
＞552が書いていることは、命題Aの否定命題が真であった場合には、命題Bが偽になるという
＞ことだけです。何も私の論文の反証になっていません。
583:tai
23/07/23 16:23:00.30 wiowZNOi.net
>>519です
高木くん(と呼びます)
がルジャンドル予想を示したかどうか
は知りませんが
一日もあればチェックし終わって
意見がもらえると思ってました
ルジャンドル予想解いたくらいの人ならば
片手間に出来ると思ったのです
多くの人が言うように
あなた
本物でないですね
584:tai
23/07/23 16:53:23.07 wiowZNOi.net
高木くんの理論は
おぼろげながら
n^2<m<n(n+1)に対して
mの素因数分解を行い
1<r<nの素因子と１対１対応をつくる
ところまでわかりましたが
この方向は難しいと思いました
585:１３２人目の素数さん
23/07/23 16:55:56.44 6nmrhm1j.net
>>556
それは命題Bが常に真というのが間違っているっていう話なだけです。
常に真なら、Aの真偽問わず真です
そもそも"常に真"の定義が、高木くんの独自の定義だと思います
常に真とはなんですか？
586:◆pObFevaelafK
23/07/23 17:14:38.50 eeIoyfZm.net
>>557
まず、nという変数が何を示しているのか書いていませんので
2つ目の式から意味不明です。
本物とはどういうことでしょうか？
>>558
＞この方向は難しいと思いました
全然難しくありません。理解できる人がいないレベルではありません。
＞それは命題Bが常に真というのが間違っているっていう話なだけです。
これが間違っているなら、間違いになるn*を示してください。
n*が存在するということが偽であるのであれば、命題Bを否定する
ことはできません。
「常に真」というのはnの値に依存せずに、n≧3の全てのnで命題Bが成立すると
いう意味です。当たり前ですけど。
587:◆pObFevaelafK
23/07/23 17:23:54.63 eeIoyfZm.net
>>558
＞√m以下の素因子を持つ自然数について和を取ったものとする。
と書いているが、自然数は1以外は全て素因子を持っているのだから
こう書く意味が分からない。2からfloor(√m)までの自然数の和だと
いうことでしょうか？
588:tai
23/07/23 17:27:17.04 wiowZNOi.net
本物とは
数学者として一人前である
ということですが
まあ普通説明されんでもわかる
あと
nに説明がいる
これは付けたくありません
数学者として美しくない
あえて言うならばnは自然数です
満足ですか
いくらでも質問ok
589:tai
23/07/23 17:34:04.39 wiowZNOi.net
>>561
なかなか
石頭だな
その上のΣ
のnが√m以下
の素因子しかもたないという意味です
たとえばm=9ならば3以下の素因子をもつn
n=1,2.3.4,6についての和です
やっと読んでくれて嬉しい
590:tai
23/07/23 17:48:28.14 wiowZNOi.net
あーそうか
1は素因子としない場合、ですね
591:tai
23/07/23 18:01:13.76 wiowZNOi.net
ゴジラ対アンギラス(笑)
592:１３２人目の素数さん
23/07/23 18:10:35.39 6nmrhm1j.net
>>560
n*が存在するということが偽であるのであれば、命題Bを否定する
ことはできません。
n*が存在するということが真であれば、命題Bは否定される。
それを命題AとBは独立ではないと言いますが、これぐらいは理解してくださいね
n*が存在する場合、あなたのアルゴリズムはr=2に
593:て余ったpを飛ばすステップが必要です。それを書いていないのは、ルジャンドル予想が正しいことが前提とされているからです。 前提としない場合、最小の素因数のグループでも余ったpを飛ばす必要があります。 間違いとなるn*は ｛n*∈N|n*^2<p<n*(n*+1)を満たすpは全て合成数｝ の全てです。
594:１３２人目の素数さん
23/07/23 18:22:35.89 q48EiD+J.net
ゴジラが勝つわ
595:tai
23/07/23 18:50:57.36 wiowZNOi.net
エイリアン対プレデター(懐かし)
596:◆pObFevaelafK
23/07/23 19:13:28.69 eeIoyfZm.net
>>566
＞それを命題AとBは独立ではないと言いますが、これぐらいは理解してくださいね
独立ではなければそうなることは当然分かっていて、命題Aの否定命題が真偽に関わらずに
このアルゴリズムにより、命題Bはn≧3の全てのnに対して常に真になるので、命題Aの
否定命題は独立しているということになります。何も数学的に誤りはありませんので
無理に完全に正しい論理を否定するのは止めてもらいたい。
＞それを書いていないのは、ルジャンドル予想が正しいことが前提とされているからです。
そのような事はありません。何度も書いていますが、最後にr=2のグループで関係の設定を
行いますが、論文に記述しているとおり、r=2やr=3では、pの数が多くて処理を飛ばさなければ
ならないということは起こりません。
＞間違いとなるn*
そのn*を具体的な値で一つでも(例:n*=123456)示せば、論文を否定することができます。
どうぞ、その値を示して下さい。
597:◆pObFevaelafK
23/07/23 19:14:48.25 eeIoyfZm.net
>>569 訂正
×命題Aの否定命題は独立
〇命題Aの否定命題とは独立
598:１３２人目の素数さん
23/07/23 19:15:56.70 6nmrhm1j.net
>>569
だから独立じゃないんですよ
まずそこを認めなさい
50歳を過ぎたいい大人が、レベルが低い高校生みたいな真似しなさんな
あ、レベルが低い高校出身でしたか
599:１３２人目の素数さん
23/07/23 19:26:41.76 6nmrhm1j.net
＞それを書いていないのは、ルジャンドル予想が正しいことが前提とされているからです。
>そのような事はありません。
あります。高木くんが気づいてないだけです。アルゴリズムを構築する段階ではr=2でpが余る場合の処理を定義する必要があります。
その必要がない、と思ってますよね。それがルジャンドル予想が正しいと前提にしてるんですよ。
対応関係を作るアルゴリズムを実行する前の構築の段階で、ですよ。
600:tai
23/07/23 20:39:02.47 wiowZNOi.net
>>561
よくそう間違うなあと思いますが
√m以下の(素因子をもつn)
でなく
(√m以下の素因子をもつ)n
と普通解釈しますよね
601:◆pObFevaelafK
23/07/23 20:41:56.84 eeIoyfZm.net
>>571
＞まずそこを認めなさい
独立であるということは明らかだ。
＞あ、レベルが低い高校出身でしたか
未解決問題12問を完全に解決した人間に言う言葉ではない、言葉を慎め。
＞高木くんが気づいてないだけです。アルゴリズムを構築する段階ではr=2でpが余る場合の処理を定義する必要があります。
狂人のレスをもう見たくもありませんが、2022年6月の論文の3ページをよく見ほうがいいのではないのでしょうか？
pが余る場合は存在しません。存在するんだったら、そういうふうになる例を一つでも示せばいいのでしょうか？
何の根拠もない妄想を書かなくても結構ですけど。
＞それがルジャンドル予想が正しいと前提にしてるんですよ。
そのような事はない。私が証明した命題は、「合成数である全てのpはrと一対一の関係を設定することができる。」
です。この命題が成り立たないというのであれば、正しいかどうか不明な「n^2<p<n(n+1)を満たすpが全て合成数である」
という命題が成立する場合を虚構のn*ではなく、具 体 的 な 値 として示したらどうでしょうか？
できないのであれば、いい加減に黙れ。
＞対応関係を作るアルゴリズムを実行する
この前に行っているのは、任意のn(n≧3)に対して「n^2<p<n(n+1)を満たすpが全て合成数である。」という
仮定を置いているだけだ。背理法を理解できないど素人はお引き取り願いたい。
602:１３２人目の素数さん
23/07/23 20:49:50.13 NoNha3Sw.net
>>574
明らかに違いますよね
n*が存在するということが偽であるのであれば、命題Bを否定する
ことはできません
現にあなたも命題Bが証明されればAが証明されると思ってる
それは独立じゃないんですよ
>2022年6月の論文の3ページをよく見た
ほうがいいのではないのでしょうか？
pが余る場合は存在しません。
アルゴリズムを作成する段階の話をしてますよ
n=17に適用する前ですよ
一度レベルの高い高校出て、早稲田の学部よりもレベルの高い"大学院"を出たら、高木くんも理解出来ると思いますので、頑張ってください
603:１３２人目の素数さん
23/07/23 20:53:25.34 NoNha3Sw.net
>>574
>この前に行っているのは、任意のn(n≧3)に対して「n^2<p<n(n+1)を満たすpが全て合成数である。」という
仮定を置いているだけだ。
任意とは
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
の意味ですか？
この仮定をおいた時点で
アルゴリズムは、r=2でpが余った場合の処理を記述する必要があります
604:tai
23/07/23 21:04:56.05 wiowZNOi.net
>>561
しょうもないことでも連投してよいようなので
m=9ならば
3以下の素因子をもつnは
1,2,3,4,6,8,
605:9,12,16,18,… といっぱいあるが 係数が0でないのは 1,2,3,6 だけである そこで 9-4-3+1=3 が3から9までの間の素数の個数+1 5,7 2+1=3である
606:１３２人目の素数さん
23/07/23 21:15:48.61 1DQdu5er.net
スレ伸びてるから進展があったのかと思ったらそんなことはなかった
607:◆pObFevaelafK
23/07/23 21:26:38.48 eeIoyfZm.net
>>575
なにを下らないレスを連投しているのか？必要ないからレスをするな。
>>576
＞任意とは
＞?∃n,n^2<p<n(n+1)を満たすpが全て合成数
任意のnを考えるということで、あるnが存在するかどうかなどということは全く違う。
「任意の」という意味が分からないのですか？変わった数学者気取りですね。
「任意の」は、複数あるもののうち、ある一つということを意味しています。
そうだから、nは3でも、30でも、300でもn≧3のうちの一つであればどれでもいいのです。
＞アルゴリズムは、r=2でpが余った場合の処理を記述する必要があります
2022年の6月の論文の3ページ目を読まずに、愚かなレスを繰り返すのは止めろ。
608:tai
23/07/23 21:27:15.34 wiowZNOi.net
不思議なことに
m=15ならば
15-7-5+2=5
3から15
5,7,11,13
4+1=5である
さらに
m=25ならば
5以下の素因子
だから
nは1,2,3,5,6,10,15,30をとり
25-12-8-5+4+2+1=7
7,11,13,17,19,23
6+1=7である
609:１３２人目の素数さん
23/07/23 21:37:58.01 NoNha3Sw.net
>>579
446 ◆pObFevaelafK sage 2023/07/20(木) 21:26:05.26 ID:UeK8SHBR
>>445
①と書いたのは間違いだった。Legendre予想の逆自体は②です。
＞11が素数でn＝3が仮定に反してるで終わりですよね
全くこういう内容ではないんですけど、論文を読んでからレスしてもらいたい。
論文の要約は>>443に書いているが。
>>437
＞アルゴリズムとやらを用いず
このような事を書いて何がいいたいのでしょうか？アルゴリズムがn≧3の全てのnで
pとrの一対一の関係を設定できるから、無限までn≧3の全てのnで矛盾が生じること
になるということですけど。
610:１３２人目の素数さん
23/07/23 21:41:15.96 NoNha3Sw.net
>>579
読んだ上で指摘してます。
あなたが、自分自身がないを仮定してるか理解してないのです。
だから、「任意の」一つとっても
>>435に
>>436と答えたり、>>446と答えたり、支離滅裂なことを言うのです
611:tai
23/07/23 22:15:14.03 wiowZNOi.net
高木くん
私はあなたの仕事に
興味がないが
決して味方ではない
念の為
612:◆pObFevaelafK
23/07/24 06:52:55.01 XeKFDCEx.net
>>583
583にくん付けで呼ばれるレベルじゃない
2ページに計算間違いを見つけた
613:◆pObFevaelafK
23/07/24 07:40:51.85 XeKFDCEx.net
>>582
>>436は、Legendre予想の証明全体に対してのレスであり、このレスは>>446で
否定している。>>446は、私が行った仮定について書いたものだが、任意のn(n≧3)に
対してということで、存在記号を使う必要はない。何も支離滅裂ではない。
614:tai
23/07/24 10:12:08.63 qSme2AhJ.net
>>584
間違いはどこかな
今日は精神科デイケアの日だから
一日ヒマです
615:１３２人目の素数さん
23/07/24 10:54:12.30 MZa6wyc2.net
>>585
日本語で書いてくれ
文章を一主語一述語で句切って書くと読みやすくなると思う
意味が分からんぞ
616:◆pObFevaelafK
23/07/24 11:45:30.28 XeKFDCEx.net
>>587
>>436は、Legedre予想が真であるという場合のnが?だと言うことを書いている。
>>446では、>>435のレスが論文のnに関して書いているので、>>436を間違いだとして
論文で書いたnは?だと書いた。
617:◆pObFevaelafK
23/07/24 11:46:01.21 XeKFDCEx.net
>>588 追記
しかし、n≧3の任意の値であり存在記号で書く必要はないと
>>585で書いている。
618:tai
23/07/24 12:51:18.45 qSme2AhJ.net
>>584
間違いはどこかな
延々待っておるわけだが
忙しいのですかね
619:◆pObFevaelafK
23/07/24 13
620::53:25.79 ID:XeKFDCEx.net
621:tai
23/07/24 14:17:26.39 qSme2AhJ.net
>>591
3行目で定義したものを
5行目に代入してるだけだけど
それか
logm=c+1+1/2+…1/m
cはオイラー定数
より
logm'-logm=1/m'+…+1/m
の話かな
622:tai
23/07/24 14:20:46.40 qSme2AhJ.net
わかった
logx^2=2logx
だな
この式変形がわからなかったのかな
623:tai
23/07/24 14:31:51.36 qSme2AhJ.net
だとすると
並の高校生よりレベルがひくい
624:tai
23/07/24 15:10:56.35 7TGoQFTH.net
まあ全部俺の想像でしかない
3ページのどこかがちがっとるのやろ
625:◆pObFevaelafK
23/07/24 15:24:39.17 XeKFDCEx.net
>>593
(log_[p_N-1])^2と勘違いしたので間違いではない
626:tai
23/07/24 15:30:44.58 7TGoQFTH.net
了解
627:tai
23/07/24 17:06:02.97 7TGoQFTH.net
もしも私の理論がただしいならば
M^2から(M+1)^2の間にlogM^2以下の間隔の
素数があることになる
すると例えば双子素数やゴールドバッハ予想
のスタートポイントをlogx以下の間隔の素数とする
ことが出来る
これは過去知られていない
強力な結果である
628:１３２人目の素数さん
23/07/25 02:22:27.05 Pa7cdoId.net
何で高木は命題Bが「『命題Aの否定」命題』」=「命題￢A」等と言うんだろ？
>>542
> 命題Aの否定命題は仮定であるから、この仮定が真であるとすると命題Bが成立しなくなり矛盾が生じる｡
独立なのに命題￢Aを真と仮定すると命題Bが成立しなくなるとほざいて矛盾と宣う高木｡
> よって、背理法により命題Ａの否定命題が偽となるので、命題Aは真となる｡
独立なはずなのに否定Aを真とすると、真である筈の相方が偽と成るので背理法により命題Aを真と抜かす高木｡
世界標準数学では、命題Aが真だろうと偽だろうと単体で矛盾でも、命題Bが矛盾であるか無矛盾であるかに関与しない場合を『独立』と言うんじゃなかった？
だから高木の言う『独立』の解釈って、また、非標準数学的で、実に日本語の自由度に任せた解釈になってる様にしか見えないんだよ｡
何で未だに高木は、日本語読解力とか言って忖度を求める『察してちゃん』で在り続けるんだろ？
629:１３２人目の素数さん
23/07/25 04:27:43.59 TLYe7tfn.net
命題Bが命題Aと独立ならば命題Bは命題Aを以ても命題￢Aを以ても示される事は無い
高木の言う独立は数学的意味でない事はもちろん集合論的意味でもないどころか論理学的意味でさえない
またもや読み手に日本語読解力と脳内補正を託す高木
所でこれ、かての命題Aを﹛命題Bは正しい﹜に変えても同じ構図に成るな
命題Bが真で在りき、の八百長に成ってる
ストーリー在りきの捜査で自己肯定する捜査官やネトウヨやパヨクと同じ無自覚な他人巻き添え自己欺瞞同調圧力
630:◆pObFevaelafK
23/07/25 05:32:11.33 4rE+kK8l.net
>>599
＞何で高木は命題Bが「『命題Aの否定」命題』」=「命題￢A」等と言うんだろ？
このような事は書いていないし、日本語でしょうか？私が書いたのは、>>474
＞独立なのに命題￢Aを真と仮定すると命題Bが成立しなくなるとほざいて矛盾と宣う高木｡
命題Bはn≧3の全てのnに対して真だから、命題￢Aに依存しない。
＞世界標準数学では、命題Aが真だろうと偽だろうと単体で矛盾でも、命題Bが矛盾であるか無矛盾であるかに
＞関与しない場合を『独立』と言うんじゃなかった？
命題Bが命題￢Aの「真偽」に関係しないということで、上記の内容と矛盾しているな。
＞日本語読解力とか言って忖度を求める『察してちゃん』で在り続けるんだろ？
599の不思議なポエムは飽きている。
>>600
＞命題Bが命題Aと独立ならば命題Bは命題Aを以ても命題￢Aを以ても示される事は無い
600はそうなんだろう。普通の人は違うけどw
＞またもや読み手に日本語読解力と脳内補正を託す高木
そのような事はない。
＞ストーリー在りきの捜査で自己肯定する捜査官やネトウヨやパヨクと同じ無自覚な他人巻き添え自己欺瞞同調圧力
自己紹介か？
631:１３２人目の素数さん
23/07/25 07:15:57.05 tjuZ6AHS.net
>>601
高木くんが「書いてない」っていうの、他人からは書いてるように見えるんだからとりあえず直しなよ
>>600の言ってることが、普通の数学なの
高木くんは
＞出版を続けたいのであれば、他の人（例えば、数学の知識がある友人や同僚、あるいは地元の大学の数学者など）に
＞原稿を読んでもらい、読みやすさを改善するためのアドバイスをもらうべきです。
にちゃんと従いなさい。
あなたの論文、数学らしき記述は全て読解が困難なの。
632:◆pObFevaelafK
23/07/25 07:18:56.67 4rE+kK8l.net
>>602
＞>>600の言ってることが、普通の数学なの
全然違う
＞読解が困難
人による