[過去ﾛｸﾞ]
高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
高木くんがアクセプトされるまで見守るスレ ★4 http://rio2016.5ch.net/test/read.cgi/math/1688037294/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
601: ◆pObFevaelafK [sage] 2023/07/25(火) 05:32:11.33 ID:4rE+kK8l >>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 ＞またもや読み手に日本語読解力と脳内補正を託す高木 そのような事はない。 ＞ストーリー在りきの捜査で自己肯定する捜査官やネトウヨやパヨクと同じ無自覚な他人巻き添え自己欺瞞同調圧力 自己紹介か？ http://rio2016.5ch.net/test/read.cgi/math/1688037294/601
603: ◆pObFevaelafK [sage] 2023/07/25(火) 07:18:56.67 ID:4rE+kK8l >>602 ＞>>600の言ってることが、普通の数学なの 全然違う ＞読解が困難 人による http://rio2016.5ch.net/test/read.cgi/math/1688037294/603
606: ◆pObFevaelafK [sage] 2023/07/25(火) 08:47:09.93 ID:4rE+kK8l >>604 >>601 ＞命題Bはn≧3の全てのnに対して真だから、命題¬Aに依存しない。 >>605 全ての論文に対して、同じ文書なので非常に怪しい ＞一般的には読解が困難なんですよ 605がその一般ではないのだおる http://rio2016.5ch.net/test/read.cgi/math/1688037294/606
607: ◆pObFevaelafK [sage] 2023/07/25(火) 08:48:10.53 ID:4rE+kK8l >>606 訂正 謎の表記？ ×だおる 〇だろう http://rio2016.5ch.net/test/read.cgi/math/1688037294/607
610: ◆pObFevaelafK [sage] 2023/07/25(火) 11:18:52.65 ID:4rE+kK8l >>609 ＞できません、と認めた時点で証明になってないの これはプログラムを組み、コンピュータである程度の値(例えばnが100以下)までであれば pとrの関係を出力することは可能だということだが、このアルゴリズムは無限まで成立する から、有限の範囲でしか計算できないコンピューターで関係の出力を全て行うのは不可能だ。 何故このように簡単な事が分からないのか？ ＞全てのpが合成数になるときのアルゴリズムの記述が絶対に必要 論文にその関係を設定するルールが書いてあるし、>>414と>>527で例を書いた。 http://rio2016.5ch.net/test/read.cgi/math/1688037294/610
614: ◆pObFevaelafK [sage] 2023/07/25(火) 16:20:18.52 ID:4rE+kK8l >>611 ＞唯一無二正解者がお前だ このpとrを関係付けて、Legnedre予想が正しいことを証明したのは私かもしれません。 私は、この証明法を個人で考案しました。 ＞「命題B」は「命題Aの否定命題」=「命題¬A」を「独立」としている癖に 611は背理法が分からないのか分からないふりをしているのか？「命題¬A」は 真であるか偽であるか証明できていないから、これを真であると仮定している。 命題Bは、命題¬Aが真であろうとなかろうと命題¬Aに依存せずに 常にn≧3で真であることを証明している。よって、n≧3のnに対して 命題¬Aが真であると命題Bが偽になり矛盾が生じるので、命題¬Aが偽になる。 ＞フーテンの寅さん 661がな ＞丸で『聞こえてくる声』〜 どこが同じなのか、病気でしょうか？ >>612 任意のn(n≧3)についてそのプログラムを書くことは可能だ。 そのプログラムがn=3,4,5,…と処理を行っていき、n→∞まで 計算が可能だと考えるんですか？間違いのレスをしたおしていますけど ちゃんと逃げないで答えろ >>613 ＞命題pが命題qと独立ならば命題pは命題qを以ても命題¬qを以ても示される事は無い ＞此れは事実だよ そうだろう。証明は、「n^2<p<n(n+1)の合成数である全てのpとrと一対一 の関係を設定できる。」ということなので、「n^2<p<n(n+1)のpが全て 合成数である。」という命題¬Aに依存するはずがない。 ＞いい加減に高木流数学用語用法を卒業しないの？ いい加減に意味不明なレスを続けるのを止めてくれ。 http://rio2016.5ch.net/test/read.cgi/math/1688037294/614
616: ◆pObFevaelafK [sage] 2023/07/25(火) 19:21:52.37 ID:4rE+kK8l ＞合成数が余るんですからw それが矛盾するということですけど。 ＞「計算量が甚大」と「プログラムを記述出来ない」 こんな事を書いていません。無限の計算量が必要なのをいくら計算速度の速い コンピューターでも計算できないということは理解できますか？ ＞背理法にあるまじき追加の仮定なんですよ わけの分からない理屈は結構です。命題Bはn≧3で常に真です。証明しました。 これができないn*wを示して下さい。 >>614に ＞計算が可能だと考えるんですか？ と書きましたが、やはりスルーしている http://rio2016.5ch.net/test/read.cgi/math/1688037294/616
621: ◆pObFevaelafK [sage] 2023/07/25(火) 20:32:30.23 ID:4rE+kK8l >>617 ＞背理法以前に論理を学んでください。 黙れ、数学者気取りが ＞計算するためのアルゴリズムを記述してくださいと言ってるんです。 >>541で書いたことだが、それを推敲して書く pの素因数rにより降順でpをグループ化して、そのグループごとにpの昇順(降順でもいい)でpに対して rの倍数としてrを設定していく。これにより、実際のrとは異なるrとして関係を設定することになる。 前にも書いたが、pが元の集合とrが元の集合の間で元と元の間に線を結んで紐を付けるということを行う。 rが既に設定している値であれば、その値を飛ばしそれより大きいrの倍数をrとして関係を設定する。 グループ化したpの個数が1<r<nに収まるqの倍数の個数よりも大きい場合には、rより小さい素数の倍数で あるpに関係を設定することを後回しにする。 何故、論文を読まないでふざけたレスをし、しかも全く理解する気のないする人間にこのような事を 書かなければならないのか？ ＞任意のnについては一対一対応が可能なアルゴリズム よく、このような当たり前のことが書けるな。 http://rio2016.5ch.net/test/read.cgi/math/1688037294/621
622: ◆pObFevaelafK [sage] 2023/07/25(火) 20:36:43.28 ID:4rE+kK8l ＞あるn(n≧3)に対して「n^2<p<n(n+1)を満たすpが全て合成数である。」（背理法の仮定） ＞⇒あるn(n≧3)に対して「合成数であるpは全てrと一対一の関係を設定できない。」 これは論理的には正しいが、「合成数であるpは全てrと一対一の関係を設定できない。」ということが ないという事を証明している。 >>620 妄想の反証もどきは必要ない。n*wの値を一つでもいいから示してくれ。 アルゴリズムができていないというのであれば、論文のアルゴリズムを理解した上で アルゴリズムの不備を指摘しろ。 http://rio2016.5ch.net/test/read.cgi/math/1688037294/622
623: ◆pObFevaelafK [sage] 2023/07/25(火) 20:38:13.92 ID:4rE+kK8l >>621 修正 ×qの倍数の個数よりも 〇rの倍数の個数よりも http://rio2016.5ch.net/test/read.cgi/math/1688037294/623
625: ◆pObFevaelafK [sage] 2023/07/25(火) 21:24:49.79 ID:4rE+kK8l Another proof of Lengedre conjecture Let m and n be integers. We suppose p_n is the smallest prime number among primes greater than m^2. m^2<nlog(n)<p_n<p_(n+1)<(n+1)log(p_(n+1))<(m+1)^2 According to Cramer's conjecture, p_(n+1)-p_n=log(p_n)^2 holds for n≧5. Since according to Dusart's inequality, p_n<n(log(n)+log(log(n))) holds, log(p_n)<log(n)+log(log(n)+log(log(n))) holds for n≧6. p_(n+1)-p_n<(log(n)+log(log(n)+log(log(n))))^2 By the way, nlog(n)<(m+1)^2 √(nlog(n))<m+1 2√(nlog(n))-1<2m+1 holds. 2m+1 is the distance between m^2 from (m+1)^2. We will consider the followng inequality. (log(n)+log(log(n)+log(log(n))))^2<2√(nlog(n))-1 It is confirmed that this inequality holds for n≧94 by numeric computation. Therefore, p_(n+1)-p_n is smaller than 2m+1 for m≧20. http://rio2016.5ch.net/test/read.cgi/math/1688037294/625
626: ◆pObFevaelafK [sage] 2023/07/25(火) 21:26:00.65 ID:4rE+kK8l >>625 訂正 ×p_(n+1)-p_n=log(p_n)^2 〇p_(n+1)-p_n<log(p_n)^2 http://rio2016.5ch.net/test/read.cgi/math/1688037294/626
627: ◆pObFevaelafK [sage] 2023/07/25(火) 21:30:04.58 ID:4rE+kK8l >>625 訂正 ×m^2<nlog(n)<p_n<p_(n+1)<(n+1)log(p_(n+1))<(m+1)^2 〇m^2<nlog(n)<p_n<p_(n+1)<(m+1)^2 http://rio2016.5ch.net/test/read.cgi/math/1688037294/627
628: ◆pObFevaelafK [sage] 2023/07/25(火) 21:47:34.25 ID:4rE+kK8l >>625は誤りでした。 http://rio2016.5ch.net/test/read.cgi/math/1688037294/628
631: ◆pObFevaelafK [sage] 2023/07/25(火) 22:21:57.13 ID:4rE+kK8l Another proof of Lengedre conjecture Let m and n be integers. We suppose p_n is the smallest prime number among primes greater than m^2 and the following inequalities hold. m^2<nlog(n)<p_n<p_(n+1)<(m+1)^2 According to Cramer's conjecture, p_(n+1)-p_n<log(p_n)^2 holds for n≧5. Since according to Dusart's inequality, p_n<n(log(n)+log(log(n))) holds for n≧6, log(p_n)<log(n)+log(log(n)+log(log(n))) holds. p_(n+1)-p_n<(log(n)+log(log(n)+log(log(n))))^2 By the way, m+1>√(pn+1) holds. Since according to Dusart's inequality, p_n>n(log(n)+log(log(n))-1) holds for n≧2, √(p_n+1)>√(n(log(n)+log(log(n))-1)) m+1>√(n(log(n)+log(log(n))-1)) 2m+1>2√(n(log(n)+log(log(n))-1))-1 holds. 2m+1 is the distance between m^2 from (m+1)^2. We will consider the followng inequality. (log(n)+log(log(n)+log(log(n))))^2<2√(n(log(n)+log(log(n))-1))-1 It is confirmed that this inequality holds for n≧75 by numeric computation. Therefore, p_(n+1)-p_n is smaller than 2m+1 for m≧19. http://rio2016.5ch.net/test/read.cgi/math/1688037294/631
632: ◆pObFevaelafK [sage] 2023/07/25(火) 22:25:41.44 ID:4rE+kK8l >>630 私はFiroozbakht予想を証明しましたが、これとKourbatovの不等式により Cramer's conjectureが真であることを証明できます。 http://rio2016.5ch.net/test/read.cgi/math/1688037294/632
635: ◆pObFevaelafK [sage] 2023/07/25(火) 22:50:44.66 ID:4rE+kK8l >>633 Wolframで計算すると、n≧5の全てのnで成立する。 http://rio2016.5ch.net/test/read.cgi/math/1688037294/635
644: ◆pObFevaelafK [sage] 2023/07/25(火) 23:42:29.04 ID:4rE+kK8l >>638 ＞r=2のグループで個数が大きい場合、後回しはどうするんですか？ r=2のとき後回しにしなければならないことになりません。論文の3ページ で証明しています。 >>639 何もギャップはない。 >>640 rごとにグループ化するときに、rよりも小さい素数が存在するものを飛ばします。rの個数よりも 大きいとき一つだけ大きいことになるので、グループの中でどれか少なくとも一つは偶数になり そのpを後回しにすることができます。 http://rio2016.5ch.net/test/read.cgi/math/1688037294/644
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.050s