18/10/04 22:17:20.23 QdnMakfF.net
>>921
a=cp^nは方程式であって関数ではありません。
pを定めたときに、aが決定されるのではなく
a(pk,qk)が与えられたときに、pを決定する方程式です。
関数と方程式の違いも分からないのですね。お気の毒。
>>922,924
D(p^2-1)=0かつD=0
ではpは任意の値で成立するから、これを「pは不定」と表示する。
>>923
背理法だから、ミスが答えと誤認すると書いたのはこのスレで4回目か5回目か？
951:１３２人目の素数さん
18/10/04 22:19:58.20 k3hEYDHT.net
>>920
んなこと言われても自分はいちいち全部読んでないし、数学力はアマチュア程度だからここのレスの脈に沿ったことは言えないよ
でも強いて何か言うなら「何を仮定として使っているか・それによって何が起こっているか分かってる？」ってところかな
要は議論の根幹は>>33の Dp^2-D=0 ってところなんでしょ、多分
確かに、
Dp^2-D=0⇔（D=0 かつ pは任意の数）（∵p≠±1）
ってのは正しいよ
でも矛盾を導く時って、大�
952:�矛盾を起こす数字は「nを任意の整数とする」「�α�を�1＜abs(�α)を満たす実数とする」のようにかなりフリーな設定を用いているよね でも今回は「pはyの素因数とする」というかなり限定的な仮定を用いている 貴方はこの意味を分かって議論しているの？ もっと言えば、この仮定こそp=4q+1という条件に他ならないのでは？
953:１３２人目の素数さん
18/10/04 22:20:54.30 k3hEYDHT.net
なんか文字化けしちゃった
アルファの絶対値が1より大きいって書いただけだからあんまり気にしないで
954:１３２人目の素数さん
18/10/04 22:25:15.52 l/2Oyrsb.net
>>924
いや、それは重要な話。
不定という概念は
「D=0 のとき Dp^2-D=0 の p は不定となる」
のように、対象となる命題「D=0 ∧ Dp^2-D=0」を指定して初めて意味を持つ。
対象を省略して、単独で「pは不定」が命題となることはできない。
「D=0 のとき Dp^2-D=0 の p は不定となる」と
「yが完全数のとき yの素因数となる p は不定となる」
は同値ではないし、前者から後者を導く根拠もまったく示されていない。
「pは不定」と単独で書くことによって、あたかも前者から後者が導かれたように錯覚させるのが１の狙いであるので、そのような書き方を正しいとしてはならない。
955:１３２人目の素数さん
18/10/04 22:28:04.82 k3hEYDHT.net
>>927の最後の一文をちょっと訂正
もっと言えば、この仮定こそp=4q+1という「仮定」に他ならないのでは？
956:
18/10/04 22:35:43.80 QdnMakfF.net
未解決問題の証明論文をしっかり読みもせずに根拠不明の反論もどきをね
>>929は全くでたらめだ
957:１３２人目の素数さん
18/10/04 22:37:54.81 VmTW+2yt.net
とりあえず >>693 の指摘を再掲。
5chで読みやすいようにやや改変。
１ ｜n が奇数、pが奇素数、y が p^n と (1+p+…+p^n)/2 の公倍数である奇数のとき
２ ｜a = 2y/(1+p+…+p^n)、b = y/p^n、c = a/p^n
３ ｜とおく。
４ ｜このとき
５ ｜2b = c(p + 1)(p^(n－1) + p^(n－3) + ⋯ + 1)
６ ｜である。
７ ｜よって p ≡ 1 (mod 4)…(＊)である。
８ ｜一方で
９ ｜(a － 2b)p^(n+1)+ 2bp^n － a = 0 … ⑤
１０｜であるから B = p^(n-5)+p^(n-7)+…+1 とおくと
１１｜Bp^2 － p^(n－3) － B + 1 = 0 … (B)
１２｜さらに B' = (B-1)/p^2 とおくと
１３｜B'p^2 － p^(n－5) － B' + 1 = 0 … (B’)
１４｜が成立する。
１５｜(B)から(B’)への変形と同じ作業を第2項がp^0になるまで繰り返して最後には
１６｜Dp^2 － D = 0 …(※)
１７｜が成立するDがとれる。
１８｜D≠0ならp = ±1 となり不適である。
１９｜∴D=0
２０｜しかしこのとき(※)は任意のpで成立するが、これは(＊)を満たさない p でも満たされるので矛盾である。
２１｜よって奇数 n と奇素数 p において p^n と (1+p+…+p^n)/2 の公倍数となる奇数は存在しない。
>>1の意見ではこの証明あってるの？
反例があるのに？
958:１３２人目の素数さん
18/10/04 22:39:45.16 /8cX1MGR.net
>>929 はしっかり読まなくちゃダメ
１のレベルでは読めないだろうけど
959:１３２人目の素数さん
18/10/04 22:43:43.01 VmTW+2yt.net
じゃあ>>929さんに加勢して
１｜不定という概念は
２｜「D=0 のとき Dp^2-D=0 の p は不定となる」
３｜のように、対象となる命題「D=0 ∧ Dp^2-D=0」を指定して初めて意味を持つ。
４｜対象を省略して、単独で「pは不定」が命題となることはできない。
５｜「D=0 のとき Dp^2-D=0 の p は不定となる」と
６｜「yが完全数のとき yの素因数となる p は不定となる」
７｜は同値ではないし、前者から後者を導く根拠もまったく示されていない。
>>1はこの主張のどの行がまちがってるというの？
その反論の根拠は何？
960:１３２人目の素数さん
18/10/04 22:49:08.49 l/2Oyrsb.net
記号∀を理解している人向けに言うと、
「pは不定」というのは「∀p」を単独で書いているようなもの
D=0 ⇒ ∀p[Dp^2-D=0] なので ∀p となり、よって ∀p[p=4q+1] となる
などと書けば何がおかしいかは明白
961:
18/10/04 23:29:11.43 QdnMakfF.net
>>934
＞５｜「D=0 のとき Dp^2-D=0 の p は不定となる」と
＞６｜「yが完全数のとき yの素因数となる p は不定となる」
何故これが同値でないと言えるのか？
yが奇数の完全数であるならばD=0のときは
D=0かつD(p^2-1)=0
が成立するので、pは任意の値をとることができるから不定になる。
他の条件として
yが奇数の完全数であるならばp=4q+1が成立しなければならない。
しかし、数学では
D=0かつD(p^2-1)⇒p=4q+1
は成立しない。
p=4q+1でなければならないから、pが不定になるD=0は不適�
962:ﾆなる。 これのどこが間違っているのか？
963:１３２人目の素数さん
18/10/04 23:36:27.57 Mvosc7u6.net
>>936
D=0、p=4q+1は両方同時になりたつので矛盾でもなんでもない
これのどこが分からないのか
964:１３２人目の素数さん
18/10/04 23:37:17.35 Mvosc7u6.net
こんな簡単なことのために1スレ終わりそうなのヤバイよ
965:
18/10/04 23:48:51.02 QdnMakfF.net
>>937
それでは、D=0のときにp≠4q+1も成立することになりますが、これはいいのですか？
966:１３２人目の素数さん
18/10/04 23:51:26.09 VmTW+2yt.net
>>936
>何故これが同値でないと言えるのか？
ヨコレス
同値の証明覚えてますか？
A と B が同値とは A ⇒ B と B ⇒ A の両方が証明されたときですね？
では
A：「Dp^2-D=0 の p は不定となる」
B：「yが完全数のとき yの素因数となる p は不定となる」
において「AとBが同値である」というには「A⇒B」と「B⇒A」の証明が両方求められますね？
それ以外の方法はありません。
それが同値の定義です。
どんなに言葉をかさねてもそれ以外に同値であることを主張する手立てはありません。
このスレで疑問視されているのは「A⇒B」の方です。
つまり
仮定：Dp^2 - D = 0は任意のpで成立する
結論：完全数の多重度が奇数の素因子であるpは不定である。
が証明されないといけませんね？
一方、あなたの論文では何を証明しましたか？
y を奇数の完全数、pを多重度奇数の素因子とする⇒Dp^2 - D=0
は証明しましたね？
つまりあなたの論文で示されてるのは
X = { p | ∃y 奇数の完全数 p は y の多重度が奇数の素因子}
が
Y ={ p | Dp^2 - D = 0 }
の部分集合であることのみです。
しかし逆の証明、つまり十分性のチェックはしてないことはあなたも認めてますよね？
つまりあなたの論文で示されているのは X ⊂ Y のみです。
一致しているかどうかはわかりません。
この状況で
Y が素数全体の集合(=不定)
だからといって
X が素数全体の集合(=不定)
だといえませんよ？
X ⊂ 素数全体の集合
だからXも素数全体の集合なんていえませんよ？
967:１３２人目の素数さん
18/10/04 23:53:32.35 VmTW+2yt.net
このスレみてるといかに数Aの「論理と集合」が大切かがわかるなぁ。
968:１３２人目の素数さん
18/10/04 23:55:02.47 VmTW+2yt.net
>>939
>それでは、D=0のときにp≠4q+1も成立することになりますが、これはいいのですか？
これが言えるには
D=0 ⇒ p≠4q+1
の証明が必要ですがその証明してないでしょ？
969:
18/10/04 23:57:23.96 QdnMakfF.net
>>940
＞D=0かつD(p^2-1)⇒p=4q+1
これは成立しないのではないのですか？
970:
18/10/04 23:58:51.26 QdnMakfF.net
>>942
数学では
D=0⇒p=4q+1
も
D=0⇒p≠4q+1
どちらも成り立たないのではないのですか？
971:１３２人目の素数さん
18/10/05 00:00:06.19 oZ6/SRm8.net
ID:l/2Oyrsbと>>1だけコメしろ。Vmなんとかはうざい
972:１３２人目の素数さん
18/10/05 00:01:07.32 FzX1N6bW.net
＞D=0 ⇒ ∀p[Dp^2-D=0] なので ∀p となり、よって ∀p[p=4q+1] となる
ヒドスw
でも確かに>>1の言ってることはまさしくこれだ
973:１３２人目の素数さん
18/10/05 00:04:54.01 3k68Silz.net
ちょっと>>839の論文で示されてる命題のまとめ。
∃y y は奇数の完全数 pはyの多重度奇数の素因子。… (X)
∃y ∃n n,yは奇数、y は p^n と(1+p+…+p^n)/2の公倍数。… (Y)
p ≡ 1 (mod 4)。… (Z)
∃y ∃n a = 2y(1+p+…+p^n)、b=y/p^n のとき(a-2b)p^(n+1) + 2bp^n -a = 0… (W)
として論文で示されていること、および容易ゆえ示さないでまでも成立していること。
(X) ⇒ (Y)、(X)⇒(Z)、(X)⇒(W)、(Y)⇒(Z)、(Y)⇒(W)、(Z)⇒(W)、(Z)⇒(Y)。
証明されてないこと。
(W) ⇒ (X)、(W)⇒(Y)、(W)⇒(Z)、(Z)⇒(X)、(Y)⇒(X)。
とりあえず>>1はこれは認める?
もし後半の５つのなかで論文のなかで証明してるやつがあったら言って下さい。
974:１３２人目の素数さん
18/10/05 00:08:02.78 3k68Silz.net
>>943,944
成立しないよ？で？
975:
18/10/05 00:18:44.52 /mfMsHqn.net
>>948
p=4q+1が成立しないということは
yが奇数の完全数であるならば、p=4q+1でなければならない
という命題に反するので、奇数の完全数が存在しないことになります。
976:１３２人目の素数さん
18/10/05 00:32:44.56 3k68Silz.net
>>>948
>p=4q+1が成立しないということは
>yが奇数の完全数であるならば、p=4q+1でなければならない
>という命題に反するので、奇数の完全数が存在しないことになります。
「D=0 ⇒ p≠4q+1」は成立しない … (X)
は正しいけど
「D=0 ⇒ 「p≠4q+1は成立しない」」… (Y)
は正しくないよ？
混同してない？
後者が成り立つなら >>949 の言う通りだけど後者は成立しません。
「A ⇒ B」は成立しない = 「A だけど Bでない事がありうる。」
本問の場合 D=0, p = 5の場合 D=0 だけど p ≡ 4・1+1 なので(X)は正しいとわかる。
「A ⇒ 「Bは成立しない」」＝「AのときはつねにBではありえない」＝「A かつ B はありえない」
本文の場合 D=0, p = 3の場合 D=0 かつ p ≠ 4q+1 なので(Y)は間違いとわかる。
977:１３２人目の素数さん
18/10/05 00:47:02.23 oZ6/SRm8.net
978: class="AA"> 本日のイキリ ID:3k68Silz
979:１３２人目の素数さん
18/10/05 00:47:57.66 3k68Silz.net
あ、訂正。
スレ汚しなんだけど丸ごと直します。orzｽﾏｿ
「D=0 ⇒ p=4q+1」は成立しない … (X) は真
「D=0 ⇒ 「p=4q+1は成立しない」」 … (Y) は偽
「A ⇒ B」は成立しない = 「A だけど Bでない事がありうる。」
本問の場合 D=0, p = 3の場合 D=0 だけど p ≠ 4q+1 なので(X)は正しいとわかる。
「A ⇒ 「Bは成立しない」」＝「Aのときはつねに「Bではない」」＝「「A かつ B」 はありえない」
本文の場合 D=0, p = 5の場合 D=0 かつ p = 4・1+1 なので(Y)は間違いとわかる。
980:１３２人目の素数さん
18/10/05 00:58:18.23 n2ydST3E.net
１は、やたらと「しかし、数学では 」と言うが
数学でない世界を考える必要などない。
981:１３２人目の素数さん
18/10/05 01:04:25.79 VPYhzSpX.net
A⇒￢B と ￢(A⇒B) の違いか。
もはや述語論理の話ですらないな。
命題論理の話だな。
982:１３２人目の素数さん
18/10/05 03:05:05.29 vK4QN3Lh.net
>>263
>範囲の問題ではないのです。
>>1 は過去にこんなこと言ってるけど
A ⇒ B とは “Aの範囲” ⊂ “Bの範囲”
A と B が矛盾する とは “Aの範囲” ∩ “Bの範囲” = ∅
というのは認めてるん？
もはやこれを認めないなら数学ではないんだけど。
納得するしないは別にして。
983:
18/10/05 05:02:05.64 /mfMsHqn.net
>>955
それは認めています
984:１３２人目の素数さん
18/10/05 05:48:54.46 +iLWwrqr.net
＞A ⇒ B とは “Aの範囲” ⊂ “Bの範囲”
＞A と B が矛盾する とは “Aの範囲” ∩ “Bの範囲” = φ
(Aの範囲)∩(Bの範囲)=φ というのは(Aの範囲)⊂(￢Bの範囲)のことであって、つまりA⇒￢Bのこと
背理法とは(A⇒B)∧(A⇒￢B)を示してそこから￢Aを導くことをいう
１は
＞D=0⇒p=4q+1
＞D=0⇒p≠4q+1
＞どちらも成り立たない
を認めているのだから、
AをD=0、Bをp=4q+1として、A⇒BもA⇒￢Bも偽であると言っているのに等しい
(A⇒B)∧(A⇒￢B)が示されないのだから、￢Aであるとは言えない。
「D=0が不適」とは￢Aのことである。つまり、
D=0⇒p=4q+1 と D=0⇒p≠4q+1 のどちらも成り立たないのに、それらを根拠として「D=0が不適」を導くのは誤り。
985:
18/10/05 05:55:43.74 /mfMsHqn.net
>>957
D=0⇒p=4q+1
が成立しないということは、D=0のときにはp=4q+1にならない
ということではないのですか？
p≠4q+1のときには奇数の完全数が存在しないことになりますから
D=0は不適になると思います。
また、D=0のときには、p≠4q+1のときには奇数の完全数が存在しない
のにも関わらず、D(p^2-1)=0の論理値が真になりこれもおかしい
と思います。
986:１３２人目の素数さん
18/10/05 06:14:43.06 8jprjqlU.net
> D=0⇒p=4q+1
> が成立しないということは、D=0のときにはp=4q+1にならない
> ということではないのですか？
これをよく読んではどうでしょうか。
論理包含
URLﾘﾝｸ(ja.m.wikipedia.org)
987:１３２人目の素数さん
18/10/05 06:45:07.36 3v3CVhNS.net
これ次スレって概念あるの？
勝手に>>1が立ててくれるの？
988:１３２人目の素数さん
18/10/05 06:54:46.15 +iLWwrqr.net
整理してみようか
１が主張しているのは以下
(1) p＝4q+1である
(2) D＝0のときDp^2-D＝0である
(3) (1)でないときに(2)が成立する
よって D≠0 である
D＝0、p＝4q+1、Dp^2-D＝0 をそれぞれA、B、Cとすると
(1) B
(2) A⇒C
(3) ￢B⇒(A⇒C)
このとき、￢Aが示せるかというと示せない。
A、B、Cの真理値による場合分けを以下に列挙する
パターン１：Aが真、Bが真、Cが真のとき、(1)は真、(2)は真、(3)は真
パターン２：Aが真、Bが真、Cが偽のとき、(1)は真、(2)は偽、(3)は真
パターン３：Aが真、Bが偽、Cが真のとき、(1)は偽、(2)は真、(3)は真
パターン４：Aが真、Bが偽、Cが偽のとき、(1)は偽、(2)は偽、(3)は偽
パターン５：Aが偽、Bが真、Cが真のとき、(1)は真、(2)は真、(3)は真
パターン６：Aが偽、Bが真、Cが偽のとき、(1)は真、(2)は真、(3)は真
パターン７：Aが偽、Bが偽、Cが真のとき、(1)は偽、(2)は真、(3)は真
パターン８：Aが偽、Bが偽、Cが偽のとき、(1)は偽、(2)は真、(3)は真
￢Aであると言うには、Aが真であるすべてのパターンで、(1)、(2)、(3)のいずれかが偽でなければならない。
しかし、Aが真であるパターンのうち、パターン１で(1)、(2)、(3)のすべてが真である。
よって、￢Aを結論とすることはできない。
989:１３２人目の素数さん
18/10/05 07:11:47.79 ZtOrHHe1.net
＞D=0⇒p=4q+1 が成立しないということは、D=0のときにはp=4q+1にならない ということではないのですか
わかってないなあ。
(D=0⇒p=4q+1) が成立しない
と
D=0⇒(p=4q+1 が成立しない)
とは全然違うと何度説明されたら理解するのやら。
990:
18/10/05 07:22:07.88 /mfMsHqn.net
>>961
>>962
両方理解しました。
しかし、yが奇数の完全数であるとき、pは不定だという命題は
p≠4q+1のときにも成立して、これは矛盾しています。
よって、D≠0でなければならないと考えられます。
反例が一つでもあると命題は成立しないのではないでしょうか？
991:１３２人目の素数さん
18/10/05 07:26:32.16 5xFj012w.net
理解したした詐欺
992:
18/10/05 07:32:27.58 /mfMsHqn.net
>>932の内容は最新の内容と違います。
>>958の内容を否定されると考えて、D=0のときは不定になるので、それを式⑤に
当てはめて矛盾を導いています。
993:１３２人目の素数さん
18/10/05 07:37:25.23 +iLWwrqr.net
>>963
何度でもいうが、「pは不定」などと言う命題はない
D=0 のとき Dp^2-D=0 がすべての p で成立するから、yが完全数のとき yの素因数となる p が何でもよい
とはならない
994:
18/10/05 07:43:25.51 /mfMsHqn.net
>>966
yが奇数の完全数ならばpはどうなるかという方程式で
D=0のとき、D(p^2-1)=0は全ての値で成り立つから
pは何でもいいのではないですか？
995:１３２人目の素数さん
18/10/05 07:51:40.37 n2ydST3E.net
さすが中学校で授業を全部寝て過ごした人の発想は異世界レベル
996:１３２人目の素数さん
18/10/05 08:00:59.52 GZo5UWE3.net
そもそもDを導くときにp=4q+1使ってんじゃないの？
p≠4q+1のときにはD=0とはならないでしょ？
997:１３２人目の素数さん
18/10/05 08:08:11.00 +iLWwrqr.net
>>967
＞yが奇数の完全数ならばpはどうなるかという方程式で
＞D=0のとき、D(p^2-1)=0は全ての値で成り立つから
＞pは何でもいいのではないですか？
「pは何でもいい」というのも単独の命題ではない
D(p^2-1)=0は全てのpで成り立つ
から
yが奇数の完全数は全てのpで成り立つ
を直接言うことはできない
yが奇数の完全数⇒D(p^2-1)=0 は
「yが奇数の完全数」が偽のとき成立する命題である。
p≠4q+1のとき「yが奇数の完全数」が偽となっても「yが奇数の完全数⇒D(p^2-1)=0」は真となり矛盾はない。
998:１３２人目の素数さん
18/10/05 08:35:05.61 qHvM5DjI.net
全員が同じ指摘をしているのに、何故１には認められないのか
何故まだ自分だけが正しいと思えるのか
999:１３２人目の素数さん
18/10/05 09:12:35.05 wD4OxM4l.net
「方程式から分かったことは全部命題にできるのではないですか？方程式からpは不定であることは分かりますよ？」
ってところだろ
1000:１３２人目の素数さん
18/10/05 09:38:30.94 Eiy45pTl.net
Dp^2 - D = 0 …①
と
p ≡ 1 (mod 4)…②
が矛盾してるか書き出してみればいいじゃん。
p ＼ D │… -2 -1 0 1 2 …
──┼───────
2 │… ✕ ✕ ✕ ✕ ✕ …
3 │… ✕ ✕ ✕ ✕ ✕ …
5 │… ✕ ✕ ◯ ✕ ✕ …
7 │… ✕ ✕ ✕ ✕ ✕ …
11 │… ✕ ✕ ◯ ✕ ✕ …
13 │… ✕ ✕ ✕ ✕ ✕ …
15 │… ✕ ✕ ◯ ✕ ✕ …
①と②両方みたすやついっぱいあるじゃん。
矛盾してないよ。
1001:
18/10/05 09:38:52.17 /mfMsHqn.net
>>968
それは高校
>>969
使っていません
>>970
方程式の解の解釈として納得できるものではないと思います
1002:１３２人目の素数さん
18/10/05 09:39:18.99 eaKM1RFk.net
１の高木時空では０以外の数は存在しない。
p を０以外の任意の数とする
↓
0 * p = 0 成立
↓
この方程式では p は不定
↓
よって矛盾
数は偶数０以外には存在しないことが証明された！
よって奇数は存在しない！
よって奇数の完全数も存在しない！
高木時空証明終わり
1003:１３２人目の素数さん
18/10/05 09:40:50.86 hzwSNszl.net
寝ぼけてた orz
15 │… ✕ ✕ ◯ ✕ ✕ …
は見逃して
1004:１３２人目の素数さん
18/10/05 09:41:11.56 hzwSNszl.net
11 │… ✕ ✕ ◯ ✕ ✕ …
も。
1005:
18/10/05 09:43:25.08 /mfMsHqn.net
>>972
＞yが奇数の完全数⇒D(p^2-1)=0 は
＞「yが奇数の完全数」が偽のとき成立する命題である。
この部分の証明はどうなるのでしょうか？
>>973
D=0のときはD(p^2-1)=0がp≠4q+1のときにも真になるというのが間違っているのではないかと
書いています
>>974
全くこの内容ではない
1006:１３２人目の素数さん
18/10/05 09:45:02.60 oZ6/SRm8.net
>>929を書いた人はどこいった？
1007:１３２人目の素数さん
18/10/05 09:47:19.67 qHvM5DjI.net
>>978
全員が同じ指摘をしているのに、何故１には認められないのか
何故まだ自分だけが正しいと思えるのか
1008:
18/10/05 09:49:39.44 /mfMsHqn.net
>>929
>>933
私が「pが不定」と書いたときは全て
「D=0のときD(p^2-1)=0」
となるから、D(p^2-1)=0の式が全てのpで成り立つ
ということを表していて、それを省略して書いているだけだ
1009:１３２人目の素数さん
18/10/05 09:50:41.01 Y3ZOmL0H.net
>>978
>>>973
>D=0のときはD(p^2-1)=0がp≠4q+1のときにも真になるというのが間違っているのではないかと
>書いています
どうゆうこと？
D=0 の列に◯と✕が交じるからダメってこと？
いや、矛盾とはあくまで
「両方みたすものがない」
であってそれ以外の意味はないよ？
D=0 の列に(0,2)、(0,3)、(0,7)、…と片方しか満たさないものが混じってるけど別にそれは矛盾の判定に影響しない。
両方みたすものが一組でもあれば、たとえその一組しかなかったとしても、矛盾ではない。
もうそれを認めないなら数学ではないんだけど？
1010:１３２人目の素数さん
18/10/05 09:50:52.12 4gM2npVv.net
p＝4q＋1の形じゃないと成立しない因数分解使ってなかったっけ？
この条件こんな風に使うんだと感心した覚えがあるんだが
1011:１３２人目の素数さん
18/10/05 09:51:15.24 eaKM1RFk.net
ID:l/2Oyrsb のファンで
ID:3k68Silz のアンチの人かよ
このスレもウォッチャーが増えたな
1012:
18/10/05 09:52:45.58 /mfMsHqn.net
>>982
p≠4q+1では奇数の完全数が存在しないから
奇数の完全数が存在するとすれば、その値はどうなるのかという方程式の解になっては
ならないということなんですけど。
数学では一つでも反例があったら、その命題(D=0かつD(p^2-1)=0)が成立する)が正しくない
のではないのですか？
1013:１３２人目の素数さん
18/10/05 09:54:11.73 qHvM5DjI.net
命題(D=0かつD(p^2-1)=0)が成立する)の反例があるのですか？
1014:
18/10/05 09:54:21.49 /mfMsHqn.net
>>985 訂正
×命題(D=0かつD(p^2-1)=0)が成立する)
〇命題(D=0かつD(p^2-1)=0が成立する)
1015:１３２人目の素数さん
18/10/05 09:55:15.89 qHvM5DjI.net
命題(D=0かつD(p^2-1)=0が成立する)の反例があるのですか？
1016:１３２人目の素数さん
18/10/05 09:55:18.03 zEjojLKf.net
>>985
ごめん何言ってるの？
何と何が矛盾してるの？
矛盾してる２つの主張の片方は Dp^2 - D = 0 だよね？
もう一つは何？
1017:
18/10/05 09:55:54.91 /mfMsHqn.net
>>986
p≠4q+1では奇数の完全数にならないのに、奇数の完全数があるとすれば
pはどうなるのかという方程式の解にはなり得ないから、p≠4q+1が解になるのが
反例です。
1018:
18/10/05 09:56:28.25 /mfMsHqn.net
>>989
>>990
1019:学術
18/10/05 09:56:49.25 EJopf/7a.net
偶然の乱数と奇数の計算づくの固め打ちならいずれにしろ完全数はないということになりはしないかなあ。
1020:学術
18/10/05 09:58:04.77 EJopf/7a.net
完全数といったって、定義があいまいで、簡単パターニスムに陥っている。
完全ということは時代遅れの穴を埋める様で、執着には値しない。
1021:１３２人目の素数さん
18/10/05 09:59:59.65 qHvM5DjI.net
>>990
日本語が下手くそすぎてよくわかんないんだけど、何が「奇数の完全数があるとすればpはどうなるのかという方程式の解にはなり得ない」の？
1022:
18/10/05 10:01:03.98 /mfMsHqn.net
>>994
日本語が読めないのでしょうか？p≠4q+1ではそのpに対応するyは奇数の完全数にはなりません。
1023:１３２人目の素数さん
18/10/05 10:02:07.43 qHvM5DjI.net
>>995
日本語が読めないのでしょうか？
>>990について、何が「奇数の完全数があるとすればpはどうなるのかという方程式の解にはなり得ない」のかという質問ですが
1024:
18/10/05 10:03:15.86 /mfMsHqn.net
>>996
>>995
1025:１３２人目の素数さん
18/10/05 10:04:23.29 wD4OxM4l.net
主語を略すのも>>1のわるい癖だよね
1026:１３２人目の素数さん
18/10/05 10:08:45.48 qHvM5DjI.net
>>997
>>996
あ、あとこのスレッドで最初から指摘されてる点も解決できず成長も見られないので、次スレは要らないですよ
このスレの住人が明らかに誤っているものを認めることはあり得ないですし、認められても何にもなりませんしね
1027:１３２人目の素数さん
18/10/05 10:12:08.07 wD4OxM4l.net
書いた人「私の文章は、読解力のある人なら読めて当然である」
読んだ人「彼の文章は、読解力のある私にも読めないので読めなくて当然である」
証明を書いた人「私の証明は、数学力のある人なら正しいと理解できる」
証明を読んだ人「彼の証明は、数学力のある私が間違っていると判断したので、間違っていて当然である」
1028:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 15日 19時間 59分 17秒
1029:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています