奇数の完全数の存在に関する証明が完成しました
■ このスレッドは過去ログ倉庫に格納されています
分割というか、主張の各部分を補題にまとめなさいって言ってるだけだよね。
ギョーカイ的な用語で言ったらサブルーチン化して可読度上げなさいってこと。
何も難しいこと言われてないよ。 あくまでも体裁に対する指摘であり、内容に関して否定してはいません、とだけお伝えしておきます。
(ご指摘の通り精読はしておりませんので)
「主張の分割」については >391 の書かれた通りで、正直なにをお怒りかわかりません。
証明に限らず、大きな問題を小さな問題に分割して各々を解決する、というのはよくある方法であると考えます。 また同じことの繰り返しw
>>1よりお前らのほうが滑稽だわ >>392
>査読に至る前に跳ねられるのが順当な論文もどき
こう書かれたわけですから。
>>395
ワードで作成していますが、やり方が分かりません >>397
体裁整ってない文章なんて読めたもんじゃねえからデスクリジェクトも妥当
査読まわるわけないだろ >>398
2000年未解決の数学的に正しい論文でも? >>1 訂正
2018年8月4日→2018年8月13日 体裁の整っていない論文もどきが正しい確率は低い
読んでもらいたいなら素直に指摘を受け入れるべきだ ガロアの論文だって読まれなかったんだから
まず人が読めるものを書けよ とりあえず1年位真面目に数学の教科書読んでみりゃいいじゃん。
勘のいい人間なら2,3冊真面目に数学の教科書読めば証明の書き方なんか身についてくる。
というか、「数学の証明の書き方入門」なんて本はない。
みんな他の人の教科書読んで真似してできるようになる。
そんなに時間かかるもんじゃない。
学問に王道はない。 論文モドキの体裁がどうこう言う前に、根本的に間違ってるものはどう直しても正しくなることはない
付き合うだけ無駄無駄 >>400
当然だよなw
お前がどんだけ言い張ったところで、体裁整ってない文章なんか読めたもんじゃねえのは変わらんw
読めない文章で認めろとかちゃんちゃらおかしいわ 「数学の証明の書き方入門」
に近い本は今は探せば幾つかある >正直なにをお怒りかわかりません。
考えても全くの無駄。
1は、いつもTVから自分を非難する声が聞こえるというマジ基地。
このスレからも、1だけに自分の悪口が読めてしまう。
なので文脈に関係なく、いつも突発的に怒り出す。 >>1 訂正
2018年8月4日→2018年8月14日 とりあえずtexで書いてくれないか
一週間あればできると思うから >>413
それをしなければならない理由が分からない 少なくとも
>>411
こんなゴミみたいなミスはなくなる これだけ散々、指摘されても都合の悪いことは無視し続けるのだから、1がどれだけ
面白いことを言い出しても反応しないのが1に自覚させるベストな方法だと思う >>416
意味不明で余計なことは書かなくて結構だ >>419
以前1が言ってた数独って
こんな情けないことをしてたのかよ。 なんだよ、数独が最速で解けるって話も嘘なのか
どうしようもないな
>>419の1の問題、俺が以前作ったプログラムにかけたら一瞬で解けたぞ
http://imgur.com/vRlPZhV.png >>421
すれ違いだから、この件はこれで最後にするが、vectorで公開されている世界一速いという
Excel VBAの他のソフトと比較すると、簡単な問題で、5%ぐらい時間が短く解析でき
難しい問題では5倍ぐらい速い。 >>421
それと一瞬って何だよ。同じ環境と同じ言語でなくては比較はできないだろう。 数独は一瞬で解けて当たり前
あれこれ条件つけたって1に価値なし。 >>425
世界最速のアルゴリズムであれば価値があるに決まっているだろ
>>425は無敵の馬鹿 一瞬で解けなくちゃ最速どころか標準ですらない
そんなプログラミングの入門レベルじゃ仕事にならない >>423
悪いな。まさか数独の解法プログラムで世界最速を競うバカがいるとは思ってなかったから時間計測機能はつけようとも思わなかった。
だから一瞬としか表現のしようがない。 >>427
一瞬って何言っているのか?Excel VBAで最難問を25msで解ける
簡単な問題は1msも掛からない(CPUはCorei5 3210M)。よくこれを入門レベルと言えるもんだな、勘違いは。 >完全な解析プログラムを開発することはできますが
>ただ、結果はほとんど変わらないのにも関わらず、
>おそらく、解析時間が4倍から8倍になるだけです。
>
>必要なんですか?
必要ないのは1。 完全でない解法プログラムを最速と認定しろって言うのも滑稽なら、
完全でない証明を未解決問題の解決と認定しろって言うのも滑稽
1のやることずっとこんな感じなのか? >>423
おれも以前高速ソルバーを作ったが
>>421は君のコードだと何秒で解ける? おれのコードだと
0.000088秒でした
勝てる? 私が見つけた難問はこの辺
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・ 都合のいい言い訳は要らない
コードを上げればそれで済む >>439
コードは非公開にしている。
>>435は言語もPCのスペックも書いていない。
VBAは最速の言語よりも最低でも5倍以上もしくは10倍以上は遅いはず。 君のプログラム、君の環境だと何秒かかるのか?
君のプログラムが最速だという根拠は?
この2個の質問に答えてください この未解決問題は解決したのにも関わらず、関係のないレスばかりになっている 解決してないよ
証明は奇数yのすべての素因数pkについて、2pk-1がyの素因数であるような奇数yに限定して完全数の非存在を示したにすぎない
すべての奇数についての証明にはなっていない VBAしか使えないのは、1の能力のスペックによるもの
不満があるなら最速の言語とやらで組んでみろ >>437
この問題は一番難しい問題と比べて1/7ぐらいの時間で解析できる問題だった。
>>441
>君のプログラム、君の環境だと何秒かかるのか?
何故そちらが、言語、環境を書かないのにこちらが時間を書かなければならないのか?
>君のプログラムが最速だという根拠は?
>>422 >>443
bは必ず(p+1)/2を因数に持ち、(p+1)/2が素数になる場合と合成数になる場合を考慮しているから尽きている VBAで10倍のハンデだとして0.0009秒で解ける?
プログラムはシングルスレッドのC++
PCはHaswell 3.4GHz
かなり昔のPCだよ >>422
じゃあ私のが君のより速かったら世界一を名乗っていいってことだね >>447
私のPCはCorei5で2.4GHzだけれども、10倍ハンデだと0.0008秒 >>446
その主張は仮定と結論が逆だから成り立たない。
AならばBから、BならばAとは言えないと何度説明すれば理解するんだね君は >>450
今もう一回解析してみたら、0.78msで解けたから10倍ハンデだとそうなる
>>451
仮定ではない命題に関して証明を行っています C++は最速の言語じゃないが、
10倍ハンデをあげて同等ならまあ頑張った方だね
でも同等がこんなに簡単に現れてるのに本当に世界一だと思う?
私も世界一を名乗っても良いレベルになるけど >>454
ひとつ突っ込ませてもらうと、0.78msの10倍速だったら0.0008秒にはならんだろ
算数からやり直しなさい アルゴリズム的に同等
プログラミング能力で私の勝ち
トータルで私の勝ち
だから私は世界一
でいいかな?
本当に10倍も言語で差が出るのかは謎だが >>454
で、証明では、T「(p+1)/2が素数になる場合」とU「合成数になる場合」を確かに場合分けしているが、Uで「Tと同様に」と言っているのだから、TはTだけで完結していなければならない。
Tの場合を証明するのにUの証明が必要なのだったら、Uの証明はTに依存してはならない。そうでなければ全体として循環論法であり、証明したことにはならない。 むしろ25msが0.78msに変わった時点で吹かし確定やろ >>455
アルゴリズムで最速と言っているので、絶対的に最速ということではない。
難しい問題をいかに速くとくのかということもあるからそう簡単ではないはず。
2012年の一番難しい問題
800000000003600000070090200050007000000045700000100030001000068008500010090000400
この問題は13.28ms
>>456
もう一回解析したらと言っている。その前は8.0msだったので
>>458
全くそのようなことはない。何故そういう作文をするのかは不思議だ なんかアルゴリズムも勝ってそうだな
世界最速とかを名乗りたいならVBAだからとか言い訳せずに
ちゃんと勝負すれば?
または純粋にアルゴリズムで勝負したかったら
演算回数とか計算オーダーとかそういう数値で語るべきものだよ >>463
どう勝っているのか書いてくれ
言い訳ではない、言語によって大きな速度差があるから、環境も違えば比較のしようがない。 >>460
作文とな?
Uの中で「Tと同様の証明により」と書いたのは君でしょうが >>465
Tはそれ自体で完結していて、Uの式の形からTと全く同様の証明になるといえると思いますが >>464
早さに価値があるなら、なぜわざわざvbawww >>469
Uの中の場合分けで、Tと同じ形の式が現れるということです >>471
いずれにしてもUの証明がTに依存し、また>>446の発言はTの証明がUに依存することを意味する。この証明は循環論法であり不成立。 >>464
乱数であてずっぽうでトライして
たまたま当たった時が0.78ms
その前は8.0msだったってことでしょ?
それで0.78msを結果とするのはインチキですね
さすがに100倍の差は無い いずれにしろ、>>422が世界一の根拠とか
「『おれは世界一』と言ってる小学生に勝ったからおれは世界一だ」
と言ってる小学生レベルですね 解けない問題があるのに最速だと言い張ってみたり、
完成してもないのに完成しました!とかスレタイに書いた上、何十回も修正を出す
そんな1に早とちり王の称号を授けよう
欲しかったんだろ?称号 早とちりってことで言うと、
>>443は「奇数yのすべての素因数pkについて、2pk-1がyの素因数である」と言っており、これの否定は
「奇数yのある素因数pkについて、2pk-1がyの素因数でない」となる
それに対して>>447の返しは「(p+1)/2を因数に持ち、(p+1)/2が素数になる場合と合成数になる場合を考慮している」と言っているが
「すべての素因数pkについて、2pk-1がyの素因数である」と「ある素因数pについて(p+1)/2が素数になる場合」は同じようでいて異なるし、
「ある素因数pkについて、2pk-1がyの素因数でない」と「ある素因数pについて(p+1)/2が合成数になる場合」に至ってはまるで違うだろ
どうして1はこれらを同じと言い切るのか この早とちり王の1は∀と∃の区別がついてないから、そんなこと言っても無駄じゃね? >>473
0.0008秒と書いているわけだから、0,8ms
100倍の差とは書いていないが?
>>474
私が最適化の限りをつくしたから、おそらくそうなっているはず
>>476
解けない問題はないけど?
>>477
>奇数yのすべての素因数pkについて、2pk-1がyの素因数である
このようなことは書いていない。
>ある素因数pについて(p+1)/2が素数になる場合
これは正しい。
>>478
この論理が分からなければ仕方がない。それを書いたらつまらなくなってしまうから
書かない。 計算を間違っていた。
>>449訂正
10倍ハンデだと0.0008秒→10倍ハンデだと0.00008秒
>>479 訂正
0.0008秒と書いている→0.00008秒と書かかなければならない 10倍ハンデと書くからわけがわからなくなっているので
解析に掛かった時間は0.8msと0.78ms 私のは0.088ms
VBAのハンデが5倍なら私の勝ちですね
たまたま現れたたった1人にすら負けてるかも知れないのに
アルゴリズム世界一なわけないですね
世界一の根拠が
「私が最適化の限りをつくしたから」
小学生でももっとマシな事を言う >>484
3.4G/2.5Gでその差もありますね。C++の方が10倍以上速い可能性もありますが インタープリター言語とコンパイルをした実行ファイルの速度比較するのはナンセンス 他の部屋テレビから、「応用物理」が何度も聞こえてくるがうるさい >>485
世界一を証明するのはあなたの義務ですよ
アルゴリズム世界一と言ってるわけですから ■ このスレッドは過去ログ倉庫に格納されています