トップページ
>
科学ニュース+
>
2017年01月02日
>
YmfNEYBl
書き込み順位＆時間帯一覧
1 位
/201 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
6
0
0
0
0
0
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
9
使用した名前一覧
書き込んだスレッド一覧
名無しのひみつ＠無断転載は禁止
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
書き込みレス一覧
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
808 ：
名無しのひみつ＠無断転載は禁止
[sage]：2017/01/02(月) 00:07:37.14 ID:YmfNEYBl
>>807
文字読めない人かな？
「2以上の素数であるのに、全ての素数で割れない」 ──以下Pとかく
ということが導かれた時点で背理法としては完成されているのに、わざわざjは素数であるという(正しいが無駄な)ステップをふんでることが問題と言ってるんだけど
やってることは
Pが導かれた→矛盾(背理法としてはここで終わり)
→jは素数である→矛盾(二回目の矛盾)
と下の行で無駄な工程をふんでる
微妙といったのは上の行だけで十分なのに無駄な下な行をしたことだよ
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
809 ：
名無しのひみつ＠無断転載は禁止
[sage]：2017/01/02(月) 00:11:46.10 ID:YmfNEYBl
矛盾からは何でも導けるので、証明としては既に完成してるのに
そこから無駄な工程をグダグダと書いて二回目の矛盾を示しちゃうのが背理法の問題点だな
センスない人ほど背理法用いてこれしちゃうが
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
811 ：
名無しのひみつ＠無断転載は禁止
[]：2017/01/02(月) 00:22:50.38 ID:YmfNEYBl
>>174とアイディアは同じだが背理法を排除した証明方法ものっけておこうか
p_1=2
p_1,...,p_kが分かってるとき
n=(p_1*p_2*...*p_k)+1と定める
nはp_1,...,p_kで割り切れないので、これら以外の素因数が存在する。その中で最小のものをp_{k+1}とする
相違なる素数列p_1,p_2,...,p_k,...が存在するので素数は無限に存在する。(終わり)
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
813 ：
名無しのひみつ＠無断転載は禁止
[]：2017/01/02(月) 00:24:22.99 ID:YmfNEYBl
>>810
背理法においては別に最初においた仮定の否定を導く必要はありませんよ^^;
どんな論理式PでもいいのでPとPの否定を導くのが背理法です。
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
814 ：
名無しのひみつ＠無断転載は禁止
[]：2017/01/02(月) 00:25:52.17 ID:YmfNEYBl
>>811
有限であると仮定→矛盾→よって無限より
無限列が存在するから無限って直接示した方が分かりやすいね
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
816 ：
名無しのひみつ＠無断転載は禁止
[]：2017/01/02(月) 00:39:07.12 ID:YmfNEYBl
>>815
具体的な指摘ができず罵るしかできんとか惨めすぎて俺なら自殺しちゃうね
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
821 ：
名無しのひみつ＠無断転載は禁止
[]：2017/01/02(月) 10:22:23.85 ID:YmfNEYBl
>>819
俺は一貫して正しいとは言ってるよ
ただそれはセンスない証明だなあと言ってる
二回矛盾導くっていう意味不明なことをしてるとこな
証明は正しいことが第一だが、ブサイクな証明とカッコイイ証明があるわけ
これはブサイク
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
822 ：
名無しのひみつ＠無断転載は禁止
[]：2017/01/02(月) 10:25:40.64 ID:YmfNEYBl
「2以上の整数はある素数で割り切れる」
これが本質なわけで、ここに矛盾した時点で証明としては完了してるんよね
あとは宮廷で数学やってきて証明論とかも勉強したけど、君は大学で何やってたんかな
【数学】新たな巨大素数が見つかり、シェルピンスキー数の候補が1つ消える ©2ch.net
823 ：
名無しのひみつ＠無断転載は禁止
[]：2017/01/02(月) 10:35:09.98 ID:YmfNEYBl
俺はセンスがあってギャップの少ない証明の方がいいって考えで（数学科ならこういう教育受ける)
君はどんなにゴチャゴチャしてても合っていればそれでよいって考えで(受験で終わる人は大体こうなる)
お互い相入れなさそうだしもういいんじゃない
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。