21/02/07 21:18:51.70 376HUsj8.net
Firoozbakht予想の証明が完成しました。
パスワードはodd prime
証明論文 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
証明論文 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
2:
21/02/08 21:11:06.14 GPB6W5X0.net
間違いを発見したと思ったので、>>1のファイルを削除しましたが
間違いではありませんでした。以下は>>1と同じファイルです。
パスワードはodd prime
証明論文 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
証明論文 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
3:１３２人目の素数さん
21/02/26 11:49:37.36 3G6h7EBf.net
一昨日「初等的証明は無理だ。」と外から声が聞こえてきましたが
昨日Firoozbahkt予想の証明は完成しました。
4:
21/03/04 12:36:00.67 fve+wtb8.net
最終的に証明が完成したので公開します。
パスワードはodd prime
証明論文 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
5:１３２人目の素数さん
21/03/06 00:59:25.14 RtiU/tAu.net
まーたなんか始めたの？
病院行った？
6:
21/03/08 20:57:40.33 3zQ31n2C.net
>>4の計算間違いを修正しました。初等的な証明になったと思います。
パスワードはodd prime
証明論文 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
7:１３２人目の素数さん
21/03/09 00:28:31.17 oEYCtjuK.net
完成→修正芸はいつまで続けるんだよｗｗｗｗ
8:１３２人目の素数さん
21/03/09 05:54:33.17 knDBXLSc.net
>>6で完全に完成しましたので、今後修正はありません
9:１３２人目の素数さん
21/03/09 17:21:33.68 VwEBep9K.net
それももう何回も聞いたぞ～
10:１３２人目の素数さん
21/03/09 17:49:27.14 knDBXLSc.net
この問題に関してはもう言いいません
11:１３２人目の素数さん
21/03/09 19:21:00.70 MzxH7I3v.net
まあめちゃくちゃよね
3pとか
log(p_n)を変数とする二次不等式を解くとあるが、判別式らしき根号の中身にln(p_n)が入ってるし
12:１３２人目の素数さん
21/03/09 19:23:39.33 knDBXLSc.net
>>11
log(p_(n+1))ですけど？
13:１３２人目の素数さん
21/03/09 19:24:28.16 knDBXLSc.net
>>12
と思ったら、間違いでした、訂正します。
14:１３２人目の素数さん
21/03/09 19:47:16.66 oEYCtjuK.net
あーあ読んじゃったか
また調子に乗り始めるぞ
15:
21/03/09 21:55:56.82 knDBXLSc.net
>>6の計算には誤りがありましたので修正しました。
パスワードはodd prime
証明論文 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
16:１３２人目の素数さん
21/03/09 22:05:09.17 SuxqJA3I.net
>>15
この間僅か4時間である
17:
21/03/10 01:00:42.03 2OLX3kt4.net
>>15
この計算にも誤りがありｊました、これで最後です。
パスワードはodd prime
証明論文 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
18:
21/03/10 20:44:34.97 2OLX3kt4.net
>>15
この証明ではlog(pn)が解にならない可能性を排除できませんでした。
パスワードはodd prime
証明論文 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
19:１３２人目の素数さん
21/03/10 23:10:54.58 WiQbghky.net
どうでもいい
高木からはゴミしか出てこない
20:１３２人目の素数さん
21/03/10 23:38:10.73 2OLX3kt4.net
これは完全解決証明だけど？
21:１３２人目の素数さん
21/03/11 00:43:21.82 NDNBHPH4.net
10 １３２人目の素数さん sage 2021/03/09(火) 17:49:27.14 ID:knDBXLSc
この問題に関してはもう言いいません
22:１３２人目の素数さん
21/03/29 11:45:10.56 g1ULVOGa.net
逆Firoozbakht予想発見
23:１３２人目の素数さん
21/03/29 11:55:24.01 g1ULVOGa.net
log(p_n+1)/log(p_n)>1-1/n (for n≧1)
24:
21/04/13 07:02:52.39 f5sR87XQ.net
論文誌は正しい論文を否定するようなので、別証明を公開することにしました。
Lengendre予想の私が考案した篩により、Landau第2問題と第4問題が解決するもの
と考えられます。
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
Legendre予想(英語)
URLﾘﾝｸ(whitecats.dip.jp)
25:１３２人目の素数さん
21/04/13 07:22:45.25 cp2rgZ4G.net
まだやってるｗｗｗ
26:
21/04/13 08:18:21.28 f5sR87XQ.net
素数階乗不等式
log(p_n#)<p_n
を完全に証明しました。この不等式とFiroozbakht予想により得られる不等式から
Fortune予想を完全に解決しました。
正しい証明をacceptしない論文誌に成り代わりまして報告させていただきます。
27:１３２人目の素数さん
21/04/13 08:24:21.83 pW+6E0x8.net
よかったね。このもスレ終了だね。満足したならさっさと消えろ。
28:
21/04/13 08:37:36.17 f5sR87XQ.net
当然、解決した未解決問題の証明が公式に正しいと認定されるまでは
満足することはありません
29:１３２人目の素数さん
21/04/13 15:48:24.89 EyJ72W9V.net
ないです
30:
21/04/13 16:53:34.96 f5sR87XQ.net
正しい証明論文を否定するのは数学の発展を阻害する不祥事です
31:１３２人目の素数さん
21/04/13 18:16:55.47 cp2rgZ4G.net
ここにいくら書き込んでも査読に影響はないから無駄だよ
32:１３２人目の素数さん
21/04/13 18:33:39.71 f5sR87XQ.net
正しいものは正しいから仕方がない
33:１３２人目の素数さん
21/04/13 18:48:28.89 cp2rgZ4G.net
それをここに書き込んでも何の意味もないって言ってるんだけど
34:１３２人目の素数さん
21/04/13 18:51:03.03 f5sR87XQ.net
正しい証明を書いているという事実を記録すれば、将来査読が不正だということになる
証拠となる。
論文は数学的に完全に正しくなっているので、変更
35:する余地はほとんどない。
36:１３２人目の素数さん
21/04/13 19:02:13.09 f5sR87XQ.net
数学のコミュニティはおかしい。私の証明が正しくなったら、どこの論文投稿システムも
私の投稿を受け付けなく、またarxivにも投稿できなくなっている。
arxivの場合は、数学の素養がないmoderatorという者が私に対して、他の論文誌で
査読でacceptされてから投稿するように書き、私の投稿した論文を全て削除している。
査読が否定された論文でも投稿できるようにするのが、学術サーバーの存在意義ではない
のだろうか？
ましてや、未解決問題の完全解決論文に対して、数学的素養のない人物が判断を下し
興味の対象ではないという書き方は虚偽の記述以外の何物でもないと考えられる。
37:１３２人目の素数さん
21/04/14 08:00:05.24 y0gcJmUB.net
＞論文は数学的に完全に正しくなっているので、変更する余地はほとんどない。
なぜ「ほとんどない」と予防線を張ってるのだ？
完全に正しいなら「変更する余地は 全 く な い 」だろ？
38:
21/04/14 08:19:26.33 KWfyUxdl.net
変更点
・pn<nlog(pn)の不等式の証明を追加しました
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
39:１３２人目の素数さん
21/04/14 08:27:56.38 KWfyUxdl.net
>>36
短時間で100%を実現することは難しいから
>>37は完全だと考えられる
40:１３２人目の素数さん
21/04/14 09:42:12.66 y0gcJmUB.net
>>38
＞短時間で100%を実現することは難しいから
「完全」とは100％のことを指す。
100％を実現することが難しいなら「完全」とは呼ばない。
＞>>37は完全だと考えられる
ならば、37は100％であり、「変更する余地は 全 く な い 」ということになる。
それでＯＫ？
41:１３２人目の素数さん
21/04/14 10:21:29.88 KWfyUxdl.net
>>39
細かい誤りを完全になくすることは困難だが100%正しい可能性も無きにしも非ず。
42:１３２人目の素数さん
21/04/14 10:39:39.14 5T5imdrb.net
じゃあ読む価値なしだねぇ
43:１３２人目の素数さん
21/04/14 10:47:06.61 KWfyUxdl.net
間違いがないと読む価値がないと
44:１３２人目の素数さん
21/04/14 11:00:31.51 gFnhY1Iu.net
そんな綱渡りのような証明なのか
45:１３２人目の素数さん
21/04/14 11:50:32.66 3KEZ0MLq.net
数式の変形を繰り返してかなり大変でした
46:
21/04/14 16:02:26.94 3KEZ0MLq.net
変更点
・文章の修正を行いました
パスワードはodd prime
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
47:１３２人目の素数さん
21/04/15 15:42:32.67 Bh9p+GlC.net
鹿児島県姶良郡湧水町町役場
URLﾘﾝｸ(www.town.yusui.kagoshima.jp)
48:１３２人目の素数さん
21/04/15 16:49:41.79 Bh9p+GlC.net
こいつ見てて思うんだけど代数・整数論はともかく集合・位相はやらないとだめだね、証明になっていない
49:１３２人目の素数さん
21/04/15 17:08:23.84 Bh9p+GlC.net
誰にでもわかる問題に手を出してはいけない
50:１３２人目の素数さん
21/04/15 17:48:54.15 0PPccOiq.net
>>47
どこが間違っているのか明確に指摘してみろ、絶対にできないだろうが
51:１３２人目の素数さん
21/04/15 17:49:43.11 0PPccOiq.net
>>49 追加
最新版の論文に対して
52:１３２人目の素数さん
21/04/15 18:10:08.54 B1PwLcP0.net
最新版が出てる時点で間違ってる定期
21 １３２人目の素数さん sage 2021/03/11(木) 00:43:21.82 ID:NDNBHPH4
10 １３２人目の素数さん sage 2021/03/09(火) 17:49:27.14 ID:knDBXLSc
この問題に関してはもう言いいません
53:１３２人目の素数さん
21/04/15 18:49:42.85 0PPccOiq.net
>>51
>>50,45
54:１３２人目の素数さん
21/04/15 20:20:58.40 Bh9p+GlC.net
>>49
なんでゴミ屑に貴重な時間を割かなくてはいけないの？
55:１３２人目の素数さん
21/04/15 20:23:05.13 0PPccOiq.net
>>53
証明ができていないというんだったら、それを証明しなければならないし
最新版を読んでいないのに虚偽の事実を書くことはおかしい
56:１３２人目の素数さん
21/04/15 20:28:33.20 Bh9p+GlC.net
ツギハギだらけの証明
57:１３２人目の素数さん
21/04/15 20:41:48.42 Bh9p+GlC.net
わかっていないところを分からないようにする証明
58:１３２人目の素数さん
21/04/15 20:47:49.21 0PPccOiq.net
>>55
そうでもないと思いますけど？
>>56
そういう事はありません
59:１３２人目の素数さん
21/04/15 20:53:19.82 Bh9p+GlC.net
蟻地獄
お人よしをからめて証明の間違いを探させる
間違いを修正して次のお人よしを待つ
60:１３２人目の素数さん
21/04/15 21:08:09.98 0PPccOiq.net
間違いも論理的なgapもありません
61:１３２人目の素数さん
21/04/15 21:08:38.39 Bh9p+GlC.net
よかったな
62:１３２人目の素数さん
21/04/15 21:16:14.78 Bh9p+GlC.net
共著者でも指導教官でもないのになんでゴミ論文の誤りを見つけなきゃいけないんだ？
63:１３２人目の素数さん
21/04/15 22:03:27.49 Bh9p+GlC.net
論文を書くのは孤独な作業、2chでスレを立ててやるもんじゃないのよ、ど素人高木
64:１３２人目の素数さん
21/04/15 23:24:55.33 B1PwLcP0.net
>>52
いや、なんでもう言わないはずの問題がまーた蒸し返されてるんですかね
65:１３２人目の素数さん
21/04/16 05:52:28.85 rQxzYbdd.net
>>63
＞この証明ではlog(pn)が解にならない可能性を排除できませんでした。
66:
21/04/16 07:14:13.05 rQxzYbdd.net
変更点
・文章の最終的な修正を行いました
パスワードはodd prime
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
67:１３２人目の素数さん
21/04/16 09:08:04.65 v8gOFSIL.net
>>64
いや知らんがな
もう言わないとしたんだから、そこでとやかく言うなよ
68:１３２人目の素数さん
21/04/16 10:58:50.00 DXqyicCC.net
面白半分、興味本位で誤りを見つけてど素人を勘違いさせた悪い人ｗ
69:
21/04/16 12:34:50.63 rQxzYbdd.net
変更点
・pn<nlog(pn)の証明を簡略化しました
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
70:
21/04/16 13:11:50.40 rQxzYbdd.net
変更点
・文章を修正しました
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
71:１３２人目の素数さん
21/04/16 17:28:59.33 qWg2m1mK.net
「最終的な」を辞書で引いて意味を調べてみてほしい
72:１３２人目の素数さん
21/04/16 17:36:28.67 rQxzYbdd.net
>>70
証明は正しくなっていたが、より簡単に証明する方法が見つかった
73:
21/04/16 20:59:33.93 rQxzYbdd.net
>>55
こういうのが、情報工作で非常に迷惑だ。私の論文の証明部分のどこに他の人間の
研究があるというのか。あったとしても、それぐらいは誰でも考えることができる程度の
ものではないのか？
人の研究を自分のものとして写したということは一切ない。
私は
「他人の言葉で(どうの)。」
「人の言葉をうつして(どうの)。」
「盗んだものに評価はない。」
などという、何の根拠もない誹謗を聞かされまくって、大変に不愉快だ。
74:１３２人目の素数さん
21/04/16 21:41:41.32 DXqyicCC.net
天才なんだろ、細かいことは気にすんなよ、禿げるぞ
75:１３２人目の素数さん
21/04/16 22:00:33.54 d0qMGsQ2.net
一番迷惑なのは最終版詐欺定期
76:
21/04/17 06:20:41.80 e7Tj2OsU.net
解決した側を解決できない側が誹謗し馬鹿にする科学技術創造立国
77:１３２人目の素数さん
21/04/17 08:32:55.28 viW4vUV5.net
解決してないのに「解決してる」とウソをついてるのだから、バカにされて当然。
なぜ解決してないかって？
修正を繰り返してる時点で解決してないよね。
本当に解決してるなら修正は全く必要ない。
78:１３２人目の素数さん
21/04/17 08:36:10.47 e7Tj2OsU.net
>>76
完全に解決していても、証明を簡略化することはできる
最後の修正はpn<nlog(pn)をより簡単に証明する方法に書き換えた
79:１３２人目の素数さん
21/04/17 09:06:10.02 viW4vUV5.net
>>77
＞最後の修正はpn<nlog(pn)をより簡単に証明する方法に書き換えた
そうか。これが最後なのか。だったら、今後一切、もう絶対に修正しないことを誓え。
80:１３２人目の素数さん
21/04/17 09:08:30.01 OldzwInD.net
かまってちゃんにかまう奴
81:１３２人目の素数さん
21/04/17 12:10:53.88 OldzwInD.net
ここでは、毎日のように私を侮辱し、私にそれに対してタダで答えさせるという誘導尋問が行われて
いる。このような暴挙が何故ここでは繰り返されているのかは理解不能である。
82:
21/04/17 12:19:16.27 e7Tj2OsU.net
>>80
成りすましのコピペ
83:１３２人目の素数さん
21/04/17 12:25:11.67 OldzwInD.net
私は社会から不当に差別されている
84:
21/04/17 15:40:26.53 e7Tj2OsU.net
変更点
・不等式(3)の後の記述を修正しました
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
85:１３２人目の素数さん
21/04/17 16:37:13.77 OldzwInD.net
ご苦労さん、釣れるかな
86:１３２人目の素数さん
21/04/17 18:27:00.82 OldzwInD.net
自然数とは何か？
87:１３２人目の素数さん
21/04/17 18:38:43.69 e7Tj2OsU.net
>>85
0より大きい整数
88:１３２人目の素数さん
21/04/17 18:51:21.32 OldzwInD.net
整数とは何か？
89:１３２人目の素数さん
21/04/17 19:40:38.58 e7Tj2OsU.net
>>87
つ整数論の本
90:１３２人目の素数さん
21/04/17 19:51:04.37 OldzwInD.net
読んでないのに整数論の本を勧めるのか？
91:１３２人目の素数さん
21/04/17 20:54:03.76 e7Tj2OsU.net
>>89
私は学生の時は数学の教科書や一般向けの本を読んでいる
特に勧めてはいない
92:１３２人目の素数さん
21/04/17 21:23:17.32 OldzwInD.net
>>90
何読んだの？
93:１３２人目の素数さん
21/04/17 23:11:40.76 e7Tj2OsU.net
>>91
ｽﾚﾘﾝｸ(math板:31番)
94:１３２人目の素数さん
21/04/17 23:16:45.42 OldzwInD.net
それは読み物、数学の教科書ではない
95:１３２人目の素数さん
21/04/17 23:20:44.54 OldzwInD.net
数学的帰納法とは？
96:１３２人目の素数さん
21/04/18 07:30:20.86 ZPCl8vVR.net
>>93
教科書は、4半世紀以上前の大学で指定されたものと
見える範囲にあるものでは、フーリエ解析
>>94
証明する命題をAとする。
n=aのときにAが成立することを証明する。
n=kのときにAが成立することを仮定して、、n=k+1のときにAが成立することを証明する。
→n≧aでAは成立する。
97:１３２人目の素数さん
21/04/18 10:14:50.62 e7E6BgFr.net
それは自然数の性質を使ってるんだよ
98:１３２人目の素数さん
21/04/18 10:38:21.25 ZPCl8vVR.net
>>96
素数に関する不等式を証明するのに何の差し支えもない
99:１３２人目の素数さん
21/04/18 10:47:04.58 e7E6BgFr.net
そもそも素数も自然数だろ
100:１３２人目の素数さん
21/04/18 11:00:35.84 e7E6BgFr.net
>>95
εδ論法は分かる？
101:１３２人目の素数さん
21/04/18 11:45:28.07 ZPCl8vVR.net
>>99
多少は分かるが、素数階乗不等式の証明には必要ない
102:１３２人目の素数さん
21/04/18 11:53:07.37 e7E6BgFr.net
ならフーリエ解析も理解できないだろう
103:１３２人目の素数さん
21/04/18 12:17:00.82 ZPCl8vVR.net
>>101
途中までしか読んでいないが余裕
104:１３２人目の素数さん
21/04/18 14:25:31.17 GO02SW+2.net
多少は分かるなんてダメダメ
途中までしかなんてダメダメ
これ全く数学じゃあない
そもそも大学指定の教科書を読めるレベルの者は
こんなゴミばかりを出しまくることはない
105:１３２人目の素数さん
21/04/18 14:33:47.85 e7E6BgFr.net
>>102
開集合とは？
106:１３２人目の素数さん
21/04/18 14:35:15.83 e7E6BgFr.net
>>103
物理学科の指定教科書だから計算だけだろう
107:１３２人目の素数さん
21/04/18 15:37:10.01 ZPCl8vVR.net
>>103
Lagrangeの運動方程式、Hamiltonの清純方程式やTomonaga-Schrodingerの方程式も余裕だった。
途中までしか読んでないのは仕方がない。
>>104
境界が含まれる集合
108:１３２人目の素数さん
21/04/18 15:37:41.26 ZPCl8vVR.net
>>106 訂正
×清純
〇正準
109:１３２人目の素数さん
21/04/18 15:44:46.49 RdIaqb7f.net
「余裕だった」が面白い
110:１３２人目の素数さん
21/04/18 16:17:00.96 e7E6BgFr.net
>>106
境界とは？
111:１３２人目の素数さん
21/04/18 16:25:12.74 e7E6BgFr.net
>>106
「Tomonaga-Schrodingerの方程式」はない、いずれにせよ物理の話
112:１３２人目の素数さん
21/04/18 16:48:39.95 ZPCl8vVR.net
>>109
a≦bであれば、a=b
>>110
私は物理→応用物理
113:１３２人目の素数さん
21/04/18 17:12:10.90 GO02SW+2.net
また新たな高木語録が登場した
＞開集合とは、境界が含まれる集合である (New!)
114:１３２人目の素数さん
21/04/18 17:13:10.70 e7E6BgFr.net
悲報
高木は関数が連続であることが証明できない
115:１３２人目の素数さん
21/04/18 17:19:43.22 e7E6BgFr.net
>>111
大差ない、数学ではない
116:１３２人目の素数さん
21/04/18 18:42:32.08 ZPCl8vVR.net
>>114
境界が含まれることが閉集合であるというのはどこが間違いなのでしょうか？
117:１３２人目の素数さん
21/04/18 18:46:34.40 FmL2q6T8.net
極限分かってないんだから、そうなるわな
118:１３２人目の素数さん
21/04/18 18:52:52.00 ZPCl8vVR.net
苦手な範囲が極限と整数問題と言っただけ
119:１３２人目の素数さん
21/04/18 20:13:25.85 e7E6BgFr.net
整数問題が苦手なにの未解決門だを解いた高木（大爆笑）
120:１３２人目の素数さん
21/04/18 20:20:20.38 e7E6BgFr.net
代数、解析と幾何が苦手な高木ｗｗｗ
121:１３２人目の素数さん
21/04/18 21:11:10.28 2+zwYCSW.net
得意不得意とか相対的な話よりも全部の絶対的な水準がね
低いのよ
122:１３２人目の素数さん
21/04/18 21:21:34.05 e7E6BgFr.net
数学科の数学を勉強してないんだから当然
123:１３２人目の素数さん
21/04/18 22:01:09.67 ZPCl8vVR.net
>>119
大学受験での整数問題としか書いていません
>>121
数学科出身者は、何故私が解いた問題を解けないのでしょうか？
124:１３２人目の素数さん
21/04/18 22:15:30.69 e7E6BgFr.net
>>122
未解決だから、解けたというのは高木個人の意見にすぎない
125:１３２人目の素数さん
21/04/18 22:22:07.07 e7E6BgFr.net
>>122
大学の整数論勉強してないだろ、馬鹿か
126:１３２人目の素数さん
21/04/19 01:58:28.15 yX62KU2F.net
>>123
解決する証明を書いた人間が解けたというのは当然だ
>>124
論文を読んでから戯言は書いてね、>>83にあるから
127:
21/04/19 02:27:34.66 yX62KU2F.net
朝から負け惜しみの誹謗を聞かせるチンピラ女はふざけんな！
128:１３２人目の素数さん
21/04/19 10:50:49.16 3wALwsJy.net
私は未解決問題を解決する証明を書いた高木である
129:１３２人目の素数さん
21/04/19 11:03:19.05 3wALwsJy.net
私は整数問題が苦手です
130:１３２人目の素数さん
21/04/19 11:09:18.89 3wALwsJy.net
私が正しいと思っているので正しい
131:
21/04/19 11:31:28.15 yX62KU2F.net
>>127
これは私が書いたものではない
>>128
受験の数学の中で考えれば
>>129
誰が見ても数学的に正しい
132:１３２人目の素数さん
21/04/19 11:36:47.34 3wALwsJy.net
>>130
次の命題を証明せよ
高木が正しいと思う→誰が見ても数学的に正しい
133:１３２人目の素数さん
21/04/19 12:00:23.70 yX62KU2F.net
>>131
次の命題を証明せよ
誰も私の論文を反証していない→証明が正しくないとする
134:１３２人目の素数さん
21/04/19 13:11:47.75 3wALwsJy.net
高木そう思えばそうなんだろう
終了
135:１３２人目の素数さん
21/04/19 14:54:37.46 3wALwsJy.net
素数は無限個ある
136:１３２人目の素数さん
21/04/19 18:39:00.39 r2cgf5fj.net
>誰も私の論文を反証していない
すでに何度もされている
よって前提が偽
前提が偽の命題文は恒真■
137:１３２人目の素数さん
21/04/19 19:15:42.50 yX62KU2F.net
>>135
最新版の論文には誰も反証していないのは事実だ
どこで、反証されているのだろうか？
138:１３２人目の素数さん
21/04/19 20:34:15.01 3wALwsJy.net
高木の論文は正しい（鼻糞ホジホジ）
139:１３２人目の素数さん
21/04/20 00:03:17.78 sTAa8eQP.net
>>136
命題に最新版という言葉は無い
140:１３２人目の素数さん
21/04/22 21:02:04.46 YaFJeE+6.net
桜島噴火してる？
141:
21/04/23 00:06:45.51 8NQoJlmc.net
「自殺しろ。」と聞こえてきた。
未解決問題を7問を完全に解決して、整数論に多大な貢献をした私にそういう暴言を聞かせる
人間がいる。私が自殺しないと調査報道ができないからですかwww
非常に不可思議な反応であり、私が「私の数学を論文誌に掲載するかだとか、公式に
endorsementをするために動いている人間がいるのだろうか？。」
と言えば、「動く。」と子供の声を聞かせ、次の某番組の内容は、「政治はどう動くのか？」だ
盗聴内容を元に、番組欄を作るのは簡単なくせに、全人類的研究を公式に認定すること
には、何も動いていないようにしか見えないが？
どのスレかは忘れたが、この問題に関してfixする人間はいないのかと書いたが
「fixしない。」と言う声も聞こえてきている。
毎日のように何故私は誰だか分からない他人の声で、苛立たせられなければならないのか？
「王かお前は？」という誹謗も今朝聞こえてきた。
142:１３２人目の素数さん
21/04/23 00:16:46.03 OfttxJnY.net
病状が...
143:
21/04/23 00:24:21.33 8NQoJlmc.net
私以外の他者が心を病んでしまうのかもしれませんね、謎めく理由で
144:１３２人目の素数さん
21/04/23 05:04:04.13 mNZfaltI.net
医師になるのは、めちゃくちゃ簡単だよ。
どんな馬鹿医大でも国家試験の合格率7割以上はあるし、自治医大以上ならほぼ100％。
弁護士の場合は難関ロースクールを卒業しても、国家試験を通るのは10%程度。
医師になるには金と時間がかかるが、試験自体は簡単。
うちは従兄弟三人医師になったが、英検二級すら落ちるレベルの頭だからね。
医師国家試験の合格率ランキング見てみ。
一番低い帝京大学ですら、79.4%。
奈良県立大以上の偏差値の25校は95.0％超え。
これのどこが難関試験なの？
医学部に学費を支払える財力のハードルが高いだけで、医師にはバカでもなれる。
弁護士、司法書士、会計士、英検１級あたりは、バカには絶対に無理。
まとめると
医師国家試験→バカでも受かる。しかし、医学部6年間で1,000万以上かかる学費のハードルが高い。
司法試験→ロースクール卒業しても、合格できるのはごく一部。非常に難関な試験。
司法書士→ロースクールに行かなくても受験できるが、難易度は司法試験並み。
英検１級→英語がずば抜けて優秀でないと合格できない。英語の偏差値100必要。（実際にはそんな偏差値はないが）
会計士→おそらく、最難関試験か。会計大学院修了者の合格率は7.6％しかない。
不動産鑑定士→鑑定理論が地獄。単体の科目としては最難関の一つ。経済学などは公務員試験より簡単か。
145:
21/04/23 07:43:42.56 8NQoJlmc.net
変更点
・Abstractの文章を修正しました
パスワードはodd prime
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
146:１３２人目の素数さん
21/04/23 10:15:26.40 FN0bxQpx.net
みんな被害妄想になーれｗ
147:１３２人目の素数さん
21/04/25 03:14:37.84 mAmOLhDm.net
新ＰＤＦを出したら版番号を書け
148:１３２人目の素数さん
21/04/25 10:50:08.04 OlWg6Usf.net
桜島噴火したね
149:
21/05/20 21:58:46.17 jty+QnL0.net
概完全数が2^kのみしかないことを証明しました。
Firoozbakht予想の証明は誤りが見つかりましたので削除しました。
パスワードはodd prime
概完全数 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
150:
21/05/21 00:35:45.78 xTvWV07C.net
変更点
・不等式(6)の証明を修正しました
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
151:１３２人目の素数さん
21/05/21 00:44:42.54 Xz9Sh1EU.net
まだやってるのｗｗｗ
152:１３２人目の素数さん
21/05/21 00:49:01.52 xTvWV07C.net
今日で終了
153:１３２人目の素数さん
21/05/21 13:47:18.04 RWWlzaa0.net
「最後ですか」という声が聞こえてきた、ひろしです
154:１３２人目の素数さん
21/05/21 14:55:37.97 K/BrDRoi.net
>>151
これはFiroozbakht予想に関して
155:１３２人目の素数さん
21/05/23 00:13:42.92 bE1+FJLS.net
名前を逆に書くと読ませないらしいwww
156:１３２人目の素数さん
21/05/23 00:17:08.47 bE1+FJLS.net
下らないことで未解決問題を8問解決した人間を誹謗する国
157:１３２人目の素数さん
21/05/23 00:28:35.05 bE1+FJLS.net
何故私は毎日のように女々しい名無しの権兵衛の泣き声を聞かされなければならないのだろうか？
158:１３２人目の素数さん
21/05/23 09:55:13.17 pwFv/tzA.net
精神病だから
159:１３２人目の素数さん
21/05/23 18:34:08.20 bE1+FJLS.net
そう言っている方がね
160:１３２人目の素数さん
21/05/23 19:55:55.48 pwFv/tzA.net
ほんと、被害妄想聞かされてるとこっちまで病気になりそうｗ
161:１３２人目の素数さん
21/05/23 20:21:27.27 bE1+FJLS.net
被害妄想ではない。実際に負け惜しみの誹謗は聞こえてきている
162:１３２人目の素数さん
21/05/23 20:27:29.57 pwFv/tzA.net
高木は基地外だ、という声が聞こえてくる
163:１３２人目の素数さん
21/05/23 20:28:17.01 pwFv/tzA.net
ところで論文はアクセプトされたのか？
164:１３２人目の素数さん
21/05/23 20:29:43.70 pwFv/tzA.net
宗教戦争か
165:１３２人目の素数さん
21/05/23 21:56:59.07 bE1+FJLS.net
>>162
何故かされていません
166:１３２人目の素数さん
21/05/24 09:46:52.83 AEc/6fju.net
俺が邪魔してるんだよ（笑）
167:
21/05/24 10:07:08.48 qWS+jazm.net
変更点
・不等式(6)の証明の計算を修正しました
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
168:１３２人目の素数さん
21/05/24 10:07:36.18 qWS+jazm.net
>>165
誰？
169:
21/05/24 10:53:49.78 qWS+jazm.net
>>166
誤りがあると思い削除しましたが、間違いではありませんでした。
>>166と同じファイルです。
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
170:１３２人目の素数さん
21/05/24 19:45:13.74 PBm2ouaI.net
>>149の証明は、正確には間違いではありませんが、意味不明に条件を厳しく
するという式変形がありましたので修正しました。
171:１３２人目の素数さん
21/05/25 01:47:27.43 G5cuTvp0.net
>>156
それ君のお母さんや
172:１３２人目の素数さん
21/05/25 15:24:41.36 7AMmryr7.net
爆笑
173:
21/05/27 13:10:41.27 jpPSIH8k.net
変更点
・数学者の名前を修正しました
パスワードはodd prime
Firoozbakht予想 (日本語)
URLﾘﾝｸ(whitecats.dip.jp)
Firoozbakht予想 (英語)
URLﾘﾝｸ(whitecats.dip.jp)
174:
21/05/27 20:58:24.25 jpPSIH8k.net
現時点での私個人の数学研究の情報公開
・奇数のn倍積完全数
vixraで最新版の途中まで公開されている
一般性に対しての説明部分を追加すれば最新の論文になる
・奇数の調和数
vixraで最新版の途中まで公開されている
一般性に対しての説明部分を追加すれば最新の論文になる
・奇数の準完全数
vixraで最新版の途中まで公開されている
変数の型の修正をすれば最新の論文になる
・奇数の概完全数
vixraで最新版の途中まで公開されている
変数の型の修正をすれば最新の論文になる
vixraで公開しているものは1ではない奇数の非存在を証明
>>148の論文で、2^k以外に存在しないことを証明
・Legendre予想
私が考案した新しい篩により証明した
・Goldbach予想
・Lemoine予想
・Sun予想
・Firoozbakht予想
>>172により解決している
・Fortune予想
>>26により解決している
全てに共通するのは、最新版では完全に正しいのに論文誌により
rejectされている。論文投稿システムは新しい論文の投稿を受け付ける
175:r> ことなくはじき飛ばしている。理由の説明は何もないし、それに 対する対応の改善を求めるメールを送信しても、Edit Flowもarxiv も完全に無視している。 これらの証明は一応未解決だということになっている問題を私が 研究したものであり、先行研究で正解の証明があるかどうかは私は 判断をしていない。 これらの数学的に正しい研究が論文誌どころか、学術サーバーに アップロードできないほど、研究論文の公開が妨害されている のは非常に残念なことだ。
176:１３２人目の素数さん
21/05/28 00:36:26.19 lxn1M6w+.net
もう諦めなよ
177:１３２人目の素数さん
21/05/28 04:23:25.21 KtrjDHEb.net
諦めることはありません
178:１３２人目の素数さん
21/05/29 00:40:07.73 5pCG6SHM.net
査読紙側も諦めずに弾き続けるだけよ
179:１３２人目の素数さん
21/05/29 15:07:05.29 55Bgr9xc.net
評価は定まったから速攻リジェクト
180:１３２人目の素数さん
21/05/29 17:38:30.06 izqqaV+I.net
評価の公式な発表が期待されます
181:
21/05/30 07:21:26.35 pyb3p3wh.net
未解決問題を8問解決した人間を侮辱した人間は辞めろ
182:１３２人目の素数さん
21/05/30 07:23:00.58 YeZfvD68.net
評価：即ゴミ箱行き
183:１３２人目の素数さん
21/05/30 08:05:27.52 pyb3p3wh.net
>>180
お前自体がゴミ。
たとえ、論文の著者が不明であっても、その論文が正しいかどうかは判断する必要があるし
その結果が正しければ、数学の発展のためにその情報を公表すべき。
184:１３２人目の素数さん
21/05/30 08:52:47.54 pyb3p3wh.net
ローマ字表記で名前を先に書くのは騙りであるとするのであれば
日本語版は騙りではないということになる
185:１３２人目の素数さん
21/05/30 09:02:24.95 YeZfvD68.net
パー
186:１３２人目の素数さん
21/05/30 09:29:24.37 zeN0ktr4.net
？
187:１３２人目の素数さん
21/05/30 10:48:03.71 5IYlGMKJ.net
>>181
論文の著者が不明ではなくお前と分かってるからこそ読む必要が無い定期
188:１３２人目の素数さん
21/05/30 12:19:00.75 pyb3p3wh.net
誰が書いたものであっても、未解決問題の証明論文は誰かが読まなければならない
189:１３２人目の素数さん
21/05/30 15:17:54.32 YeZfvD68.net
高木の論文は載せる価値がない、レフリー
190:１３２人目の素数さん
21/05/30 15:19:19.98 YeZfvD68.net
レフリー：これはマジックだな
191:１３２人目の素数さん
21/05/30 15:21:12.04 YeZfvD68.net
高木は俺の論文の間違い探しをやってくれる奴がいないといってるようだｗ
192:１３２人目の素数さん
21/05/30 15:27:02.07 YeZfvD68.net
そんなことは自分でやるんだよ、ばーか
193:１３２人目の素数さん
21/05/30 19:25:52.05 pyb3p3wh.net
もう終了しとるわ
194:１３２人目の素数さん
21/05/30 20:10:09.93 YeZfvD68.net
高木終了
195:１３２人目の素数さん
21/05/30 22:21:11.62 pyb3p3wh.net
>>192
何その馬鹿に仕方は
196:１３２人目の素数さん
21/05/30 22:36:31.46 R7HNKIhE.net
>>186
お前が書いたものは読む必要がない
197:
21/05/31 07:01:36.39 mF4iYNTh.net
「博士から盗んだものは要らない。」
と聞こえたが、何が私が盗んだものなのかをはっきりしろ。馬鹿なテレビの
名誉棄損はたくさんだ。
何故この家で自分を誰だか明らかにせずに、誹謗を聞かせる人間達もそうだが
お前らは何故、主語や目的語を言わないのか？
私はFiroozbakht予想の証明が完成しそうになったときに、外から
「全てやる。」
それから、数日経った後にも
「〇〇から盗んだものではない。」
と言われている。
明確に何がダメなのかを言ってもらわない限りは、誹謗としか受け取れないことに
気付け。
198:１３２人目の素数さん
21/05/31 07:02:13.37 mF4iYNTh.net
>>194
お前が先に解決しているのなら、どの問題を解決しているのかぐらいは明示しろ。
199:
21/05/31 07:11:43.44 mF4iYNTh.net
「見下した罰だ。」
と聞こえてきた。テロ組織の犯行声明みたいなものだな
200:
21/05/31 07:13:03.62 mF4iYNTh.net
>>194
誹謗人間の答えマダー
それからソースも
201:
21/05/31 07:15:25.79 mF4iYNTh.net
数学界が正しい未解決問題の証明を長いものでは1年以上も放置しているから
チンピラに毎日コケにされて腹立たしい限りですわ
202:１３２人目の素数さん
21/05/31 10:03:32.60 IhKgcpRv.net
とチンピラが申しております
203:１３２人目の素数さん
21/05/31 11:18:25.54 mF4iYNTh.net
>>200
>>200
204:１３２人目の素数さん
21/05/31 13:31:57.72 ZbJLUk3L.net
>>196
お前に明示する必要もない
お前の論文を読む必要もない
205:１３２人目の素数さん
21/05/31 17:16:11.79 mF4iYNTh.net
>>202
未解決問題の論文に関心がないのであれば、わざわざ書きこまなければいい
206:１３２人目の素数さん
21/05/31 18:28:39.38 ZbJLUk3L.net
>>203
お前の糖質芸を楽しんでるからこれでいい
207:１３２人目の素数さん
21/05/31 20:11:50.80 IhKgcpRv.net
ほんま
208:１３２人目の素数さん
21/06/01 10:39:29.58 EdaKM0Ru.net
奇数芸に糖質芸、役者やのーｗ
209:１３２人目の素数さん
21/06/01 11:35:24.15 zERqfo7P.net
芸ではありません、崇高な学術的成果です
210:１３２人目の素数さん
21/06/01 14:37:47.15 EdaKM0Ru.net
他山の石
・初等的な問題は危険
・数学を勉強しよう
211:１３２人目の素数さん
21/06/01 18:23:37.72 zERqfo7P.net
>>208
＞・初等的な問題は危険
初等的な数学は正しくても否定されるということでしょうか？
＞・数学を勉強しよう
数学は学部卒でそれまで勉強してきていて、それをふまえて研究を行ったから
未解決問題が何問か解決しました。
212:１３２人目の素数さん
21/06/01 19:28:55.78 EdaKM0Ru.net
他山の石は気にすんなよ
213:１３２人目の素数さん
21/06/02 01:49:55.43 YZGHA8N7.net
まあだいたい>>16までの流れ見ればお察しなのよね
214:１３２人目の素数さん
21/06/02 06:48:27.30 PiWn4spn.net
何がお察しだ。最終的に解決すれば>>10の状態になる。>>10のときには
証明が完成していなかっただけだ
215:１３２人目の素数さん
21/06/02 09:07:23.79 gWmQWT8q.net
ゴールを動かす高木ｗ
216:１３２人目の素数さん
21/06/02 11:20:19.76 PiWn4spn.net
ゴールは変わりません。途中まで正しいと完全に正しいでは大きな違いがあります。
217:１３２人目の素数さん
21/06/02 12:10:13.12 xR1HTEsU.net
8 １３２人目の素数さん sage 2021/03/09(火) 05:54:33.17 ID:knDBXLSc
>>6で完全に完成しましたので、今後修正はありません
218:
21/06/02 12:15:35.35 PiWn4spn.net
「〇〇のけ〇をなめたから非公開で決定だ。」
という呪いの声が聞こえてきた。
ふざけるのもいい加減にしろよ！
219:
21/06/02 12:16:26.02 PiWn4spn.net
テスト
220:
21/06/02 12:17:31.14 PiWn4spn.net
>>215
数学の問題を解くとき、間違いは誰にでもある
221:
21/06/02 12:23:47.97 PiWn4spn.net
「泣いても無駄だ。」と聞こえました。
私は聞こえた声に文句を書いているだけであって、泣いているわけではない。
「なく」は鹿児島弁だろうか？神気取りの声を発するのを止めろ、子供の声で
必死だな
子供の声で聞こえるのは
1. 子供にセリフを言わせている
2. ボイスチェンジャーで大人がのたまっている
のどちらか
どちらにせよ迷惑行為以外の何物でもない
222:１３２人目の素数さん
21/06/02 12:43:38.43 xR1HTEsU.net
>>218
完成→修正芸は高木しかしない
223:
21/06/02 12:52:04.43 PiWn4spn.net
>>220
rimsも論文の訂正は行っているのではないのでしょうか？
つまらない事で、歴史的な研究成果を外に出さないようにするのは
学問の自由言論の自由に反する言動・行為であり、完全に不当な扱いだ。
224:１３２人目の素数さん
21/06/02 12:55:53.58 gWmQWT8q.net
高木は消えろと板の住人が思っているのでそれが伝わったか、いいことだ
225:１３２人目の素数さん
21/06/02 12:56:57.85 d/InEHk3.net
まず査読通ってから言おうねｗｗｗｗ
226:１３２人目の素数さん
21/06/02 12:58:28.50 PiWn4spn.net
>>222
何も伝わっていない
>>223
数学的に正しいこととacceptは違いらしいから、理由は不明だが
227:１３２人目の素数さん
21/06/02 13:01:28.61 gWmQWT8q.net
じゃ、悪口言ってるのは数学板と関係ないじゃん
228:１３２人目の素数さん
21/06/02 13:09:41.02 PiWn4spn.net
>>224 訂正
×違い
○違う
229:１３２人目の素数さん
21/06/02 17:27:21.57 QIubVt33.net
>>221
rimsも、これで完成です→修整芸はしない
230:１３２人目の素数さん
21/06/02 17:59:39.03 vlSAktny.net
>>227
個人研究はreviewerがないから仕方がない
231:１３２人目の素数さん
21/06/02 20:45:15.08 QIubVt33.net
>>228
仕方ないと言って、何を期待してるの？
>>16までの流れでお察しのとおりじゃん
232:１３２人目の素数さん
21/06/02 21:34:11.29 vlSAktny.net
>>229
公式な承認だと何度も書いているが
最新版は数学的に正しいが、正しくないとでもいいたいのか
233:１３２人目の素数さん
21/06/02 21:41:42.06 gWmQWT8q.net
連名でなければ
234:個人研究だが、高木さんよ
235:１３２人目の素数さん
21/06/02 22:03:27.60 vlSAktny.net
>>231
連名ではありません
236:１３２人目の素数さん
21/06/02 22:12:50.07 OPlmYMiy.net
>>230
それと、"仕方ない"と全く関係ないんだよねえ
237:１３２人目の素数さん
21/06/02 22:18:13.00 iwc/BiJK.net
>>232
うん、個人研究でもreviewerはつくんだよ
238:１３２人目の素数さん
21/06/02 22:35:15.25 vlSAktny.net
>>233
何が言いたいのか意味が分からない
>>234
論文誌に送ったり、数学者に個人的に提出する場合にreviewerはその人達しかいないし
その人々が誤判をしまくっているから、10本の正しい論文が放置されているかの
ような状態になっている。
239:１３２人目の素数さん
21/06/02 22:36:29.51 vlSAktny.net
>>234
一応書いておくが、>>173は事実だから
240:１３２人目の素数さん
21/06/02 23:10:42.57 XHtc8LlQ.net
事実はこれだろバーーカ。
8 １３２人目の素数さん sage 2021/03/09(火) 05:54:33.17 ID:knDBXLSc
>>6で完全に完成しましたので、今後修正はありません
241:１３２人目の素数さん
21/06/03 00:20:14.23 EnCvkhTO.net
>>235
全部、完成しました→修整しました芸の結果だよ
242:１３２人目の素数さん
21/06/03 03:06:45.15 7fVEk9AO.net
>>237
おそらく有名未解決問題を1問も解決できない>>237より遥かにましだと思いますが
>>238
そうですね、全て完全に解決できました。
今から15分ぐらい前に
「見下しにやるものはないで以上だ。」
と聞こえました。何夜中にいい年をした名無しのじじいが意味不明な言葉を聞かせているの
でしょうか？
243:１３２人目の素数さん
21/06/03 06:24:26.40 GPz3h0uF.net
>>239
＞おそらく有名未解決問題を1問も解決できない>>237より遥かにましだと思いますが
1問も解決できてないのはお前だろｗ
事実はこれと言っただろ？
8 １３２人目の素数さん sage 2021/03/09(火) 05:54:33.17 ID:knDBXLSc
>>6で完全に完成しましたので、今後修正はありません
お前のゴミ文書は全部これなんだよ。全部間違ってる。
244:１３２人目の素数さん
21/06/03 06:29:16.79 GPz3h0uF.net
え？なに？全部正しいって？
だったら、1つだけ間違いを指摘してやるから、
全ての文書を撤回してこの板から消えろ。二度と書き込むな。
・・・と提案すると、「未解決問題だから間違えてもしょうがない」
と予防線を張って逃げるのがこのゴミクズの常套手段。しかしそれは
「100％正しいという保証はない。間違っててもしょうがない」
という意味に他ならない。結局はこれなんだよな。
8 １３２人目の素数さん sage 2021/03/09(火) 05:54:33.17 ID:knDBXLSc
>>6で完全に完成しましたので、今後修正はありません
245:１３２人目の素数さん
21/06/03 08:07:36.53 Wl9UxW4U.net
高木が欲しいのは論文の添削者、著者が一人なんだから自分でやるんだよ
246:１３２人目の素数さん
21/06/03 09:04:32.61 7fVEk9AO.net
>>240
全部正しく、問題の完全解決になっている
>>241
完全に正しい論文を否定することはできない。できないことが分かっているから
長文を書いているのでしょうか？
>>242
点数は100点だから、公式に正しいと承認する人
247:１３２人目の素数さん
21/06/03 09:38:18.55 0syAHxLJ.net
お前のいう完全に正しいは全く意味が無いってのが>>16までの流れ
248:１３２人目の素数さん
21/06/03 10:27:03.05 7fVEk9AO.net
>>244
>>172以降は意味があります
249:１３２人目の素数さん
21/06/03 11:42:46.55 7fVEk9AO.net
>>173 修正
×奇数の準完全数
〇準完全数
250:１３２人目の素数さん
21/06/03 11:53:28.76 DrZnxSZe.net
>>245
それも>>9のとおりよねえ
9 １３２人目の素数さん sage 2021/03/09(火) 17:21:33.68 ID:VwEBep9K
それももう何回も聞いたぞ～
251:１３２人目の素数さん
21/06/03 12:58:53.28 GPz3h0uF.net
>>240
＞全部正しく、問題の完全解決になっている
そうか、全てが100％正しいのか。これが完全なのか。もう一切の修正がないのか。
だったら、1つだけ間違いを指摘してやるから、
全ての文書を撤回してこの板から消えろ。二度と書き込むな。
どうだ？この提案に乗るか？「未解決問題だから間違えてもしょうがない」
ってのはナシだぞ？1つだけ間違いを指摘してやるから、
全ての文書を撤回してこの板から消えろ。二度と書き込むな。
どうする？この提案に乗るか？
252:１３２人目の素数さん
21/06/03 14:06:12.47 7fVEk9AO.net
>>248
変な条件に従うことはできない
253:１３２人目の素数さん
21/06/03 14:31:17.12 Wl9UxW4U.net
もし万が一論文が正しくても高木一人の著作とは認められないだろう
254:１３２人目の素数さん
21/06/03 14:39:43.04 7fVEk9AO.net
>>250
何故でしょうか？書いたのは私一人ですけど。
他の数学者の定理や不等式を用いているからでしょうか？
今年行った、Firoozbakht予想とFortune予想の証明に関しては、私が通っていた予備校で
その一部を教えていた。素数階乗不等式を導出するための論理であり、今から28年前にも
研究が行われていたものだろう。
しかし、Fortune予想に関しては証明が完成した瞬間に「日本初だ。」と聞こえてきた。
255:１３２人目の素数さん
21/06/03 15:08:01.59 Wl9UxW4U.net
高木の被害妄想が悪化しますように、南無阿弥陀仏
256:１３２人目の素数さん
21/06/03 15:41:59.72 GPz3h0uF.net
>>249
ほらね。結局は逃げる。しかしそれは、
「100％正しいという保証はない。間違っててもしょうがない」
という意味に他ならない。いつまで経っても間違ったままで完成しない。結局はこれなんだよな。
8 １３２人目の素数さん sage 2021/03/09(火) 05:54:33.17 ID:knDBXLSc
>>6で完全に完成しましたので、今後修正はありません
257:１３２人目の素数さん
21/06/03 15:46:56.23 GPz3h0uF.net
おかしな話だよな。本当に100％正しいなら、俺が間違いを指摘しても、
むしろ俺の方が間違っていて>>1には何のダメージも無いはずだもんな。
それなのに>>248の提案に乗れないということは、結局は
「100％正しいという保証はない。間違っててもしょうがない」
という意味にしかならないんだよな。結局はこれなんだよな。
8 １３２人目の素数さん sage 2021/03/09(火) 05:54:33.17 ID:knDBXLSc
>>6で完全に完成しましたので、今後修正はありません
258:１３２人目の素数さん
21/06/03 16:24:39.55 h9a1EO3I.net
>>249
査読誌ってリジェクトされたら同じタイトルの論文受け付けないんだよ
変な条件どころかめっちゃ普通
259:１３２人目の素数さん
21/06/03 17:13:54.85 7fVEk9AO.net
>>254
万が一にも些末な誤りがあったら、それにより修正を行ったことになり、準完全数の
証明のように誰かにreviewされたことになるのが問題
それから、ただ間違いを発見されるということでここに書けなくなるのもよくない
>>255
タイトルを変えなければならないのは、同じ趣旨で書いている論文に対して
変なルールだと思われる
260:１３２人目の素数さん
21/06/03 17:20:37.41 RtKUGkVO.net
>>256
些末、変、どれもお前基準なだけ
261:１３２人目の素数さん
21/06/03 17:23:29.39 Wl9UxW4U.net
被害妄想の壁を発見しました
262:１３２人目の素数さん
21/06/03 17:32:59.12 7fVEk9AO.net
>>257
私に
「ご名答。」、「perfectだ。」、「endorsementだ。」
という人がいるんですけど
>>258
被害妄想ではありません、未解決問題の証明を完成させないようにするために
ひどい、妨害工作が行われました
263:１３２人目の素数さん
21/06/03 17:33:20.38 GPz3h0uF.net
>>256
些細な誤りでイチャモンつけようとしているわけじゃないんだよなあ。
修正不可能な根本的な誤りを指摘してやるから、
もう数学は諦めてこの板から消えろ、っていう話なんだよなあ。
で、どうするの？こっちには既に「修正不可能な根本的な誤り」を
指摘する準備ができてるんだけど。そういうのを1つ指摘してやるから、
全ての文書を撤回してこの板から消えろ。二度と書き込むな。
どうだ？この提案に乗れるか？
本当に完全に正しくて修正の余地がないなら、この提案に乗れるよな？
むしろ俺の方が間違えてて>>1にダメージはないはずだよな？
264:１３２人目の素数さん
21/06/03 17:41:19.96 7fVEk9AO.net
>>260
それはできないよ、絶対に。
誤りを披露したければ、どうぞ。
この板にいるのは私の自由意志だから、それを妨げることはできない
265:１３２人目の素数さん
21/06/03 17:42:37.35 7fVEk9AO.net
>>260
重要な点として>>260が最新の論文を読んでいるのかという問題もあると
思われるが、どの論文の何時の版でしょうか？問題があるというのは？
266:１３２人目の素数さん
21/06/03 17:47:37.79 GPz3h0uF.net
>>261
＞誤りを披露したければ、どうぞ。
そうだろう？本当に完全に正しくて修正の余地がないなら、
俺が誤りを披露したところで、俺の方が間違ってるだけだろ？
>>1にはダメージがないだろ？だったら、
＞で、どうするの？こっちには既に「修正不可能な根本的な誤り」を
＞指摘する準備ができてるんだけど。そういうのを1つ指摘してやるから、
＞全ての文書を撤回してこの板から消えろ。二度と書き込むな。
この提案に乗れるよな？
267:１３２人目の素数さん
21/06/03 17:50:17.20 GPz3h0uF.net
>>262
安心しろ。ちゃんと最新版が致命的に間違ってるから。
致命的に間違ってるのは Firoozbakht予想の証明 な。
pdf に記載されてる日付は ２０２１年０５月２７日 だから、最新版だな。
ていうか、最新版を上げてすらいないのに「完全である。修正はない」と
言い張っていたのだとすると、それこそ問題外だな。ま、今回は関係のない話だが。
268:１３２人目の素数さん
21/06/03 17:51:49.24 h9a1EO3I.net
>>259
それも何回も聞いた
269:１３２人目の素数さん
21/06/03 17:53:24.57 GPz3h0uF.net
>>261
＞この板にいるのは私の自由意志だから、それを妨げることはできない <
270:br> 余談だが、その屁理屈でいくと、数学誌がお前のゴミ文書を リジェクトする自由意思も妨げることはできないよな。 仮に数学誌の方が間違ってても、あくまでもリジェクトの自由意思を 妨げることはできないよな。お前がそのことに文句言うのはお門違いだよな。 自由意思が許されるなら、数学誌がリジェクトするのも許されるよな。 詭弁ばっか言ってるからこういう下らないところでも墓穴を掘るんだよな。
271:１３２人目の素数さん
21/06/03 17:59:39.15 5CBuI7i7.net
指摘しても誤りを認めない（わからない）から、その取引は成立しなさそう
272:１３２人目の素数さん
21/06/03 18:03:20.93 7fVEk9AO.net
>>264
多分それを書くと私に間違いを指摘されて恥ずかしいことになるだけだから
やめた方がいいと思いますよ。致命的な誤りなどはありませんから
>>265
いいや、私の証明は完全に正しく革命的な成果であるから、論文誌には
掲載すべき。
>>267
どこにも誤りの指摘はありませんけど。それから、ローマ字表記を名前を先に
書くと「騙り」だというのは、詐欺の言い分だと思いますけど
273:１３２人目の素数さん
21/06/03 18:07:48.19 h9a1EO3I.net
>>268
>私に間違いを指摘されて恥ずかしいことになる。
これも実際はこんな感じやしな
11 １３２人目の素数さん sage 2021/03/09(火) 19:21:00.70 ID:MzxH7I3v
まあめちゃくちゃよね
3pとか
log(p_n)を変数とする二次不等式を解くとあるが、判別式らしき根号の中身にln(p_n)が入ってるし
12 １３２人目の素数さん sage 2021/03/09(火) 19:23:39.33 ID:knDBXLSc
>>11
log(p_(n+1))ですけど？
13 １３２人目の素数さん sage 2021/03/09(火) 19:24:28.16 ID:knDBXLSc
>>12
と思ったら、間違いでした、訂正します。
274:１３２人目の素数さん
21/06/03 18:16:35.45 GPz3h0uF.net
>>268
そうだろ？致命的な誤りはないんだろ？完全に正しいんだろ？だったら、
＞で、どうするの？こっちには既に「修正不可能な根本的な誤り」を
＞指摘する準備ができてるんだけど。そういうのを1つ指摘してやるから、
＞全ての文書を撤回してこの板から消えろ。二度と書き込むな。
この提案に乗れるよな？なぜこの提案からいつまでも逃げ続けるんだ？
致命的な誤りがなくて>>1にはダメージがないはずなのに、
なぜこの提案に乗れないんだ？
275:１３２人目の素数さん
21/06/03 18:18:16.90 7fVEk9AO.net
>>269
それは、最新版ではない誤りだから。log(p_n)を未知数にしなければならなかったのに
異常に疲れていて間違えたと考えられる。
しかも私はその二次不等式の解を28年前に計算していた
276:１３２人目の素数さん
21/06/03 18:31:12.09 GPz3h0uF.net
致命的な誤りはない。完全に正しい。そのように豪語しつつも、いつまで経っても
＞で、どうするの？こっちには既に「修正不可能な根本的な誤り」を
＞指摘する準備ができてるんだけど。そういうのを1つ指摘してやるから、
＞全ての文書を撤回してこの板から消えろ。二度と書き込むな。
という提案には乗れないダブルスタンダード野郎。これでは
「100％正しいという保証はない。間違っててもしょうがない」
という意味にしかならない。結局はこれなんだよな。
8 １３２人目の素数さん sage 2021/03/09(火) 05:54:33.17 ID:knDBXLSc
>>6で完全に完成しましたので、今後修正はありません
277:１３２人目の素数さん
21/06/03 18:35:40.40 h9a1EO3I.net
>>271
言い訳はいらない、>>8を書いたんだから
8 １３２人目の素数さん sage 2021/03/09(火) 05:54:33.17 ID:knDBXLSc
>>6で完全に完成しましたので、今後修正はありません
278:１３２人目の素数さん
21/06/03 18:38:38.87 GPz3h0uF.net
＞異常に疲れていて間違えたと考えられる。
異常に疲れていていようが何だろうが、>>8を書いた時点で>>8こそが全てであり、
この>>8に従って、それ以降の修正は一切ないはずなんだよな。
「完全に完成したので、今後の修正はない」とはそういう意味だからな。
279:１３２人目の素数さん
21/06/03 18:52:13.36 7fVEk9AO.net
>>274
その時点では間違っていたのだから仕方ない
>>264は間違いを見つけることができるのだろうか？
280:１３２人目の素数さん
21/06/03 19:13:51.76 h9a1EO3I.net
>>275
うん、>>8を書いたんだから仕方ないねー
281:１３２人目の素数さん
21/06/03 19:18:13.89 7fVEk9AO.net
>>276
a<b<cでa<cが成立する条件を考えてしまう誤りだったが
どうせ、解けない人間にとやかく言われたくはありません
282:１３２人目の素数さん
21/06/03 19:21:53.41 7fVEk9AO.net
最終的に、p_(n+1)-pn<2log(p_n)^2/nを証明したわけですが、それができない人に
とやかく言われてもw
283:１３２人目の素数さん
21/06/03 19:30:26.70 5CBuI7i7.net
査読通らない奴がなんか言ってるｗｗｗ
284:１３２人目の素数さん
21/06/03 19:33:46.09 GPz3h0uF.net
修正不可能な致命的な誤り その1
3ページ目。下から数えて8,9,10行目が
(A) 不等式(4)により、n≧log(p_n)(n＋1)/log(p_{n＋1})となるので
(B) log(p_n)(2log(p_n)(n＋1)/log(p_{n＋1})＋1)/(log(p_{n＋1})n^2)＜log(p_{n＋1})－log(p_n)
(C) log(p_n)(2log(p_n)(n＋1)＋log(p_{n＋1}))＜n^2(log(p_{n＋1})－log(p_n))
となっているが、(C)が間違っている。正しくは
(C)’log(p_n)(2log(p_n)(n＋1)＋log(p_{n＋1}))＜ n^2 (log^2 p_{n＋1}) (log(p_{n＋1})－log(p_n))
である。つまり、右辺に log^2 p_{n＋1} が追加で掛け算される。
>>1は(B)から(C)への式変形をよく見返すべきである。(B)の左辺に出現している
2つの 「 /log(p_{n＋1}) 」は、分母・分子で打ち消し合っているわけではない。
両方とも単なる分母に出現しているので、この部分は分母を払うと log^2 p_{n＋1} となって、
右辺に追加で掛け算されるのである。
285:１３２人目の素数さん
21/06/03 19:34:49.09 GPz3h0uF.net
ちなみに、これは不等式(5)にまで影響する。もともとの(5)は
(5) 2＋3/n＋1/n^2 ＜ n(log(p_{n＋1})－log(p_n))/log^2(p_n)
となっているが、これは間違いで、正しくは
(5) ’ 2＋3/n＋1/n^2 ＜ n (log^2 p_{n＋1}) (log(p_{n＋1})－log(p_n))/log^2(p_n)
となり、これも右辺に log^2 p_{n＋1} が追加で掛け算される。
すると、仮に不等式(6)が正しく導出できたとしても、
(5) ’ ＆(6)からは何の矛盾も出なくなる(右辺の log^2 p_{n＋1} のせいで)。
そして、(5) ’ が正しいということは、オーダーの観点からは右辺に log^2 p_{n＋1} のような項が
追加で掛け算されている姿こそが、導出可能な不等式の限界ということになる。
よって、もともとの(5)のような不等式は、原理的に導出できないことが推測される。
この時点で、この文書の方針は既に崩壊している。
286:１３２人目の素数さん
21/06/03 19:35:47.77 GPz3h0uF.net
修正不可能な致命的な誤り その2
4ページ目で
(A) mlog(p_{m＋1}) ＜ 3Σ[k＝1～m] log(p_k) － 2log(2)
という不等式が導出されている。ここで一旦(A)は保留状態になり、これとは全く別の不等式である
p_n/2 ＜ Σ[k＝1～n] log(p_k) … (7)
が証明される。そして、再び(A)に戻り、(7)を用いて
(B) mlog(p_{m＋1}) ＜ 3p_m/2 － 2log(2)
という不等式が導出される(6ページ目の中央付近)。
しかし、ここは明らかに間違っている。(7)と(A)を組み合わせても、(B)は導出できない。
そして、(B)が導出できないなら、この後に控えている不等式(6)の証明に失敗する。
287:１３２人目の素数さん
21/06/03 19:36:09.78 h9a1EO3I.net
>>277
>どうせ
そう、君が投稿を受け付けられないのは、皆「どうせ高木やし」と思ってるからなんよ
288:１３２人目の素数さん
21/06/03 19:36:38.17 GPz3h0uF.net
ちなみに、仮に(B)が導出できたとしても、不等式(6)は全く証明されていない。
以下でこのことを具体的に指摘する。まず、この文書では、
不等式(6)をnに関する数学的帰納法で証明しようとしている。やり方はシンプルで、
(i) 1≦n≦16 のときは、(6)が成立する。
(ii) 1≦m≦n の任意のmで(6)が成立するなら、n＋1のときも(6)が成立する。
の2つを示すことで証明が行われている。(i)は単なる数値計算なので、まあ正しいだろう。
問題は(ii)の方である。1≦m≦nの任意のmで(6)が成立すると仮定する。よって、m＝1,2,…,nのとき
log(p_{m＋1})－log(p_m) ＜ 2log(p_m) / m
が成り立つことになる。そして、示すべきゴール地点は
(iii) log(p_{n＋2})－log(p_{n＋1}) ＜ 2log(p_{n＋1}) / (n＋1)
である。よって、証明の終わり際では、必ず不等式(iii)が明示的に導出されなければならない。
しかし、件の文書では、6ページ目の中盤で
(iv)「 p_{m＋1}＜10m^{3/2} / 11 が m≧17 のとき成り立つ 」
が導出されているにすぎない。この(iv)が導出できると、なぜ(iii)が導出できたことになるのか、
その証明が一切ない。そして、よく読むと、(iv)が導出できても(iii)は全く導出できないことが分かる。
なぜなら、(iv)に至るまでの不等式評価は同値変形ではなく、一方向の不可逆な評価だからだ。
つまり、この文書の帰納法は、正常に帰納法が繋がっておらず、失敗している。
何が導出できれば帰納法が繋がったことになるのか、>>1はきちんと把握していないのである。問題外。
289:１３２人目の素数さん
21/06/03 19:37:43.58 h9a1EO3I.net
>>284
まぁこれになるから、あんまマジレス良くない
14 １３２人目の素数さん sage 2021/03/09(火) 19:47:16.66 ID:oEYCtjuK
あーあ読んじゃったか
また調子に乗り始めるぞ
290:１３２人目の素数さん
21/06/03 19:39:19.39 GPz3h0uF.net
簡単に言えば、あるべき帰納法の姿は次のようなものである。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
1≦n≦16 のときは、(6)が成立する。次に、1≦m≦n の任意のmで(6)が成立するとする。
よって、m＝1,2,…,nのとき log(p_{m＋1})－log(p_m) ＜ 2log(p_m) / m が成り立つことになる。
すると、～～～という理由により、
log(p_{n＋2})－log(p_{n＋1}) ＜ 2log(p_{n＋1}) / (n＋1)
が成り立つ。よって、n＋1のときも(6)が成り立つ。数学的帰納法から、(6)は任意のn≧1で成り立つ。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
291:１３２人目の素数さん
21/06/03 19:41:42.30 GPz3h0uF.net
ところが、件のゴミ文書では次のようになっている。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
1≦n≦16 のときは、(6)が成立する。次に、1≦m≦n の任意のmで(6)が成立するとする。
よって、m＝1,2,…,nのとき log(p_{m＋1})－log(p_m) ＜ 2log(p_m) / m が成り立つことになる。
すると、～～～という理由により、
p_{m＋1}＜10m^{3/2} / 11
が m≧17 のとき成り立つ。数学的帰納法から、(6)は任意のn≧1で成り立つ。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
明らかに、数学的帰納法が繋がってない。p_{m＋1}＜10m^{3/2} / 11 が m≧17 のとき
成り立つからといって、なぜそれで
log(p_{n＋2})－log(p_{n＋1}) ＜ 2log(p_{n＋1}) / (n＋1)
が成り立つことになるのか、その理由がどこにもない。
また、p_{m＋1}＜10m^{3/2} / 11 に至るまでの不等式評価は同値変形ではなく、
一方向の不可逆な評価なので、_{m＋1}＜10m^{3/2} / 11 が言えても
log(p_{n＋2})－log(p_{n＋1}) ＜ 2log(p_{n＋1}) / (n＋1)
は導出できない。結局、件のゴミ文書では帰納法が全く繋がってない。問題外。
292:１３２人目の素数さん
21/06/03 19:43:28.36 GPz3h0uF.net
ちなみに、c_n ＝ log n＋log log n － p_n / n と置くと、
p_n ＝ n(log n＋log log n －c_n)
が成り立ち、ピエール・デザルトの不等式によって 0＜c_n＜1 が成り立つ。
この表示を用いて不等式(6)をオーダー評価すると、(6)の不等号の向きは
c_n の挙動が支配的に影響していることが分かる。そして、c_n の具体的な挙動は未解決なので、
結局、不等式(6)が成り立つかどうかは、少なくともピエール・デザルトの不等式からは導出できない。
つまり、この文書で行われているような初等的な計算では、(6)も、(6)の否定も、どちらも証明できない。
数学的帰納法がうまく繋がってないのも納得である。
この文書で行われているような初等的な計算では、原理的に繋がりようがないのである。
仮に(6)が導出できたとしても、そもそも(5)が導出できずに(5) ' のような不等式にしかならないわけで、
そして(5) ' ＆(6)だと何も矛盾が出ない。どこまで行っても証明に失敗している。ゴミ。
293:１３２人目の素数さん
21/06/03 19:45:30.71 GPz3h0uF.net
まとめ
・ この文書では、不等式(5)と不等式(6)の導出が肝だったわけだが、どちらも計算ミスにより導出できていない。
・ まず、(5)の導出では計算ミスが発生しており、実際には>>281の(5)’にしかならない。ここが致命的で、
もし(5)’のような不等式しか出てこないのであれば、仮に(6)が正しく導出できても、どのみち矛盾が出ない。
・ そして、(6)の導出でも計算ミスが発生しており、今のままでは(6)が導出できない。
仮に計算ミスが修正できても、帰納法のゴール地点が間違っているので、
帰納法が正常に繋がっておらず、どのみち証明に失敗している。
もっと言えば、仮に(6)が正しく導出できても、(5)’＆(6)からは矛盾が出ないので、根本的に意味が無い。
・ それ以外の部分はただの手計算なので、結局、この文書では、
「手計算以外の、肝となる論理的な部分」が ことごとく全て間違っていることになる。驚くべきレベルの低さで問題外。
294:１３２人目の素数さん
21/06/03 19:48:29.07 Wl9UxW4U.net
今日中に修正版がでるかな？スタート
295:１３２人目の素数さん
21/06/03 19:50:12.97 Wl9UxW4U.net
高校数学レベルの素晴らしい論文だな（大爆笑）
296:１３２人目の素数さん
21/06/03 19:55:39.45 5HUo319P.net
残念ながら高木は計算間違いしか理解出来ないので、、、理解出来ませんで終わるよ
帰納法、背理法とか論理的な間違いは理解出来ないの
必要条件、十分条件すら理解してないのよ、、、
297:１３２人目の素数さん
21/06/03 19:59:46.31 Wl9UxW4U.net
数学を勉強しました（笑）
読み終えた本が
世界は素数でできている
素数が奏でる物語
フェルマーの最終定理
フェルマーの大定理が解けた
奇数魔術師の読んだ本
途中の本が
ABC予想入門
リーマン予想とは何か
素数に憑かれた人たち
数論のはじまり
298:１３２人目の素数さん
21/06/03 20:00:05.55 7fVEk9AO.net
>>284
ここの部分は誤りだ、完全数学的帰納法だ。
だから、>>278の証明は正しい。
299:１３２人目の素数さん
21/06/03 20:00:41.61 7fVEk9AO.net
このスレの人間はcomplete inductionを知らないらしい
300:１３２人目の素数さん
21/06/03 20:06:13.10 GPz3h0uF.net
>>294
間違ってるよ。帰納法になってない。
(iv) p_{m＋1}＜10m^{3/2} / 11 が m≧17 のとき成り立つ
が導出できると、そこからなぜ
(iii) log(p_{n＋2})－log(p_{n＋1}) ＜ 2log(p_{n＋1}) / (n＋1)
が導出できたことになるのか、その証明がない。
試しに、(iv)を使って(iii)を直接的に導出してみろ。絶対にできないから。
あと、(6)以前にそもそも(5)が間違ってて、こっちの方が致命的だからね。何度
301:も書いてるけど。
302:１３２人目の素数さん
21/06/03 20:08:25.07 Wl9UxW4U.net
片腹痛い
303:１３２人目の素数さん
21/06/03 20:10:17.71 1LGt0CW+.net
まーたどっかで両辺に0でも掛けた？
304:１３２人目の素数さん
21/06/03 20:13:15.78 7fVEk9AO.net
>>296
(5)と(6)は別の命題だから、(6)は独立に証明が完成している
305:１３２人目の素数さん
21/06/03 20:13:46.16 7fVEk9AO.net
>>296
＞導出できたことになるのか、その証明がない。
よくこんな嘘が書けるな
306:１３２人目の素数さん
21/06/03 20:14:41.46 h9a1EO3I.net
ほら高木だろ
307:１３２人目の素数さん
21/06/03 20:15:01.93 Wl9UxW4U.net
証明ではなくできるとこ並べてみましたかｗ
308:１３２人目の素数さん
21/06/03 20:16:15.21 Wl9UxW4U.net
素人の統合失調症だからな、しかたがないｗ
309:１３２人目の素数さん
21/06/03 20:17:29.81 7fVEk9AO.net
お前らは、n倍積完全数とGoldbach予想を解決した人間によくそのような
ことが言えたものだな
310:１３２人目の素数さん
21/06/03 20:18:54.19 Wl9UxW4U.net
一事が万事
311:１３２人目の素数さん
21/06/03 20:22:39.37 GPz3h0uF.net
>>300
どこがウソなんだよ。件の文書では、実際に(iv)の導出しか行っていないだろ。
これは事実だろ。(iv)から(iii)が導出できるとは一言も書いてないし、手計算も全くないだろ。
(iii) log(p_{n＋2})－log(p_{n＋1}) ＜ 2log(p_{n＋1}) / (n＋1)
(iv) p_{m＋1}＜10m^{3/2} / 11 が m≧17 のとき成り立つ
お前が帰納法の中で証明したのは(iv)にすぎない。
一方で、帰納法の本当のゴールは(iii)である。
そして、この(iii)が証明できないなら、帰納法は完成したことにならない。
試しに、(iv)を使って(iii)を直接的に導出してみろ。絶対にできないから。
312:１３２人目の素数さん
21/06/03 20:23:04.67 7fVEk9AO.net
全くそれはない
313:１３２人目の素数さん
21/06/03 20:24:44.77 7fVEk9AO.net
>>306
途中に素数階乗不等式の証明が入っているから混乱しているだけじゃないの
必要条件で計算を行っているだけだが？
314:１３２人目の素数さん
21/06/03 20:25:31.07 7fVEk9AO.net
>>306
それからcomplete inductionを知っていないと理解できないからね
315:１３２人目の素数さん
21/06/03 20:26:03.39 Wl9UxW4U.net
大プロは全部失敗してる
316:１３２人目の素数さん
21/06/03 20:26:32.27 GPz3h0uF.net
>>300
あと、帰納法ばかりに気を取られているようだけど、
(6)は>>282の時点で計算ミスがあって崩壊してるからね。
別に帰納法だけが間違ってるわけじゃないからね。
帰納法も間違ってれば、その前段の計算も間違ってて、
どこにも正しい要素がないわけでね。
317:１３２人目の素数さん
21/06/03 20:28:38.62 GPz3h0uF.net
>>308
必要条件として(iv)が得られたのであれば、
・ (iii) が成り立つためには (iv) が成り立つことが必要である
が言えただけであって、結局は(iii)が導出できたわけじゃないよね。
・ (iii) が成り立つためには(iv)が成り立つことが 十 分 である
が言えないと、(iii)が導出できたことにはならないからね。
そして、件の文書ではそんなこと言えてないからね。
318:１３２人目の素数さん
21/06/03 20:34:05.46 7fVEk9AO.net
>>311
何故(6)が正しくないのだろうか？完全に正しい証明だけであるが
理解できないのであれば、仕方がないが、complete inductionは十分条件の確認は
必要ありません
319:１３２人目の素数さん
21/06/03 20:34:15.43 h9a1EO3I.net
これでしたな>>292
320:１３２人目の素数さん
21/06/03 20:36:21.65 Wl9UxW4U.net
>>313
それただの数学的帰納法
321:１３２人目の素数さん
21/06/03 20:39:37.50 7fVEk9AO.net
>>315
完全数学的帰納法はf(k)が1からmまでの全ての式が正しいとしてf(m)を正しいと仮定し
その後、全てのmでf(m)が成立すれば、全てkでf(k)が成立するとするもので
普通の数学的帰納法とは異なります。
322:１３２人目の素数さん
21/06/03 20:40:08.64 GPz3h0uF.net
>>313
件の文書の議論を、ここで詳しく書き連ねてみよう。
任意のnで(6)が成り立つことを示したい。帰納法を使う。
1≦n≦17のときは、手計算により(6)が実際に成り立つ。
次に、1≦m≦n のとき log(p_{m＋1})－log(p_m) ＜ 2log(p_m) / m が成り立つとする。
両辺に m をかけて足し算すると、
mlog(p_{m＋1}) ＜ 3Σ[k＝1～m] log(p_k)－2log(2)
が成り立つ(この時点で同値変形を逸脱しており、不可逆である)。一方で、これとは別に
p_n/2＜Σ[k＝1～n]log(p_k) … (7)
が成り立つことが示せる。この(7)を使えば
mlog(p_{m＋1}) ＜ 3p_m/2－2log(2)
が成り立つ(ここも同値変形を逸脱しており、不可逆である)
(さらに、>>282で指摘したとおり、ここは計算ミスなので、この時点で既に間違ってる)。
323:１３２人目の素数さん
21/06/03 20:41:01.39 GPz3h0uF.net
また、Rosser の定理から mlog(m)＜p_m が成り立つので、
log(p_{m＋1})＜3m/2－2log(2)/m
が成り立つ(実はここも計算ミスで、実際には導出できない)。そして、この不等式を変形して
p_{m＋1}e^{2log(2)/m}＜m^{3/2}
となる(実はここも計算ミスで、実際には p_{m＋1}e^{2log(2)/m} ＜ e^{3m/2} である)
(しかし、そもそも前段から既に計算ミスを連発してるので、もはや意味はない)。
m≧15のとき e^{2log(2)/m}＜11/10 だから、
p_{m＋1}＜10 m^{3/2} / 11
である(ここも同値変形を逸脱しており、不可逆である)。これはm≧17のとき成立する。
件の文書ではここで議論が止まっており、「数学的帰納法から、任意のnで(6)が成立する」と
いきなり述べられている。問題外である。
結局、件の文書では、帰納法のゴール地点である
log(p_{n＋2})－log(p_{n＋1}) ＜ 2log(p_{n＋1}) / (n＋1) が全く証明されていない。
そもそも計算ミスが連発になってる時点で終わってる。