[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(23): 2021/10/02(土)21:09 ID:X8Zxjdm/(1/13) AAS
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ： Inter universal geometryとABC予想(応援スレ) （番号抜けだが実は59）
2chｽﾚ:math
詳しいテンプレは、下記旧スレへのリンク先ご参照
（手抜きです。）
Inter-universal geometry と ABC予想 (応援スレ) 52
2chｽﾚ:math
（参考）
Twitterﾘﾝｸ:math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
省9
903(1): 2021/11/05(金)07:12 ID:PpafSVAT(3/7) AAS
>>893
>> だから元は、・・{{{{{}}}}}・・となる。これは、右半分だけを見
>・・{{{{{}}}}}・・の元が・・{{{{{}}}}}・・なら正則性の公理に反する
"正則性の公理に反する"には、不同意だが
それはさておき、”Non-well-founded set theory”（下記）もあるから
百歩ゆずって、"正則性の公理に反する"としても、"正則性の公理"の外には存在しうるよ
外部ﾘﾝｸ:en.wikipedia.org
Non-well-founded set theory
Non-well-founded set theories are variants of axiomatic set theory that allow sets to be elements of themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation.
904(3): 2021/11/05(金)07:37 ID:PpafSVAT(4/7) AAS
>>897
>向きが逆じゃんｗ
それは、あんたの>>654の証明に締まりが無いからだよ
院試の答案としてみたら、対偶を証明するのか、はたまた背理法を使うか、謳わないと
もっと言えば、命題Pと命題Qとの同値を証明するとき
１．命題P→命題Q
２．命題Q→命題P
に分けて証明するよね
そして、普通はこの順だろ？
２を先に証明するなら、そう宣言しないと
省24
905(1): 2021/11/05(金)07:47 ID:PpafSVAT(5/7) AAS
>>898
(引用開始)
”＜ω”の左に項がなければ駄目じゃん
上昇列というだけなら、ωの左に”＜”を書く必要がない
つまり、ωの前者は必要ない
逆に、＜ωと書いてしまったら、＜の左の項が必要
君、ほんと数式の読み方も知らんねえ
(引用終り)
それ、独自説だよ
独自説でないというならば、一つで良いから、その説を書いてある文献を示せ！ｗ
省5
906: 2021/11/05(金)08:06 ID:j5fczyhM(8/23) AAS
>>904
>>向きが逆じゃんｗ
>それは、あんたの>>654の証明に締まりが無いからだよ
あれ、松坂和夫氏の証明だよｗ
「集合・位相入門」の解答欄見てごらん
>対偶を証明するのか、はたまた背理法を使うか、謳わないと
それ以前の誤りだがね
>命題Pと命題Qとの同値を証明するとき
>１．命題P→命題Q
>２．命題Q→命題P
省21
907: 2021/11/05(金)08:14 ID:j5fczyhM(9/23) AAS
>>904
>何をしているかというと、
>部分集合Mで最小元を持たないもの→(an)n∈Nなる無限長の降鎖の構成
>でしょ。
SET Aよぉ、おめぇ、まだ、自分が何を間違ったか分かってねぇの？
それって
任意の部分集合Mで最小元をもつ→降鎖条件を満たす (1)
じゃねえだろ？
(1)の証明は
(an)n∈Nなる無限長の降鎖 ∧ 任意の部分集合Mで最小元をもつ から矛盾を導く
省5
908(1): (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)08:19 ID:j5fczyhM(10/23) AAS
>>905
>>逆に、＜ωと書いてしまったら、＜の左の項が必要
>>君、ほんと数式の読み方も知らんねえ
>それ、独自説だよ
>独自説でないというならば、一つで良いから、その説を書いてある文献を示せ！
今さら何言っても無駄無駄
高校１年で習う対偶すら間違う中坊が、なにイキってんのｗｗｗｗｗｗｗ
そんな中坊にこの歌をプレゼントしてやる
動画ﾘﾝｸ[YouTube]
なんか、これじゃない感、満載ｗｗｗ
909: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)08:25 ID:j5fczyhM(11/23) AAS
ま、A→B、そして ¬B→¬Ａ こと
¬A∨Bの否定はA∧¬Bだって覚えとこうな
万年１５の中坊 SET Aよぉｗｗｗｗｗｗｗ
動画ﾘﾝｸ[YouTube]
やっぱこれだなｗ
910(1): 2021/11/05(金)08:39 ID:PpafSVAT(6/7) AAS
>>902
>正しくは
>「Q→Pを、背理法で
> Pの否定とQが矛盾する
> ということの証明」だろｗ
ああ、そうだったね
失礼しました
眠かったし、お粗末でした
混乱させられてしまっった
関連事項も訂正します ｍ（＿＿）ｍ
省4
911: 2021/11/05(金)08:49 ID:j5fczyhM(12/23) AAS
>>910
＞眠かったし
なんか言い訳そればっかだね（>>837参照）
永眠しろよ １５の中坊
数学板の書き込み止めて、高校数学からやり直せ（マジ）
912: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)08:56 ID:j5fczyhM(13/23) AAS
万年１５歳のSET Aは、数学的帰納法を
「無限長のModus Ponens」
と誤解してる可能性大
１．Modus Ponens
A と A→B から B が導ける
２．数学的帰納法
P(0) と ∀n.P(n)→P(n+1) から ∀n.P(n) が導ける
３．ニセ数学帰納法ｗ
P(0) と ∀n.P(n)→P(n+1) から P(∞) が導ける
もちろん、３．は成り立たないｗ
913(2): 2021/11/05(金)09:45 ID:RruEZRug(2/2) AAS
>>903
正則性の格子点に反するのだから無限シングルトンなるもの使うならもはやZFは使えない
じゃあツェルメロは
「順序数はシングルトンで作るべきだ、無限の順序数も無限シングルトンで作るべきだ、そのためにはZFの公理の一つや二つ犠牲にしても仕方ない」とか言ったのかね？
どこにそんな資料がある？
それとも天才ツェルメロがこんな基本的な事に気づかなかったなどという事があり得ると思うかね？
こんなに簡単に導出できる矛盾に気づけないのは自己愛性人格異常で発達障害起こしてるどっかのパープーだけだよwwww
914: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)10:27 ID:j5fczyhM(14/23) AAS
>>913
「正則性の格子点」ってなんだ？
「正則性の公理」のつもりかな？
>じゃあツェルメロは
>「順序数はシングルトンで作るべきだ、
> 無限の順序数も無限シングルトンで作るべきだ」
>とか言ったのかね？
言うわけない SET Aが勝手に妄想してるだけ
915(2): (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)10:41 ID:j5fczyhM(15/23) AAS
無限順序数でも後続順序数ならシングルトンになる
シングルトンにならないのは極限順序数の場合だけ
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
Ｗを1つの整列集合とする。
ａをＷの１つの元とするとき、
ａよりも小さいようなＷの元全体の集合を、
Ｗのaによる切片といい Ｗ<ａ>で表す
Ｗ<ａ>={ｘ∈Ｗ｜ｘ＜ａ｝
ａ＝min Wのとき、そのときに限りW<ａ>＝{}
また ａがＷの中で直前の元ａ＊を持つことは、
省6
916(1): 2021/11/05(金)10:48 ID:jGzj8lUT(1/12) AAS
>>913
>正則性の格子点に反するのだから無限シングルトンなるもの使うならもはやZFは使えない
外部ﾘﾝｸ:ja.wikipedia.org
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名基礎の公理（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。
外部ﾘﾝｸ:en.wikipedia.org
Zermelo?Fraenkel set theory
History
In 1908, Ernst Zermelo proposed the first axiomatic set theory, Zermelo set theory.
However, as first pointed out by Abraham Fraenkel in a 1921 letter to Zermelo, this theory was incapable of proving the existence of certain sets and cardinal numbers whose existence was taken for granted by most set theorists of the time, notably the cardinal number ｱﾚﾌ _ω and the set {Z_{0},P(Z_{0}),P(P(Z_{0})),P(P(P(Z_{0}))),...}, where Z_{0} is any infinite set and P is the power set operation.[2]
Moreover, one of Zermelo's axioms invoked a concept, that of a "definite" property, whose operational meaning was not clear.
省4
917(2): 2021/11/05(金)10:49 ID:jGzj8lUT(2/12) AAS
>>916
つづき
上記ツェルメロが、1908年に提案したシングルトンを使う構成では、正則性公理は含まれて無かった
1922年に、Fraenkel and Thoralf Skolemが改良した公理系にも、正則性公理は含まれて無かった
Fraenkel and Thoralf Skolemが、シングルトンの扱いをどうしたか、知らない
なお、現在標準のノイマン構成は、1922年だよ（下記）
可算無限シングルトンが、存在しえないという数学的根拠が不明確じゃね？
厳密な証明もないし
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
省10
918: 2021/11/05(金)10:51 ID:jGzj8lUT(3/12) AAS
>>917 訂正
なお、現在標準のノイマン構成は、1922年だよ（下記）
↓
なお、現在標準のノイマン構成は、1923年だよ（下記）
”2.^ von Neumann 1923”な
919(1): (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)11:00 ID:j5fczyhM(16/23) AAS
>>917
＞可算無限シングルトンが、存在しえないという数学的根拠が不明確じゃね？
順序数がシングルトンだったら、前者が存在する後続順序数になってしまうんだが
数学としてこれ以上明確な根拠はない
万年１５歳の中坊SET Aは高校数学?から復習しろｗ
920(1): (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)11:05 ID:j5fczyhM(17/23) AAS
ノイマン構成の場合、順序数が後続順序数でも極限順序数でも
「自身より小さい順序数の集合」という点では同じである
ただ異なるのは>>915でも書いたように最大元が存在するか否か
ωの場合、ω未満の順序数の最大元が存在しないので、
万年１５歳の中坊SET Aの方法ではシングルトンが作れない
921(4): 2021/11/05(金)11:56 ID:jGzj8lUT(4/12) AAS
>>904 補足
折角だから纏めておくね
>>654より
「降鎖条件を満たすことと、整礎であること、
つまり任意の空でない部分集合が極小元をもつことは同値である。
これは極小条件 (minimal condition) とも呼ばれる。」
ここ、>>887より
P:降鎖条件を満たすこと
Q:整礎であること、つまり任意の空でない部分集合が極小元をもつこと
として、
省23
922(1): 2021/11/05(金)11:57 ID:jGzj8lUT(5/12) AAS
>>921
つづき
これならば、題意にそった解答だ
ここで、>>663にある>>655の解答を見ると、証明の筋が不明確だし
かつ、出題の誘導（その定理を利用して）を、無視している
試験の答案は、きちんと誘導に沿って、基本的なところから書いて
（それは基本をしっかり勉強しているというアピールでもある）
満点でなくとも、部分点でも貰って、全体として合格点に届くように
5問出たとして、3問完解で、2問部分解でも仕方ない。手も足もでなければ、定義でも書いておけば、書き賃くらいくれるかも
時間があれば、定義からきちんと書くのが良い。勿論正確にね。間違ったら減点だが、定義がしっかり書けるように覚えておくのは基本でしょ
省3
923(1): 2021/11/05(金)12:57 ID:jGzj8lUT(6/12) AAS
>>921 補足
そうそう、大事なことを落としていた
>>921の証明をもって、下記珍説
再録>>837 珍説2（>>363より）の下記
1)「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
2)「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」
を救うことはできない
珍説は、”＜上昇列”しか述べていないから
降鎖条件は、珍説とは無関係です
924(1): 2021/11/05(金)13:00 ID:jGzj8lUT(7/12) AAS
>>919
>順序数がシングルトンだったら、前者が存在する後続順序数になってしまうんだが
証明がない
ωには、前者は存在しないのが基本
基本を外した批判は、無意味
>>920
>ノイマン構成の場合、順序数が後続順序数でも極限順序数でも
>「自身より小さい順序数の集合」という点では同じである
自然数などの順序数構成と、順序数が構成された後の順序数を添え字とした集合族の構成とを混同している
シングルトンの加算無限版は、後者によるよ
省11
925: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)15:39 ID:j5fczyhM(18/23) AAS
>>921-922
最小値原理が、数学的帰納法の対偶ってこともわからんかった
万年１５歳の中卒君のいいがかりは全部却下な
ま、高校生じゃ、述語論理式とかわかんねぇかｗ
>>746
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
まず、ド・モルガンの法則と対偶の法則と背理法を理解しろよな
おまえ、そこから全然訓練できてないｗ
例えば、数学的帰納法
P(0)∧∀m.P(m)⇒P(s(ｍ))⇒∀n.P(n)
省8
926(2): 2021/11/05(金)15:40 ID:jGzj8lUT(8/12) AAS
>>921 補足の補足
（簡単に自然数Nで考えるが、下記の多くは一般の整列集合で成り立つ）
１）
直感的理解として>>865より
”降鎖列の始まりとなるa_1は、ある自然数ｎだから a_1＝ｎで、
最小元は0又はそれ以上
自然数は、＞に対し全順序だから、列の長さはｎ+1以下で有限に過ぎない”
と言える
それは、松坂和夫氏の「集合・位相入門」>>783より
「順序集合Aの元の列(a_n)n∈Nで、
省9
927(2): 2021/11/05(金)15:41 ID:jGzj8lUT(9/12) AAS
>>926
つづき
２）
さらに、直感的理解として
もし、無限降下列があったとして、
この列に最小元があれば、上記から列の長さは有限にならざるをえない
よって直感的にも、無限降下列は最小元を持たず、無限に降下するべきもの
３）
また、空でない部分集合が最小限を持たないならば、それは無限集合であり
全順序で、左に大きいものを取り、順に右に小さいものを順に並べると、
省9
928: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)15:51 ID:j5fczyhM(19/23) AAS
>>923
>珍説は、”＜上昇列”しか述べていないから
いや、”＜ω”と書いたことで、ωから降下可能と条件づけてる
ポイントは極限順序数だけで、ωは最小の極限順序数だから
そこだけ押さえておけばいい
逆にいえば、万年１５歳の中卒君は、
極限順序数が直前の順序数を持たないことが分かってない
だからいつまでもシングルトンに固執する
>>924
>>順序数がシングルトンだったら、
省21
929: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)15:59 ID:j5fczyhM(20/23) AAS
>>926
>>927
＞空でない部分集合が最小限を持たないならば、それは無限集合であり
それは>>654の証明の後半部分な 分かってるか？
で、ついでにいうと逆、つまり
「空でない部分集合が無限集合なら、最小元をもたない」
はいえないぞｗ
＞全順序で、左に大きいものを取り、順に右に小さいものを順に並べると、
＞最小限を持たないから、常により小さいものが取れるので、無限降下列が構成できる
「全順序集合Ｍが無限集合なら、無限降下列ができる」
省2
930: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)16:02 ID:j5fczyhM(21/23) AAS
>>927
＞人の日常の日常言語の思考は一階述語限定ではない
命題論理レベルの対偶もＰ⇒Ｑの否定も分からん
万年１５歳の中卒を、数学が理解可能な「人」と認めたくねえなあ
どうみてもエテ公だろｗ
「自称「人」のエテ公の日常言語からの直感的理解」が
いかにウソッパチか思い知っただろ？
高校数学?からやり直すか、さもなくば数学板から去れｗ
931(5): 2021/11/05(金)16:18 ID:jGzj8lUT(10/12) AAS
>>908
>>>逆に、＜ωと書いてしまったら、＜の左の項が必要
>>>君、ほんと数式の読み方も知らんねえ
>>それ、独自説だよ
>>独自説でないというならば、一つで良いから、その説を書いてある文献を示せ！
>
>今さら何言っても無駄無駄
ほらほら
お得意の論点ずらしが始まったよ
文献ないよね
省21
932(2): 2021/11/05(金)16:19 ID:jGzj8lUT(11/12) AAS
>>931
つづき
ああ、こんな発言もあったね
2chｽﾚ:math
513 名前：１３２人目の素数さん[sage] 投稿日：2021/06/20(日) 11:59:27.11 ID:aiCb8/PE
>>510
＞{0,1,2,...,ω}に全順序関係「＜」が定まってるとも普通に読めるよ。
読み方がオカシイ
･･･＜ωの左に項がなかったら、＜は二項関係として意味をなさない
そんな根本的なことも分からない人には数学は無理 諦めな
省12
933(1): 2021/11/05(金)16:23 ID:jGzj8lUT(12/12) AAS
>>932 追加
＜結論＞
おサルさん、おれも低レベルだけどｗ
あんたも、低レベルだよｗｗ
934(1): (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)16:31 ID:j5fczyhM(22/23) AAS
>>931
>自分は、「＜ωをこういう定義で使っています」と言えば良かった
ん？＜は二項関係！とわめいたのは君だけど？
二項関係なら当然左の項があるけど？
むしろ、「左側にある任意の項があてはまる」というのが独自解釈だけど
独自解釈したいなら、記号書き分けないと！
>>932
>二項関係が理解できてないとか
それ中卒の君じゃんｗ
>無限列 {0,1,2,...,ω}が理解できてないとか
省8
935: (ﾉ∀`)ｱﾁｬｰ ◆y7fKJ8VsjM 2021/11/05(金)17:08 ID:j5fczyhM(23/23) AAS
>>933
>おれも低レベルだけど
最低レベルだなｗ
九九を覚えられない小学生は掛け算できないじゃん それの論理版
命題論理の初歩も分かってないんじゃ数学書読めないじゃん
定理の命題を論理式に書き直せないし、証明の推論も理解できないじゃん
「小二の壁」ならぬ「高一の壁」な
しかし、論理って試験でわざわざ問われないから誤魔化せるんだよな
だから文盲ならぬ論盲が結構理工系にも入ってきちゃう これ致命的
936(1): 2021/11/05(金)23:38 ID:PpafSVAT(7/7) AAS
次スレ立てた
Inter-universal geometry と ABC予想 (応援スレ) 61
2chｽﾚ:math
937(3): 2021/11/06(土)00:03 ID:8kduIXYt(1/9) AAS
>>934
(引用開始)
>自分は、「＜ωをこういう定義で使っています」と言えば良かった
ん？＜は二項関係！とわめいたのは君だけど？
二項関係なら当然左の項があるけど？
むしろ、「左側にある任意の項があてはまる」というのが独自解釈だけど
独自解釈したいなら、記号書き分けないと！
(引用終り)
哀れとしか言い様がないな
これで、大学数学科修士卒かよ
省20
938(2): 2021/11/06(土)00:15 ID:8kduIXYt(2/9) AAS
>>937 補足
そりゃ、二項関係で、a<b から出発するよね
だが、無限列を扱わないといけないよね、大学数学としてはねｗｗｗ
で、自然数の無限列を扱うとき、「＜ω」と書いたら、左には具体的な自然数は入らないよ、当然ながら
で、「＜ω」は記号の濫用（下記）かもしらんが、普通は自然な概念の拡張じゃね？
いちいち、記号を書き分ける意味がどこにある？ 煩わしいし、複雑怪奇になるだけじゃんかよ？ それ理解できない？
だから、そんなことする文献は、世の中に無いって！ｗ
外部ﾘﾝｸ:ja.wikipedia.org
記号の濫用
939(2): 2021/11/06(土)04:59 ID:N31Wd4Lo(1/3) AAS
セタって人として軸がブレているよな
自分自信じゃマトモに推論しないでコピペできる情報を掻き集められるだけ掻き集めて
情報と情報を組み合わせ、推論ではなく憶測で思考し主張を展開していってばかりいる｡
だから主張の中味も推論は一切なく素人の憶測全開かつ自己都合上で最も楽観できる内容しかない｡
「辛い物を食べたら冷水を呑めば良い」と言ってる素人思考と一緒｡
上っ面と上っ面の組み合わせばかりの憶測ばかりで、中味と中味の掛け合わせを講じてないから
「辛い物を食べたら冷水を呑めば良い」等という苦しみを増大する愚行に至る愚考ばかりしている｡
中味真相実態（専門的領域）に踏み要らずに外装宣伝文句（素人向説明）ばかりで
情報と情報との憶測で珍論ぶつ素人の域を出ず、事実と事実との推論で議論する専門家の域に達しない｡
940(2): 2021/11/06(土)05:12 ID:N31Wd4Lo(2/3) AAS
素人が憶測で予想を述べ連ねるだけならまだ可愛いが
セタの悪い所は素人の憶測で予想を述べ連ねて更に断言までする事だな｡
こういう輩を、世間は「素人が何を偉そうに専門家みたいな分かってる風の口を聞いてるんだ此の妄想バカは？」と言う｡
情報を食い漁るだけ食い漁って素人の憶測しかしないなら『分かってる風の口の聞き方』(=断言)するな､
「分かってる風の口の聞き方」するなら専門的な推論を組み立てて見せてからにしろ｡
然も無くばお前はデマ飛ばしの出任せ屋だ。また、そんな出任せが御意見ハッタリぶっこいたら、ソイツは張ったり屋だ｡
出任せも張ったりもまた、嘘となる。偶然正しかった場合でもマグレ当たりの見做し依然として嘘の扱い｡
941(2): 2021/11/06(土)05:22 ID:N31Wd4Lo(3/3) AAS
セタは猪口才千万にネット情報を掻き集めて推論はせず憶測ばかりで築いた妄想を主張するペテン師です､
風説の流布ならぬ実説の流布｡
実説の流布も名誉毀損には成るが、セタの個人情報に抵触もしないし事業営業に抵触もしないので差し障り無し｡
むしろセタが行ってる憶測の陳列こそ未就学児や門外漢をミスリードし
RIMSを誇示しIUTを虚飾で塗りたくる行為で百害あって一利無し｡
942: 2021/11/06(土)06:11 ID:JjkVf1Pv(1/46) AAS
>>936 懲りないヤツだね
943: 2021/11/06(土)06:14 ID:JjkVf1Pv(2/46) AAS
>>937
>二項関係さえ、ちゃんと理解できない頭
それ、あんたじゃんｗ
P.S.
>日本と日本を恨む人
「日本と日本」ってなんだ？ｗ
944: 2021/11/06(土)06:42 ID:JjkVf1Pv(3/46) AAS
>>938
>自然数の無限列を扱うとき、「＜ω」と書いたら、
>左には具体的な自然数は入らないよ、当然ながら
当然？あんた、ほんとにそう思ってた？
整列順序の定義も知らず、
ω>ω-1>ω-2>…
ってなってると漫然と思ってたんじゃね？ｗ
>で、「＜ω」は記号の濫用かもしらんが、
>普通は自然な概念の拡張じゃね？
記号の濫用は危険なんだよ
省2
945: 2021/11/06(土)06:47 ID:JjkVf1Pv(4/46) AAS
>>939
>セタって人として軸がブレているよな
そもそも軸がないｗ
一昨日夜の対偶に関する初歩的ミスでそれがよくわかった
単に「定義を理解しない」とかいうレベルの問題じゃなかった
そもそも「論理を理解できてない」という根の深い問題
そりゃ高校数学?のレベルから分かってなかったら
大学数学の教科書なんか１ページも読めんわ
そもそも、数学板に書くのはもちろん、数学板を読むのも無理
946(5): 2021/11/06(土)06:53 ID:JjkVf1Pv(5/46) AAS
>>940
＞セタの悪い所は素人の憶測で予想を述べ連ねて更に断言までする事だな｡
そもそも算数的な理解で止まっちゃってるからな
義務教育っていうか小学生レベルｗ
「ガロア理論」にこだわってるのも、
「なんで５次以上の方程式の解の公式がないんだ！けしからん
この俺様が新しい公式を見つけ出してやる、みとけ」
みたいな小学生的なイキがりなんでしょｗ
実際にはガウスが証明したように必ず複素数解はあるし
数値解析法なんていくらもある
省2
947: 2021/11/06(土)06:58 ID:JjkVf1Pv(6/46) AAS
>>941
>セタはネット情報を掻き集めて推論はせず
>憶測ばかりで築いた妄想を主張するペテン師
推論をしないんじゃなくて、できないのよ
論理が理解できないから
セタは高校数学?からやり直せって
いいテキストもあるぞ マセマとか
外部ﾘﾝｸ:www.mathema.jp
「偏差値40前後の数学アレルギーの方でも、
無理なく楽しく口語調の講義形式で、
省2
948: 2021/11/06(土)06:59 ID:JjkVf1Pv(7/46) AAS
朝はここまで
949(1): 2021/11/06(土)07:45 ID:8kduIXYt(3/9) AAS
>>939-941
ID:N31Wd4Lo氏は、基礎論廃人かい？
私は、名前の議論はしない。だれか第三者に迷惑を掛ける可能性があるから
ところで、下記”必死チェッカーもどき”を見ると
夜中の1時から明け方5時にかけて、Total 5投稿
かつ、”雑談はここに書け！【５９】”で、高木氏相手の投稿
この行動パターンから、ほぼ基礎論廃人確定か
おっさんな、おれとか高木氏とかを相手しているのが、お似合いじゃね？
「定義！」と叫ぶしか能が無い人よ
投稿論文一つない おっさんが、プロ数学者きどりで、夜中から一日中5ｃｈを徘徊する
省30
950: 2021/11/06(土)07:51 ID:JjkVf1Pv(8/46) AAS
>>949
>私は、名前の議論はしない。
>だれか第三者に迷惑を掛ける可能性があるから
安心しなよ
君みたいな中卒５ｃｈ廃人に直接会いたいなんて誰も思わないから
951(1): 2021/11/06(土)07:56 ID:mYDBYhC1(1) AAS
まだやってて笑う
952: 2021/11/06(土)08:01 ID:JjkVf1Pv(9/46) AAS
中卒５ｃｈ廃人がイキってる限り続くよ（苦笑）
953: 2021/11/06(土)08:03 ID:JjkVf1Pv(10/46) AAS
中卒５ｃｈ廃人に捧げる歌
動画ﾘﾝｸ[YouTube]
♪盗んだコピペでイキり出す 行き先も解らぬまま
暗い夜のとばりの中へ
誰にも詰られたくないと 逃げ込んだこの夜に
自由になれた気がした 15の夜
954: 2021/11/06(土)08:07 ID:ZPvwwdxW(1/4) AAS
私の証明は全て私が書いたものであり、他の人の研究が入っているのはFortune予想の
素数階乗不等式を証明するときにDusartの不等式を使っているだけ
しかも、ちゃんと引用していると明示している
955(2): 2021/11/06(土)08:24 ID:JjkVf1Pv(11/46) AAS
>>957
高木さんですか？
お💊 飲んでますか？
何飲んでますか？
エビリファイ？ レキサルティ？
おだいじに
956: 2021/11/06(土)08:46 ID:JjkVf1Pv(12/46) AAS
SET A君のための論理学 １
・A⇒B とは ¬A∨B のこと
したがって
・¬B⇒¬A とは ¬¬B∨¬A のことで、
¬¬BはBと同じだから、B∨¬A のこと
・A∨BとB∨Aは同じだから、
¬A∨BもB∨¬Aと同じで
A⇒Bと¬B⇒¬Aは同じ
957(1): 2021/11/06(土)08:50 ID:JjkVf1Pv(13/46) AAS
SET A君のための論理学 ２
・¬（A∨B）は¬A∧¬B と同じ
・A⇒Bは、¬A∨Bであるから
¬（¬A∨B）は ¬¬A∧¬B すなわち A∧¬B と同じ
・つまり、A∧¬Bから矛盾を導けば、背理法によりA⇒Bを証明できる
958: 2021/11/06(土)08:54 ID:JjkVf1Pv(14/46) AAS
SET A君のための論理学 ３
・¬（A∧B）は¬A∨¬B と同じ
・¬（A∧¬B）は ¬A∨¬¬B すなわち ¬A∧B と同じであるから
¬（A∧¬B）は A⇒B そして ¬B⇒A と同じ
959(2): 2021/11/06(土)09:07 ID:JjkVf1Pv(15/46) AAS
SET A君のための論理学 ４
(A∧(A⇒B))⇒B というが 実際には
(A∧(A⇒B))⇒A∧B である
同様に
(A∧(A⇒B)∧(B⇒C))⇒C というが 実際には
(A∧(A⇒B)∧(B⇒C))⇒A∧B∧C である
そして、数学的帰納法が云わんとしていることは
(A(0)∧(A(0)⇒A(1))∧(A(1)⇒A(2))∧･･･)
⇒A(0)∧A(1)∧A(2)∧･･･
であって、
省4
960(1): 2021/11/06(土)09:15 ID:8kduIXYt(4/9) AAS
>>938 補足
まず、定義からｗ
降鎖（降下列）の定義 松坂和夫氏の「集合・位相入門」>>783
「順序集合Aの元の列(a_n)n∈Nで、
a_1>a_2>…＞a_n>…
となるものをAにおける降鎖という」
これを分解すると
１．集合の元を、左から右へ並べる
２．並べた元にn∈Nの番号付けをする
３．結果、a_1,a_2,…,a_n,… の列ができる
省26
961(1): 2021/11/06(土)09:16 ID:8kduIXYt(5/9) AAS
>>951
＞まだやってて笑う
同意
アホの二人の相手も、疲れるけどなｗ
962(1): 2021/11/06(土)09:24 ID:ZPvwwdxW(2/4) AAS
>>955
私は病気ではない、私に病気のレッテル張りをしている方が病気
これは歴史的に確定している事実
人類が未来永劫に誤解し続けるのかは知らないが
963(1): 2021/11/06(土)09:24 ID:8kduIXYt(6/9) AAS
>>955
>何飲んでますか？
>エビリファイ？ レキサルティ？
下記ね、統合失調症の治療
おサルさんは、この手の薬に 異常に詳しいと思う
自分も、お世話になっているのだろうね
(参考)
外部ﾘﾝｸ[cgi]:www.rad-ar.or.jp
「くすりのしおり」
商品名：
省9
964(1): 2021/11/06(土)09:25 ID:ZPvwwdxW(3/4) AAS
どうでもいい論理記号の式のコピーw
965: 2021/11/06(土)09:29 ID:JjkVf1Pv(16/46) AAS
>>960
>さて、自然数N中では、無限降鎖が作れない
うん、でもあんた、それみんなからいわれてやっときづいたんだろ？
>その原因は、番号付けにある
>もし、番号付けが無ければ
>1,2,3・・,ω を逆に並べて
>ω,・・,3,2.1 としてかまわない
なんだこいつ 今度は番号付けを否定しちゃったよｗ
>ω>・・>3>2>1”は、1番からの番号付けが不可だ
>よって、繰り返すがN中 上昇列は可、降鎖（降下列）は不可
省13
966(1): 2021/11/06(土)09:32 ID:JjkVf1Pv(17/46) AAS
>>962
ごめん 高木さん本人が病気でない、とおもっても
幻聴が聞こえちゃうのは病気なんだ
だれもあなたが病気にかかってることを責めてないよ
だから治療に専念してね（心からの言葉）
967(1): 2021/11/06(土)09:34 ID:JjkVf1Pv(18/46) AAS
>>963 ん？私は飲んでないよ 幻聴聞こえないし
あなたは薬飲んでも治らないよ
自分が論理の初歩も理解してないってことに気づこうね
で、高校数学?から復習すること わかった？
968: 2021/11/06(土)09:35 ID:JjkVf1Pv(19/46) AAS
>>964 そうね まああれは中卒5ch廃人 SET A君の教材だから
969: 2021/11/06(土)09:42 ID:JjkVf1Pv(20/46) AAS
>>961
>アホの二人の相手も、疲れるけどな
じゃ、やめたら？ｗ
それにしても、SET A君がまさか
高校数学?程度の論理すら理解してない
とは思わんかったよ
日本の学校教育には重大な欠陥があるかもな
970: 2021/11/06(土)10:53 ID:JjkVf1Pv(21/46) AAS
SET A君は、なぜ無限公理が必要なのか理解できていない
・{}は集合である
・Sが集合ならS∪{S}は集合である
ここから
0={}
1={{}}
2={{},{{}}}
･･･
などが全て集合であることが示せる
しかしこれらをすべて要素とする集合が存在する
省3
971(1): 2021/11/06(土)12:31 ID:ZPvwwdxW(4/4) AAS
>>966
数学上の未解決問題を何問も解決するというと、それができない連中から嫌がらせを受ける
ただそれだけ
>>>967
何故私がSetAなのだろうか、別人じゃないの
972: 2021/11/06(土)13:16 ID:JjkVf1Pv(22/46) AAS
>>971
問題解決の件はここではしないとして
>何故私がSetAなのだろうか
誰もそんなこといってないよ 安心して
973: 2021/11/06(土)13:54 ID:JjkVf1Pv(23/46) AAS
>>959
ーーーーーーーーーーーーーーーーーーーーー
数学的帰納法が云わんとしていることは
(A(0)∧(A(0)⇒A(1))∧(A(1)⇒A(2))∧･･･)
⇒A(0)∧A(1)∧A(2)∧･･･
ーーーーーーーーーーーーーーーーーーーーー
つまり、対偶をとれば
¬A(0)∨¬A(1)∨¬A(2)∨･･･
⇒(¬A(0)∨(A(0)∧¬A(1))∨(A(1)∧¬A(2))∨･･･)
974: 2021/11/06(土)14:03 ID:JjkVf1Pv(24/46) AAS
テンプレにツッコミ １
>>1
>IUTが正しいことは、99％確定です。
箱入り無数目の戦略が成功することも、99％確定ですｗ
975: 2021/11/06(土)14:07 ID:JjkVf1Pv(25/46) AAS
テンプレにツッコミ 2
>>4
>ここでは、大人の議論をしましょうね
大人の議論とは
・「無限シングルトンが集合として存在する」
というトンデモ主張とそれに対する誤りの指摘の応酬
・トンデモ主張の主による、まさかの「対偶の誤解」とその指摘の応酬
1のいう大人って中学卒業程度らしい・・・
976: 2021/11/06(土)14:13 ID:JjkVf1Pv(26/46) AAS
テンプレにツッコミ 3
>>5
>“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
「アナーキスト」のところを「パトリオット」に置き換えると、まさに1のことｗ
>>6
まさに盲目的なパトリオットそのものの発言
実にイタイタシイ
ちなみに「維新」ではなく「自民党」支持者らしいですね
どっちも大して変わらないですけどね
>>7 二度書いてますね 完全に頭に血が上ってますねｗ
977: 2021/11/06(土)14:15 ID:JjkVf1Pv(27/46) AAS
テンプレにツッコミ 4
>>8-13
相変わらずわけもわからずリンク張りまくりコピペしまくりですね
マジで頭悪そう・・・
978(1): 2021/11/06(土)14:18 ID:JjkVf1Pv(28/46) AAS
新スレに対する早速の反応
１３２人目の素数さん2021/11/06(土) 13:31:00.17ID:36fx/MEI
2chｽﾚ:math
ーーーーーー
二度と来るな
ーーーーーー
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
979: 2021/11/06(土)14:28 ID:JjkVf1Pv(29/46) AAS
>>14-17 に追加
SET A ここが分かってない
５．論理について
・対偶がわかってない
A⇒Bの対偶は¬A⇒¬Bとのたまうｗ(>>887 >>902参照）
・数学的帰納法がわかってない
P(0)およびP(n)⇒P(n+1)から、P(∞)が言える！と大誤解
無限に関する諸々の誤解の源泉！！！
980: 2021/11/06(土)14:33 ID:JjkVf1Pv(30/46) AAS
>>18
ーーーーーーーーーーーーーーーーーーーーー
基礎ができてない人がいきなり数学書読んでも
そもそも正しく読めるわけがないのである
「集合と位相」から勉強しなおしたほうがいい
ーーーーーーーーーーーーーーーーーーーーー
実はもっとひどかったｗ
高校数学?の「命題と証明」からやり直したほうがいい
981(2): 2021/11/06(土)16:04 ID:8kduIXYt(7/9) AAS
>>931
>再録>>837 珍説2（>>363より）の下記
> 1)「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
> 2)「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」
外部ﾘﾝｸ:nekodamashi-math.blog.ss-blog.jp
ねこ騙し数学
第２０回 順序型 [集合論入門] 2018-05-09
自然数全体の集合Nの順序型をω、整数全体の集合Z、有理数全体の集合Qと実数全体の集合Rの順序型をそれぞれγ、η、λで表すことがある。
(引用終り)
（>>818より）
省21
982(1): 2021/11/06(土)16:44 ID:JjkVf1Pv(31/46) AAS
>>981
＞この部分が有限になって、全体は有限列になる？
君、列の項が有限個だと言ってる？
ご冗談でしょうｗ
983(1): 2021/11/06(土)17:46 ID:6Gn5lsyi(1) AAS
完全に誤読wwwwwwwww
984(1): 2021/11/06(土)18:42 ID:JjkVf1Pv(32/46) AAS
>>981
> < の関係で 全部が繋がっている
x<1 となる <の直左のxは？
x<2 となる <の直左のxは？
書けないよね
<でつながってないよね？
「<でつながる」とは
全ての<について左右の項が記載できることだよ？
985(1): 2021/11/06(土)18:57 ID:8kduIXYt(8/9) AAS
>>982-984
＜珍説＞
>>835 珍説2（>>363より）の下記を見る
1)「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
2)「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」
有理数Ｑ、実数Ｒ
全順序です、通常の ＜ の二項関係で
有理数Ｑは、可算無限
実数Ｒは、連続無限
特に、実数Ｒでは、ある実数ｒのすぐ隣は書けません
省11
986(1): 2021/11/06(土)19:08 ID:8kduIXYt(9/9) AAS
>>978
良い情報を貰ったよ（下記）
いよいよ、日本数学会もIUTを認めだしたか
Inter-universal geometry と ABC予想 (応援スレ) 61
2chｽﾚ:math
14 自分：１３２人目の素数さん[sage] 投稿日：2021/11/06(土) 16:16:53.74 ID:8kduIXYt
ありがと
良いこと書いているね
数学 74巻1号 星裕一郎：遠アーベル幾何学の進展 か
12月か1月には出るかな
省17
987: 2021/11/06(土)21:32 ID:JjkVf1Pv(33/46) AAS
>>985
>”「<でつながる」とは
> 全ての<について左右の項が記載できることだよ”ならば
>＜ の二項関係による列は、可算にしかならない
だからいってるじゃん
極限順序数の左に安易に＜を書いたら駄目だってｗ
988: 2021/11/06(土)21:33 ID:JjkVf1Pv(34/46) AAS
>>986
>数学 74巻1号 星裕一郎：遠アーベル幾何学の進展
☆はIUTから逃げたね
SET Aも、自分が理解できない数学から逃げたら？ｗｗｗ
989: 2021/11/06(土)21:34 ID:JjkVf1Pv(35/46) AAS
さて、そろそろ埋めようか
990: 2021/11/06(土)21:35 ID:JjkVf1Pv(36/46) AAS
10
991: 2021/11/06(土)21:35 ID:JjkVf1Pv(37/46) AAS
9
992: 2021/11/06(土)21:35 ID:JjkVf1Pv(38/46) AAS
8
993: 2021/11/06(土)21:35 ID:JjkVf1Pv(39/46) AAS
7
994: 2021/11/06(土)21:35 ID:JjkVf1Pv(40/46) AAS
6
995: 2021/11/06(土)21:36 ID:JjkVf1Pv(41/46) AAS
5
996: 2021/11/06(土)21:36 ID:JjkVf1Pv(42/46) AAS
4
997: 2021/11/06(土)21:36 ID:JjkVf1Pv(43/46) AAS
3
998: 2021/11/06(土)21:36 ID:JjkVf1Pv(44/46) AAS
2
999: 2021/11/06(土)21:36 ID:JjkVf1Pv(45/46) AAS
1
1000: 2021/11/06(土)21:36 ID:JjkVf1Pv(46/46) AAS
0！
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 35日 0時間 27分 33秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.197s*