X



トップページ数学
1002コメント396KB
奇数の完全数の存在に関する証明が完成しました
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2018/08/05(日) 05:25:38.78ID:CcBDiEWJ
2000年以上前からある奇数の完全数が存在するのかという
数学上の未解決問題が、2018年8月4日に完全な証明が完成しました。
この証明が完全に正しいと公式に認定していただきたいと思います。


証明論文
Pdf文書 日本語
http://fast-uploader.com/file/7088885133326/
Pdf文書 英語
http://fast-uploader.com/file/7088885204141/

(前スレ)
奇数の完全数の存在に関する証明は正しいはず
https://rio2016.5ch.net/test/read.cgi/math/1530434042/

(前々スレ)
最古の未解決問題が解決されたのか
https://rio2016.5ch.net/test/read.cgi/math/1522147912/

(関連スレ)
奇数の完全数の有無について [無断転載禁止](c)2ch.net
https://rio2016.5ch.net/test/read.cgi/math/1483900653/
奇数の完全数の有無について2
https://rio2016.5ch.net/test/read.cgi/math/1523602627/
0339 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 16:41:44.02ID:VzBbEbSZ
>>338
自分で考えてくれ、この証明はpの個数に依存しない考え方をしている
0340132人目の素数さん
垢版 |
2018/08/11(土) 17:20:54.70ID:ImByykHY
>>339
認められたいなら、ちゃんと説明してくれ

pはkに依存して決まらないのw
個数がーとかじゃないのw
0341132人目の素数さん
垢版 |
2018/08/11(土) 17:23:44.71ID:avnkcncE
>pの個数に依存しない考え方をしている
その主張は通らないなあ。自分で p=(2b-c)/(2b-a) と書いてるんだから
0342132人目の素数さん
垢版 |
2018/08/11(土) 17:38:15.78ID:TN9AorhA
仮定した完全数yの約数pがあって、その指数nが整数mで4m+1と表されるならば、yが(p+1)/2の約数であるはずだ。という命題が示されていても、
素の命題の逆、つまり yの素因数pkについて、pk=(p+1)/2 つまり p=2pk-1 となるような p が y の約数であるとはいえない。これは別途証明しなければならない。
だいたい pk が素数であっても、p=2pk-1 が合成数であるケースがある。p が合成数だったら約数関数は p^n+...+1 にならないのでそれまでの主張それ自体が成り立たなくなる。
0343132人目の素数さん
垢版 |
2018/08/11(土) 17:51:07.60ID:0ER8IFIN
>>336
あいつの見直し、書いてすぐ20分程度の見直しだから、そもそもなめてるんだよ

2000年前からの未解決問題を解いてる俺かっけーのファッションなんだよ
0344132人目の素数さん
垢版 |
2018/08/11(土) 18:01:19.92ID:M6leIyVk
>ちょと違うと思う
この馬鹿の頭の中の数学は非常に狭く、それがすべてだと思ってる。
心の底からそうだと思ってる。だからその域から出たら理解不能になって思考停止。
ただの無知と無勉。
一生懸命、間違いを伝えようとしてるの見てよくこんなの相手にしてるなと思うわw
0346132人目の素数さん
垢版 |
2018/08/11(土) 18:28:31.17ID:4h9sumgz
自分は天才だと思ってる。
そして自分以外はバカだと思ってる。
なので他人の的を射た指摘でさえ、そいつが馬鹿で理解できてないからスットンキョウなこと言ってるとしか受け止められない。
数学的能力がどうこういう以前に先人の遺した偉大な “数学文化” に対する尊敬がないから数学的能力を伸ばすこともできずせいぜい高校生レベル。
結局最後は人間性の問題なんだよねぇ。
0347 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 18:59:18.26ID:VzBbEbSZ
>>341
cは可変ですけど

>>342
>p が y の約数であるとはいえない。これは別途証明しなければならない
2b=c(p^n+…+1)
b=c(p+1)/2×(p^(n-1)+p^(n-3)+…+1)
証明していると思います。

>p が合成数だったら
必要条件を検討しているので、その場合は考慮する必要がありません

>>345
何故考えればわかる内容をここで教えなくてはならないのか?

>>346
そのようなことはない。このような情報操作はよくありがちですねw
0348132人目の素数さん
垢版 |
2018/08/11(土) 19:20:26.73ID:TSBXIcfK
最後のwの中に他人を蔑む事になんの躊躇もしない人間性が表れてる。
0350132人目の素数さん
垢版 |
2018/08/11(土) 19:28:00.40ID:a3y3NRdo
バカなことやってるやつをたしなめてバカっていうやつがバカっていいうやついたな。
小学生か。
0351132人目の素数さん
垢版 |
2018/08/11(土) 19:32:21.05ID:JfuEsE4+
>>349
346さんは全部、今までのお前の言動を客観的に総括しているだけやで。
情報操作してもなんも得することないし
0352132人目の素数さん
垢版 |
2018/08/11(土) 19:39:26.49ID:3XfmiEnb
>>347
>何故考えればわかる内容をここで教えなくてはならないのか?

記述がわかりにくい、あるいは、誤読を招いているという指摘と考えてはどうでしょう
どんなに素晴らしいことが書かれていても、読者に伝わらないなら無意味かと
0354132人目の素数さん
垢版 |
2018/08/11(土) 20:04:24.44ID:3XfmiEnb
>>201
>形式主義ですね。正しい結果が得られれば、それは些末なことではないのでしょうか?

それから、論文としての体裁を整えられていない、というのは些末ではないと思うよ?
体裁を整えて読みやすくするのは読者に対する最低限の礼儀ではないかな
0355132人目の素数さん
垢版 |
2018/08/11(土) 20:06:25.64ID:TN9AorhA
語るに落ちたな
>>p が y の約数であるとはいえない。これは別途証明しなければならない
>b=c(p+1)/2×(p^(n-1)+p^(n-3)+…+1) 証明していると思います。
>必要条件を検討しているので、その場合は考慮する必要がありません
この発言こそ、1が仮定と結論を取り違えたまま勘違いの推論を進めていた、という確たる証拠ですよ。
0356 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 20:43:27.08ID:VzBbEbSZ
>>355
その部分は間違いです。そのことに関しては論文の前半3ページまでに書いています。
0357132人目の素数さん
垢版 |
2018/08/11(土) 20:52:00.76ID:B8r+45uj
1が珍しく自分から間違いを認めたな
0359132人目の素数さん
垢版 |
2018/08/12(日) 14:55:00.59ID:lLUmaCeY
>>356
どれだよ
0361 ◆H4n21Ym7mA
垢版 |
2018/08/12(日) 21:01:22.49ID:tsksl0/C
>>360
間違いが見つかりましたので削除しました
0364132人目の素数さん
垢版 |
2018/08/12(日) 22:00:07.10ID:Trl31eBa
完成おめでとうございます!
    .。☆.゚。.。
  。:☆・。゚◇*.゚。
  ・◎.★゚.@☆。:*・.
 .゚★.。;。☆.:*◎.゚。
  :*。_☆◎。_★*・_゚
  \ξ \  ζ/
   ∧,,∧\ ξ
   (´・ω・`)/
   /  つ∀o
   しー-J
0366132人目の素数さん
垢版 |
2018/08/12(日) 23:22:51.26ID:MCYhpXzr
ごみ落書き計算メモ
指摘されまくってる問題点は無視無視無視

いい加減にしろ
うせろや
0369132人目の素数さん
垢版 |
2018/08/13(月) 18:52:11.32ID:+VxHWXLw
さらっと流し読みしただけですが。

奇数の完全数が存在しないことを示そうとしているのはわかります。
しかし、主張や論理が整理されておらず、著者の頭にあるものを並べただけ、という印象を受けました。
まず論文の書き方を学ぶべきかと思われます。

例えば、p.2の3から証明になっていますが、記号の定義も主張もなく、いきなり証明を始められても読者には意味がわかりません。
概要はあくまでも概要であり、飛ばしても論文は読める(無論理解しにくくはなる)ものですが、
この論文では意味不明になってしまいます。
0370 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 18:58:17.08ID:1sIym2cm
>>369
論理が整理されていないとは全く思いません。内容が多少難しいので精読してもらう必要があるのでは
ないでしょうか?
一般的な数学記号しか使っていませんので、記号の定義の必要性は少ないと思います。
0371132人目の素数さん
垢版 |
2018/08/13(月) 19:20:50.04ID:Azg/fVR3
もう相手しない方がいいよ。
新規の人はレスする前にこれまでの流れをよく読んだ上でレスして欲しい。何度も同じことを繰り返すのは、1だけでなく同じ突っ込みをする周りにも責任がある。
0372 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 19:29:29.18ID:1sIym2cm
繰り返すのは間違いがあったからであって、間違いがなくなったのでこれで終了
0373132人目の素数さん
垢版 |
2018/08/13(月) 19:33:26.85ID:+eSg4Dfd
>>371
同感
0376132人目の素数さん
垢版 |
2018/08/13(月) 20:59:59.11ID:+VxHWXLw
>>370
>論理が整理されていないとは全く思いません。内容が多少難しいので精読してもらう必要があるのでは
>ないでしょうか?

いや、内容が難しいとかどうとかではなく。

通常、論文というものは定理なり主張があり、その証明や説明があるものですし、また、その主張もわかりやすくなるように分割したりするものです。
そういう「理解してもらうための努力」を含めて「論理の整理」と表現したのですが、伝わっていなかったようです。

「全く」思わないのであればもう何も書きませんが……最後に。
厳しい言葉になりますが「内容の正誤や難易以前の問題で論文の体をなしていない、査読に至る前に跳ねられるのが順当な論文もどき」なのが現状と思われます。以上。
0377 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 21:10:26.14ID:1sIym2cm
>>362
間違いが見つかりましたので削除しました
0378 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 21:11:23.79ID:1sIym2cm
>>376
人の6カ月の仕事を論文もどきとは失礼だ。ふざけんな!
0380 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 21:14:28.25ID:1sIym2cm
>>376
何が主張を分割するだ。意味不明に読みもしないで、下らない文章を披露するな。
0384132人目の素数さん
垢版 |
2018/08/13(月) 21:24:06.90ID:nJxs0Dkh
>>376の感想は全く当然だ
多くの者がそう思っていてそれを何度も>>1に指摘している
内容以前に>>1の態度を改めたほうがよい
0385132人目の素数さん
垢版 |
2018/08/13(月) 21:27:43.80ID:5i7BeZ8M
>>384
そりゃ無理だ
正しい証明を示すほうがまだ簡単だろう
0386 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 21:30:51.76ID:1sIym2cm
>>382
卒論が未解決問題の証明論文の大学なりがあるのでしょうか?

>>384
人の仕事を希薄な根拠で侮辱しているわけだから、怒って当然だと思いますが
0387132人目の素数さん
垢版 |
2018/08/13(月) 21:34:48.00ID:nJxs0Dkh
希薄な根拠ではない
ちと古いが『超勉強法』という本に似たような話が書いてある
0388132人目の素数さん
垢版 |
2018/08/13(月) 21:38:22.26ID:Zw5lwUQU
「分割する」って言葉にも異常反応か。

著作権だの引用だの、1は論文を誤解しまくり。
科学とは縁のない世界のヒキニート。
0389132人目の素数さん
垢版 |
2018/08/13(月) 21:45:40.69ID:zm/uhT6P
>>386
くそみたいな論文もどきが卒論とかよくあるぞw

だいたい
できた←できてない
な奴
0391132人目の素数さん
垢版 |
2018/08/13(月) 22:19:47.35ID:suFIMTpJ
分割というか、主張の各部分を補題にまとめなさいって言ってるだけだよね。
ギョーカイ的な用語で言ったらサブルーチン化して可読度上げなさいってこと。
何も難しいこと言われてないよ。
0392132人目の素数さん
垢版 |
2018/08/13(月) 22:32:15.99ID:+VxHWXLw
あくまでも体裁に対する指摘であり、内容に関して否定してはいません、とだけお伝えしておきます。
(ご指摘の通り精読はしておりませんので)

「主張の分割」については >391 の書かれた通りで、正直なにをお怒りかわかりません。
証明に限らず、大きな問題を小さな問題に分割して各々を解決する、というのはよくある方法であると考えます。
0397 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 23:34:21.43ID:1sIym2cm
>>392
>査読に至る前に跳ねられるのが順当な論文もどき
こう書かれたわけですから。

>>395
ワードで作成していますが、やり方が分かりません
0398132人目の素数さん
垢版 |
2018/08/13(月) 23:56:50.80ID:VB6Icjse
>>397
体裁整ってない文章なんて読めたもんじゃねえからデスクリジェクトも妥当

査読まわるわけないだろ
0400 ◆H4n21Ym7mA
垢版 |
2018/08/14(火) 00:30:42.95ID:/Ahykgzy
>>398
2000年未解決の数学的に正しい論文でも?
0402132人目の素数さん
垢版 |
2018/08/14(火) 00:33:23.71ID:Ub+WzTVs
体裁の整っていない論文もどきが正しい確率は低い
読んでもらいたいなら素直に指摘を受け入れるべきだ
0403132人目の素数さん
垢版 |
2018/08/14(火) 00:42:02.10ID:wsnDjpjl
ガロアの論文だって読まれなかったんだから
まず人が読めるものを書けよ
0404132人目の素数さん
垢版 |
2018/08/14(火) 00:46:54.07ID:cee+m/k4
とりあえず1年位真面目に数学の教科書読んでみりゃいいじゃん。
勘のいい人間なら2,3冊真面目に数学の教科書読めば証明の書き方なんか身についてくる。
というか、「数学の証明の書き方入門」なんて本はない。
みんな他の人の教科書読んで真似してできるようになる。
そんなに時間かかるもんじゃない。
学問に王道はない。
0405132人目の素数さん
垢版 |
2018/08/14(火) 00:46:54.14ID:5ao32Lki
論文モドキの体裁がどうこう言う前に、根本的に間違ってるものはどう直しても正しくなることはない
付き合うだけ無駄無駄
0406132人目の素数さん
垢版 |
2018/08/14(火) 01:21:08.66ID:xshkzkS2
>>400
当然だよなw
お前がどんだけ言い張ったところで、体裁整ってない文章なんか読めたもんじゃねえのは変わらんw
読めない文章で認めろとかちゃんちゃらおかしいわ
0409132人目の素数さん
垢版 |
2018/08/14(火) 06:35:11.01ID:ixmww1tw
>正直なにをお怒りかわかりません。


考えても全くの無駄。
1は、いつもTVから自分を非難する声が聞こえるというマジ基地。

このスレからも、1だけに自分の悪口が読めてしまう。
なので文脈に関係なく、いつも突発的に怒り出す。
0411132人目の素数さん
垢版 |
2018/08/14(火) 09:01:07.42ID:/Ahykgzy
>>1 訂正
2018年8月4日→2018年8月14日
0414 ◆H4n21Ym7mA
垢版 |
2018/08/14(火) 19:01:47.26ID:/Ahykgzy
>>413
それをしなければならない理由が分からない
0416132人目の素数さん
垢版 |
2018/08/14(火) 19:13:22.50ID:yywljlSY
これだけ散々、指摘されても都合の悪いことは無視し続けるのだから、1がどれだけ
面白いことを言い出しても反応しないのが1に自覚させるベストな方法だと思う
0417 ◆H4n21Ym7mA
垢版 |
2018/08/14(火) 19:27:41.97ID:/Ahykgzy
>>416
意味不明で余計なことは書かなくて結構だ
0418132人目の素数さん
垢版 |
2018/08/14(火) 19:30:40.49ID:yywljlSY
以下、1以外の書き込みを禁ず
0421132人目の素数さん
垢版 |
2018/08/14(火) 20:23:41.64ID:HTHuIPsC
なんだよ、数独が最速で解けるって話も嘘なのか
どうしようもないな

>>419の1の問題、俺が以前作ったプログラムにかけたら一瞬で解けたぞ
http://imgur.com/vRlPZhV.png
0422 ◆H4n21Ym7mA
垢版 |
2018/08/14(火) 20:50:20.51ID:/Ahykgzy
>>421
すれ違いだから、この件はこれで最後にするが、vectorで公開されている世界一速いという
Excel VBAの他のソフトと比較すると、簡単な問題で、5%ぐらい時間が短く解析でき
難しい問題では5倍ぐらい速い。
0423 ◆H4n21Ym7mA
垢版 |
2018/08/14(火) 20:51:18.59ID:/Ahykgzy
>>421
それと一瞬って何だよ。同じ環境と同じ言語でなくては比較はできないだろう。
0425132人目の素数さん
垢版 |
2018/08/14(火) 21:06:39.63ID:ixmww1tw
数独は一瞬で解けて当たり前

あれこれ条件つけたって1に価値なし。
0426 ◆H4n21Ym7mA
垢版 |
2018/08/14(火) 21:14:34.91ID:/Ahykgzy
>>425
世界最速のアルゴリズムであれば価値があるに決まっているだろ
>>425は無敵の馬鹿
0427132人目の素数さん
垢版 |
2018/08/14(火) 21:18:06.68ID:ixmww1tw
一瞬で解けなくちゃ最速どころか標準ですらない

そんなプログラミングの入門レベルじゃ仕事にならない
0428132人目の素数さん
垢版 |
2018/08/14(火) 21:19:09.15ID:HTHuIPsC
>>423
悪いな。まさか数独の解法プログラムで世界最速を競うバカがいるとは思ってなかったから時間計測機能はつけようとも思わなかった。
だから一瞬としか表現のしようがない。
0429 ◆H4n21Ym7mA
垢版 |
2018/08/14(火) 21:24:58.55ID:/Ahykgzy
>>427
一瞬って何言っているのか?Excel VBAで最難問を25msで解ける
簡単な問題は1msも掛からない(CPUはCorei5 3210M)。よくこれを入門レベルと言えるもんだな、勘違いは。
0431132人目の素数さん
垢版 |
2018/08/14(火) 21:30:35.72ID:ixmww1tw
>完全な解析プログラムを開発することはできますが
>ただ、結果はほとんど変わらないのにも関わらず、
>おそらく、解析時間が4倍から8倍になるだけです。

>必要なんですか?

必要ないのは1。
0433132人目の素数さん
垢版 |
2018/08/14(火) 21:37:29.72ID:PYGrCzzY
完全でない解法プログラムを最速と認定しろって言うのも滑稽なら、
完全でない証明を未解決問題の解決と認定しろって言うのも滑稽

1のやることずっとこんな感じなのか?
0437132人目の素数さん
垢版 |
2018/08/14(火) 22:00:16.67ID:/OhvZbCQ
私が見つけた難問はこの辺

2・4・1・・3・
・8・・・・・・1
31・47・・2・
4・21・・・・3
・・・・・7・・・
・・・・・・28・
・・8・・・59・
・・・・98・・・
・7・・・・3・・

・7・・9・5・・
9・・・5・87・
8・・・・2・・・
・1・・・・・・2
5・・・2718・
・・・・・・・・・
・・8・1・9・・
・・72・・・・1
4・・9・・・3・

1・・・6・8・・
5・・・・9・2・
96・・8・・・・
・・・・・・7・・
2・・3・・1・・
・・・・28・6・
・5・・・・・・・
・・2・・4・・3
69・・・・21・
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況