X
トップページ⇒数学
1002コメント378KB

雑談はここに書け！【６３】

■ このスレッドは過去ログ倉庫に格納されています
0718１３２人目の素数さん
垢版 |
2022/07/20(水) 08:43:05.91ID:PU6LkzEw
高木の感想ｗ
>Firoozbakht予想の証明は間違っていたので、この予想を用いているFortune予想は
>解決していないことになった。
0722◆pObFevaelafK
垢版 |
2022/07/20(水) 09:45:16.12ID:z+T6IhVO
>>721
全て査読付き論文誌にrejectされている。


MSPの未解決問題解決の論文を送るところに投稿するようにするため
数学者の承認が必要だということで、論文をある数学者に提出している。

MSPの論文投稿システムは全て私の投稿を問答無用に弾くようになっている。
pre-print serverも論文を更新しようとしても無視している。
0724◆pObFevaelafK
垢版 |
2022/07/20(水) 09:51:27.97ID:z+T6IhVO
ここでは、MSPで査読中だという声も聞こえてきている
フェークかどうかは分からないが。

私の証明は完全に正しいのに、何故このような事態になるのだろうか？
0725◆pObFevaelafK
垢版 |
2022/07/20(水) 10:12:23.15ID:z+T6IhVO
>>715 訂正
これは誤りでした、2022/07/16のFiroozbakht予想の証明は正しいと考えられますので
私が解決したと主張する未解決問題は10問です。
0726１３２人目の素数さん
垢版 |
2022/07/20(水) 11:20:17.29ID:2lw6MvxX
これまでの書き込みで、高木は数学の論理を全く理解してないことが確定してるぞ

そんな奴が自分で何かを判断するのは妄想そのものだな
0727◆pObFevaelafK
垢版 |
2022/07/20(水) 12:21:02.73ID:z+T6IhVO
>>726
最新版の論文を読んでから妄言はどうぞ

私はある数学者に論文を提出しているので、そのうち結果は明らかになるでしょう
0728１３２人目の素数さん
垢版 |
2022/07/20(水) 12:24:41.64ID:e5cU9Kco
>>725
「私が解決したと"主張する"未解決問題」。
ちょっと目を疑うが、正しい日本語になっておる。
あとは、「完全に」の使い方を学びたまえ。
0730１３２人目の素数さん
垢版 |
2022/07/20(水) 14:24:06.69ID:2lw6MvxX
>>727
妄言www
間違いだらけで数学の論理を全く理解してないのは事実だろが、クズ
このスレだけでも間違いしかなかったな
0733◆pObFevaelafK
垢版 |
2022/07/20(水) 18:04:13.17ID:z+T6IhVO
「同じものがあるからだ。」と聞こえてきているが、何が同じwなのだろうか？
0734◆pObFevaelafK
垢版 |
2022/07/20(水) 18:15:43.37ID:z+T6IhVO
「しゃれにならねー。」
「下りないとさす。」
と聞こえてきてきていて、素晴らしく意味不明で暴力的な声ですね。

謎の団体がヒステリーを起こしているのでしょうか？
0737◆pObFevaelafK
垢版 |
2022/07/20(水) 18:49:27.57ID:z+T6IhVO
「私が書いたものだ。」と聞こえてきました。誰が何を書いたのでしょうか？

この幼稚な言葉は誰でも言える言葉wですが？
0743１３２人目の素数さん
垢版 |
2022/07/21(木) 00:47:19.21ID:XS+zFPRj
おれらも、取ってつけたような「修正しました」とか必要ないんだわ
0744◆pObFevaelafK
垢版 |
2022/07/21(木) 07:24:46.42ID:vyjezRri
>>578
このレスで、07/16日の論文が間違っていると誤って考えてしまいましたが
n=1のときに、(3)の右側の式が成立しないのは当然です。

(log(p_{n+1})-log(p_n))/log(p_n)はp_{n+1}-p_n=log(p_n)が成立するnの場合
(実際にはlog(p_n)は整数になることはないので、このnは存在しませんと考えられる)
の式で、それが、(log(pn+1)-log(pn))/(pn+1-pn)という関数の上限になっています。

ということで、n=1のときに、(3)の右側の式が成立しなくても問題ありません。
0745◆pObFevaelafK
垢版 |
2022/07/21(木) 07:26:00.74ID:vyjezRri
>>743
完全に正しい証明にすることが私の目標です
0746◆pObFevaelafK
垢版 |
2022/07/21(木) 07:28:23.09ID:vyjezRri
>>744 訂正
×存在しませんと考えられる
〇存在しない考えられる
0747１３２人目の素数さん
垢版 |
2022/07/21(木) 07:53:18.93ID:psle1Lga
>>744
上限wwww
馬鹿丸出し

上限は上界の最小値だろ、
最小であることはどこに証明してるんだよ

不等式で等号成立条件とか理解出来ない無能な中学生だったんだろうなwwww
0748１３２人目の素数さん
垢版 |
2022/07/21(木) 07:54:42.34ID:psle1Lga
>>745
完全に正しくなるまで出てくんなよ
自分でチェック出来ない無能なんだから、信頼出来る第三者にお墨付きを貰ってその証拠とともに出直せよ、クズ
0749１３２人目の素数さん
垢版 |
2022/07/21(木) 08:04:32.58ID:psle1Lga
もともとの証明がグダグダでデタラメのゴミなんだから、指摘に反論wwwしても無駄極まりない
反論出来てなくて無能を強調してるだけだがなwww
0750１３２人目の素数さん
垢版 |
2022/07/21(木) 10:25:11.04ID:jIBFD1c4
>>744
log p_nが整数となるnは存在しないから、どんなnに対しても、(3)の右側の不等式が成り立つかどうかはわからないってこと？
あと >>91 のバージョンでは(3)の二行下の不等式を出す時に(3)の右側の不等式を使っているけど、そこも修正したの？
0751◆pObFevaelafK
垢版 |
2022/07/21(木) 11:40:52.87ID:vyjezRri
>>748
>>725

>>750
log(p_{n+1}-p_n)/log(p_n))<f'(p_n)はグラフから明らかだから、どんなnに対しても
(log(p_{n+1}-p_n)-log(p_n))/(p_{n+1}-p_n)<f'(p_n)が成立する。

グラフから明らかだと言うのは、p_{n+1}=aとして
F(a)=log(a-p_n)-log(p_n))/(a-p_n)
とすると、F(a)は単調減少関数になる。よって、p_{n+1}-p_nが下限であるlog(p_n)
のときに、F(a)は上限となる。
0754１３２人目の素数さん
垢版 |
2022/07/21(木) 12:48:17.05ID:jIBFD1c4
>>751
(log(p_{n+1}-p_n)-log(p_n))/(p_{n+1}-p_n)<f'(p_n) は
(log p_{n+1} - log p_n)/(p_{n+1}-p_n)<f'(p_n) の書き間違い？
F(a)もF(a)=(log a - log p_n)/(a-p_n)かな

それはまあいいとして、>>750 への返事になっていない気がするのですが。
0755１３２人目の素数さん
垢版 |
2022/07/21(木) 13:03:08.47ID:ey5rzaEa
>>745
なら、しっかり時間をとって見直そう
事実上、もう君しか間違いがあるかをチェックしないんだから
0756◆pObFevaelafK
垢版 |
2022/07/21(木) 13:07:44.45ID:vyjezRri
>>753
それは高校数学の数Ⅱでしょう

>>754
すいません、書き間違いました

>>750
右側の不等式が成り立つということは

F(a)=(log(a)-log(p_n))/(a-p_n)として、F(a)はグラフから単調減少関数になりますが、a≧p_n+log(p_n)の範囲で
F(a)<f'(p_n)になります。ということで後半の修正はしなくてよいことになります。
0757◆pObFevaelafK
垢版 |
2022/07/21(木) 13:09:35.60ID:vyjezRri
>>755
数学用語の誤りと、(3)の右の不等式が成立するnの条件を加えて完成しました
0759１３２人目の素数さん
垢版 |
2022/07/21(木) 14:10:54.74ID:jIBFD1c4
>>756
その議論で (log(p_n + log p_n) - log p_n)/log p_n < f’(p_n) が成り立つことはわかるのだけれど、それだけからは(3)の右側は出ないよね？
>>757 で追加したというnに関する条件が効いてうまくいくの？
0760◆pObFevaelafK
垢版 |
2022/07/21(木) 14:53:18.52ID:vyjezRri
>>759
F(a)=(log a - log (p_n))/(a - p_n)<f'(p_n)
であり、a≧p_n+log(p_n)の範囲で、F(a)は単調減少関数となる
F(a)はa=p_n+log(p_n)のときに
F(p_n+log(p_n))=(log p_{n+1} - log p_n)/log(p_n)
が上界であり
F(a)≦F(p_n+log(p_n))<f'(p_n)
が成立する
0762１３２人目の素数さん
垢版 |
2022/07/21(木) 15:46:14.92ID:jIBFD1c4
>>760
F(p_n+log(p_n))=(log(p_n + log p_n) - log p_n)/log(p_n) じゃないの？
一般にはp_{n+1}>=p_n + log p_nで、等号が成り立つとは限らないんだよね？
0763１３２人目の素数さん
垢版 |
2022/07/21(木) 16:01:16.78ID:9yp5zz1y
点の繋ぎ方(topology)が指定されててその長さの和が極小になるとき３点の分岐の部分のナス角が120°ずつになるのって昔の人の名前ついてて「××の原理」みたいな呼ばれ方してた記憶があるんだけどどなたかわかります？
0764１３２人目の素数さん
垢版 |
2022/07/21(木) 16:10:23.12ID:sHxoHNZC
>>751
はい
全く証明になってねぇよ
最小値、最大値や上限、下限の概念を全く理解出来てない証拠だな、クズ
不等式が成り立つとかいくら説明しようが、上界や下界しかわからねぇよ

下限だというなら、下界の最大値だという証明書けよ、クズ
最大性の証明が皆無だよ、無能
0765１３２人目の素数さん
垢版 |
2022/07/21(木) 16:21:04.73ID:Sc+K0/po
早稲田二浪の高校生には不等式が示す範囲が分からないんだろう（禿藁）
0768◆pObFevaelafK
垢版 |
2022/07/21(木) 17:47:47.39ID:vyjezRri
>>762,764
Ⅱの場合に、その不等式が成立するということを示しています。
0769１３２人目の素数さん
垢版 |
2022/07/21(木) 20:09:50.20ID:psle1Lga
>>768
不等式を示しても下限やら最小値やらはわからねぇよwwww
未だに全く分かってないww
中学生より遥かに低いレベルwwww
0772１３２人目の素数さん
垢版 |
2022/07/21(木) 21:39:36.47ID:Sc+K0/po
高木の論文を読んだ感想、何をやりたのか何をやってるのかわけわかめｗ
0774１３２人目の素数さん
垢版 |
2022/07/21(木) 23:00:36.20ID:uYMiudjU
>>773
じゃあ改めて質問。>>760では
F(p_n+log(p_n))<f'(p_n)
を示しているけれど、
F(p_n+log(p_n))=(log(p_n + log p_n) - log p_n)/log(p_n)
だからここで示していることは
(log(p_n + log p_n) - log p_n)/log(p_n) < f’(p_n)
であって、(3)の右側の不等式
(log p_{n+1} - log p_n)/log(p_n) < f’(p_n)
は示せていないのでは？
0775◆pObFevaelafK
垢版 |
2022/07/21(木) 23:34:38.06ID:vyjezRri
>>774
まず、a=p_n+log(p_n)のときに、以下の式が成立する。
F(p_n)+log(p_n)=(log(p_{n+1})-log(p_n))/log(p_n)
F(a)は単調減少関数だから、a≧p_n+log(p_n)の範囲では
a=p_n+log(p_n)で上限になる。このときに
F(p_n)+log(p_n))<f((p_n)
となり、a>p_n+log(p_n)のときには、F(p_n)+log(p_n))が上限であるから
F(a)≦F(p_n)+log(p_n)
0776１３２人目の素数さん
垢版 |
2022/07/21(木) 23:55:26.29ID:uYMiudjU
>>775
F(p_n)+log(p_n)=(log(p_{n+1})-log(p_n))/log(p_n)
の左辺は F(p_n + log p_n)の書き間違えだと思うけど、
F(p_n+log(p_n))=(log(p_n + log p_n) - log p_n)/log(p_n) じゃないの？
0777◆pObFevaelafK
垢版 |
2022/07/22(金) 00:56:00.96ID:w99ijoaJ
>>776
書き間違えました。a=p_n+log(p_n)のときだから
F(p_n+log(p_n))=(log(p_{n+1}) - log p_n)/log(p_n)
となる。
0778１３２人目の素数さん
垢版 |
2022/07/22(金) 01:56:29.21ID:ZnYOCTTw
今はp_{n+1}>=p_n+log p_nなんだから
F(p_n+log(p_n)) = (log(p_n + log p_n) - log p_n)/log(p_n) <= (log(p_{n+1}) - log p_n)/log(p_n)
であって、
F(p_n+log(p_n))=(log(p_{n+1}) - log p_n)/log(p_n)
とは限らないんじゃないの？
0779◆pObFevaelafK
垢版 |
2022/07/22(金) 07:46:15.17ID:w99ijoaJ
>>778
p_{n+1}=p_n+log p_nのときに、F(a)は上界になる。
このとき
F(p_n+log(p_n))=(log(p_{n+1}) - log p_n)/log(p_n)=(log(p_n+log p_n) - log p_n)/log(p_n)
0780１３２人目の素数さん
垢版 |
2022/07/22(金) 08:34:56.77ID:xfgPH/Hp
>>779
> p_{n+1}=p_n+log p_nのときに、
突然ありえない仮定を持ち出す愚か者。
ありえないものを仮定すれば何でも示せるwww

p_{n+1}=p_n+log p_n
が成り立つp_nの存在を先に示してから議論しろよ。
そんなことも出来ないから無能のクズには証明できないんだろが
ゴミすぎwww
0781１３２人目の素数さん
垢版 |
2022/07/22(金) 09:06:28.07ID:ZnYOCTTw
>>779
p_{n+1}>p_n+log p_n のときは
F(p_n+log(p_n)) = (log(p_n + log p_n) - log p_n)/log(p_n) < (log(p_{n+1}) - log p_n)/log(p_n)

ってのは正しい？
0782◆pObFevaelafK
垢版 |
2022/07/22(金) 11:54:04.30ID:w99ijoaJ
>>780
p_{n+1}≧p_n+log p_n
が成立するから、F(a)の上限を求めるのに、p_{n+1}=p_n+log p_nの場合を考えることは
問題ありません。

>>781
p_{n+1}>p_n+log p_nのときは
F(a)≦F(p_n+log p_n)
となります。log(a)とF(a)のグラフを考えれば分かります。
0783１３２人目の素数さん
垢版 |
2022/07/22(金) 14:02:42.65ID:ZnYOCTTw
>>782
p_{n+1}>p_n+log p_nのときF(p_{n+1})<F(p_n+log p_n)ってのは疑ってないよ。
ただそのときはF(p_n+log p_n)より(log(p_{n+1}) - log p_n)/log(p_n) の方が大きいでしょっていう確認をしたいだけ。
0785◆pObFevaelafK
垢版 |
2022/07/22(金) 15:12:18.09ID:w99ijoaJ
>>783
そのとおりです

>>757
Ⅱのとⅱのが成立する任意のnという条件です
0787１３２人目の素数さん
垢版 |
2022/07/22(金) 15:30:05.72ID:ZnYOCTTw
>>785前半
それならF(p_n+log p_n)<f’(p_n)を示しても(log(p_{n+1}) - log p_n)/log(p_n)<f’(p_n)を示したことにはならないのでは？
0788１３２人目の素数さん
垢版 |
2022/07/22(金) 15:32:52.99ID:ZnYOCTTw
>>785後半
n=1はその条件を満たすのに(3)の右の不等式が成立しないような例だったんだけど、どういうこと？
0789１３２人目の素数さん
垢版 |
2022/07/22(金) 15:39:47.41ID:rUazk4fG
>>782
問題ないwww
問題だらけだよ
有り得ない仮定をして何か示した気になってる高木は数学能力皆無
0790１３２人目の素数さん
垢版 |
2022/07/22(金) 15:49:19.10ID:VOVOzOa6
補題２
nは任意の自然数とする。n番目の素数p(n)に対して次の式が成立する
{logp(n+1)-logp(n)}/{p(n+1)-p(n)}<={logp(n+1)-logp(n)}/logp(n+1)<1/p(n)

こういう風に書けよ
0791◆pObFevaelafK
垢版 |
2022/07/22(金) 16:10:54.47ID:w99ijoaJ
>>787
F(a)<f'(p_n)
はa≧p_n+log p_nを満たす任意の整数aで成立する

>>788
F(a)<f'(p_n)
が任意のa(a≧p_n+log p_n)で成立し、F(a)の上限がF(p_n+log p_n)だから
F(a)≦F(p_n+log p_n)=(log {p_n+1}-log p_n)/(log p_n)<f(p_n)

n=1のときに成立しないのは、問題ではない。
(log {p_n+1}-log p_n)/(log p_n)<f(p_n)
が成立するのは、p_{n+1}=p_n+log p_nのときだけであり、このときにF(p_n+log p_n)
が上限になり、全てのnに対して
F(a)≦F(p_n+log p_n)=(log {p_n+1}-log p_n)/(log p_n)
となるということだから。

>>789
>>798が全く皆無
0792１３２人目の素数さん
垢版 |
2022/07/22(金) 16:21:51.19ID:ZnYOCTTw
>>791
じゃあ確認だけど、条件II, iiを満たすnであってもp_{n+1} > p_n + log p_nなら
(log p_{n+1}-log p_n)/(log p_n)<f’(p_n)
が成立するとは限らないってこと？
0794１３２人目の素数さん
垢版 |
2022/07/22(金) 16:46:44.14ID:ZnYOCTTw
じゃあ、条件II, iiを満たすが
(log p_{n+1}-log p_n)/(log p_n)<f’(p_n)
とはならないnについて、
(log p_{n+1}-log p_n)/(log p_n) < log(n+1) - log n
は成り立つの？
0795◆pObFevaelafK
垢版 |
2022/07/22(金) 17:11:15.40ID:w99ijoaJ
>>794
f'(p_n)<log(n+1) - log n
が成立します。

p_{n+1}=p_n+log(p_n)となるあるnで
(log p_{n+1}-log p_n)/(log p_n)<f'(p_n) ①
が成立します。

①が成立する場合には、p_{n+1}>p_n+log(p_n)となるnに対しては
(log p_{n+1}-log p_n)/(p_{n+1} - p_n)<(log p_{n+1}-log p_n)/(log p_n)
が成立します。これは、グラフを考えれば明らかです。

以上により
(log p_{n+1}-log p_n)/(log p_n) < log(n+1) - log n
が成立します。
0798◆pObFevaelafK
垢版 |
2022/07/22(金) 17:34:39.49ID:w99ijoaJ
>>797
(log p_{n+1}-log p_n)/(p_{n+1} - p_n)<f'(p_n)は全てのnで成立するので
あるnで①が成立しないことはありません。
0801１３２人目の素数さん
垢版 |
2022/07/22(金) 21:21:44.15ID:ZucShSYZ
>>798
聞き方が良くなかったかな

条件II, iiを満たすが p_{n+1} > p_n + log p_nとなり、なおかつ
(log p_{n+1}-log p_n)/(log p_n)>=f’(p_n)
が成り立つようなnについても
(log p_{n+1}-log p_n)/(log p_n) < log(n+1) - log n
は成り立ちますか？
0802◆pObFevaelafK
垢版 |
2022/07/22(金) 21:49:55.68ID:w99ijoaJ
>>801
今まで書いてきたことから、その式が成立しないはずがありませんけど
0804１３２人目の素数さん
垢版 |
2022/07/22(金) 22:13:03.77ID:ZucShSYZ
>>802
>>795 では

p_{n+1} = p_n + log p_n となるようなn（存在するかは置いといて）については①が成り立ち、①が成り立つならp_{n+1} > p_n + log p_n でも
(log p_{n+1}-log p_n)/(log p_n) < log(n+1) - log n
が成立する

と書いているように見えたし、これ自体は正しいと思う。
でも、それでは >>793 で存在を認めてくれたような、①がそもそも成立しないような場合は考えられていないのでは？
0805◆pObFevaelafK
垢版 |
2022/07/23(土) 00:18:06.44ID:lHh7747c
>>804
F(a)は単調減少関数ですので、aが下限p_n+log p_nのときに、F(a)は上限になります。
0807◆pObFevaelafK
垢版 |
2022/07/23(土) 00:55:32.87ID:lHh7747c
>>806
＞p_{n+1} > p_n + log p_n でも
＞(log p_{n+1}-log p_n)/(log p_n) < log(n+1) - log n
これは違います。

(log(11)?log(7))/(11-7)=0.1129...
(log(7+log(7))?log(7))/log(7)=0.1260... ←p_{n+1} > p_n + log p_nの場合はこうなります
1/7=0.1428
log(5)-log(4)=0.2231...

(log(11)?log(7))/(11-7)<(log(7+log(7()?log(7))/(log(7))<log(5)-log(4)
で何の問題もありません。
0808◆pObFevaelafK
垢版 |
2022/07/23(土) 01:05:01.44ID:lHh7747c
>>807 訂正
(log 11-log 7)/(11-7)=0.1129...
(log(7+log 7)-log7)/log 7=0.1260... ←p_{n+1} > p_n + log p_nの場合はこうなります
1/7=0.1428...
log 5-log 4=0.2231...

(log 11-log 7)/(11-7)<(log(7+log 7)-log 7)/log 7<log 5 -log 4
0809１３２人目の素数さん
垢版 |
2022/07/23(土) 01:12:08.14ID:tWgx8+3L
不等式から上限だの下限だのは求まらねぇよ、クズ
>>805
下限の時www

下限になることがあるのかよ
妄想だな
下限になることがあるなら証明してみろよ、無能
0811１３２人目の素数さん
垢版 |
2022/07/23(土) 01:36:03.33ID:tWgx8+3L
>>810
言い訳www

証明なしに下限とか分かると思い込んでるクズに証明は書けねぇよ。

まともな論文wwwなんて今まで一本も無いしな

妄想で証明書く奴に証明は無理すぎw
0813◆pObFevaelafK
垢版 |
2022/07/23(土) 01:49:03.00ID:lHh7747c
>>811
言い訳ではない、確かにその証明は存在している
0814１３２人目の素数さん
垢版 |
2022/07/23(土) 02:01:48.77ID:tWgx8+3L
>>813
存在してるwww
また妄想

過去に高木が何かの証明を書けたことは皆無
ド素人だからこそ妄想が証明に見えてるwww

早稲田合格したとほざくくせに下限すら分かってないwww

イカサマで合格、卒業したのはかくじだな
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況