21/12/21 02:39:35.26 b4QlJurA.net
数学者じゃなけりゃ使えりゃ何でもいいよ
定義がどうだの理解がどうだの数学者の道楽だよ道楽
601:１３２人目の素数さん
21/12/21 02:59:15.26 O4hkczm/.net
きっと>>580は小学算数を習わず大学集合論から学んだんだろ、今もなお勉強し続けてるはずだよな
そうじゃない人間が言えた道理じゃねぇよ、百叩きの刑だろ。鞭じゃなく金槌で｡
602:１３２人目の素数さん
21/12/21 03:03:43.80 LTSiGQM5.net
こりゃ駄目そうね
603:１３２人目の素数さん
21/12/21 06:07:32.39 .net
>>574
>ここで、無限集合の話をしているのは、
>IUTのアンチさんたちがいかに低レベルか
>を示すためもある
そういってるあなたが一番低レベルだと
自分から示してますけど
>とくに、査読投稿論文の経験がないのに
>大口叩く数理論理君のレベルを暴く意図
>もあるんだよね
数学の査読投稿論文がないなら
他分野でいくら査読投稿論文があっても
何の意味もないけど
P.S.
>コテ外すよ
いいことですね
名乗るほどの価値もない書き込みするなら
匿名が一番です なんならIDも要らないくらいです
604:１３２人目の素数さん
21/12/21 06:16:28.41 .net
>>574
>>無限級数は無限項の和ではないことはご存知ですよね？
> 無限級数には、無限の項があるってことを認めましょうね
項が無限にあってもそれを全部足したものは
実数の定義では決して出てこないよ
>”数学の星”氏は
>「数列の項は自然数と対応していますから、無数にあります。
> 無数にある数をすべて足し合わせつことはできません。
> いつまでたっても足し算をし続けなければならないのですから。」
>という
ええ、それが数学の常識
知らない人は素人
>この理由付けはもっともらしいけど、ちょっと違うと思うよ
ちょっとも違わんよ
>wikipediaのように
>「最もよく採用される理解の方法は、
> 有限個の項の和が収束する先を
> 無限級数の値とすることである」
>ってこと
収束先の存在を勝手に決めつけるのは高校生レベル
>つまり、21世紀の現代数学では、
>それは一つの方法ではあるが、
いや、あなたの「収束先ありき」は
18世紀的古典数学の発想
19世紀のカントール、デデキントの実数の定義では
そういうナイーブな思想は払拭されました
>それに限らないってことです
限らないところか
あなたの18世紀的な「収束先」神話は
定義にもなんにもなっていないとして
完全に捨てられました
知らなかったの？
605:１３２人目の素数さん
21/12/21 06:19:44.09 .net
>>574
>あと、「じゃ集合族の和はどうよ」って話
>自然数で添え字付けられた
>可算集合族 S1,S2,S3,・・Sn・・があって
>集合族の和 ∪ n=1～∞ Sn を考えたとするよね
>これが何かに収束するかどうかを、いちいち確かめないと、
>集合族の和集合は意味を持たないのかな？
>集合の無限和では、無限集合は普通でしょ？
「集合の全体」に収束も何もありませんが
無限個の集合の和集合の定義も知らないなら
自分で検索して勉強してくださいね
606:１３２人目の素数さん
21/12/21 06:23:31.10 .net
無限公理でωの存在を保証すれば、集合の無限和も存在する
ｘ∈∪ n=ω Sn ⇔ ∃Sn．ｘ∈Sn
607:１３２人目の素数さん
21/12/21 07:07:01.22 wm1rkJIa.net
ID外してる人は論外だろ
608:１３２人目の素数さん
21/12/21 07:57:05.89 oM/LOhn1.net
>>576-577
>和集合の公理をご存じですか？
>∪Xが無限集合か否かはX次第ですけど？
なるほど
下記ね、en.wikipedia
Axiom of unionで
”結果に無制限の数のカーディナリティが含まれている場合、置換は集合の集合の和集合の存在を証明しません。
置換の公理スキーマとともに、和集合の公理は、集合によって索引付けされた集合族の和集合を形成できることを意味します。”
和集合の公理と置換の公理スキーマの組合わせね
あなたは、賢いね
なお、日本語版には、この記述はないね
つまりは、公理としておかないと、無限和集合の形成できないってことですね
で、（添え字付きカッコ）可算無限多重シングルトンに戻るけど
それはどうなの？ ZFCで導けないの？ それでも良いけど。でも否定もできない？
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Axiom of union
Relation to Replacement
The axiom of replacement allows one to form many unions, such as the union of two sets.
However, in its full generality, the axiom of union is independent from the rest of the ZFC-axioms:[citation needed] Replacement does not prove the existence of the union of a set of sets if the result contains an unbounded number of cardinalities.
Together with the axiom schema of replacement, the axiom of union implies that one can form the union of a family of sets indexed by a set.
つづく
609:１３２人目の素数さん
21/12/21 07:57:36.75 oM/LOhn1.net
>>589
つづき
（google訳）
交換との関係
置換の公理により、2つのセットの和集合など、多くの和集合を形成できます。
ただし、その完全な一般性では、和集合の公理は他のZFC公理から独立しています。[要出典] 結果に無制限の数のカーディナリティが含まれている場合、置換は集合の集合の和集合の存在を証明しません。
置換の公理スキーマとともに、和集合の公理は、集合によって索引付けされた集合族の和集合を形成できることを意味します。
URLﾘﾝｸ(ja.wikipedia.org)
和集合の公理
和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものである。対の公理と合わせることで、任意の二つの集合に対し、それらの要素のみからなる集合(合併集合)の存在が導ける。
(引用終り)
以上
610:１３２人目の素数さん
21/12/21 08:30:12.56 oM/LOhn1.net
>>537
(引用開始)
>5）よって、「x ∪ {x}の形の要素が無限個生成されていなければならない→x ∪ {x}が無限回繰り返された」となる
> これが結論じゃないですか？
はい、大間違いです。
無限公理は何も生成しません。「ある無限集合が存在する」と言ってるだけです。
(引用終り)
説明になってないよね
”無限公理は何も生成しません。「ある無限集合が存在する」と言ってるだけです”か
認めるよ
で、じゃあ、最初の無限集合N（自然数）は、どうやって出来た？
無限集合を得る前には、無限集合を添え字とした集合族も無いよね
だから
”the result contains an unbounded number of cardinalities.”>>589
の”unbounded number”が味噌でしょ
シングルトンにも、”the result contains an unbounded number of cardinalities.”が
あるってことでしょ
611:１３２人目の素数さん
21/12/21 08:34:48.81 oM/LOhn1.net
>>588
＞ID外してる人は論外だろ
ほぼ同意ｗ
612:１３２人目の素数さん
21/12/21 09:19:15.98 8B59gmDB.net
ここまで説明されてわからんとは何たる無能wwww
613:１３２人目の素数さん
21/12/21 11:48:56.08 H4QZamD3.net
>>589-591
纏めるよ
１．>>591 最初の無限集合N（自然数）は、どうやって出来た？
”the result contains an unbounded number of cardinalities.”>>589
の”unbounded number”が味噌でしょ
つまり、いまノイマン構成を考えると、0,1,2,・・n,・と unbounded numberができる
こいつを、置換公理と和集合の公理との組み合わせで、unbounded number の ” form the union of a family of sets indexed by a set”となる
けど、まだ足りない。こいつが無限だと言いたいけど、この段階では用語”無限”はまだ使えない
どこかで読んだ記憶では、一階述語では、それ無理だと
だから、無限公理を組合せて、上記の段階で「”無限”を既に達成していますよ」という（過剰部分があるので後で削るとして）
このとき、置換公理の公理スキーマの部分が大活躍。公理スキーマは無限 OKで、もちろん、和集合を取る操作は無制限だ（もともとの設定。そもそも公理には適用回数の制限無いよ）
つまりは、自然数Nを作ったのは、0,1,2,・・n,・なる unbounded number とそれを、置換公理の公理スキーマ＋和集合の公理のコンビネーションで
”確かにできた”を、一階述語下でいうために、無限公理を置いたということですね。ID:B/Q5BijHさん、賢いね
２．>>574-575の無限級数
「最もよく採用される理解の方法は、有限個の項の和が収束する先を無限級数の値とすることである」の理由は
簡単のために、実数列に限ると、例えば下記の交項級数のような場合で、和の順番を変えると収束が一意にならないことがあるから
（「数列の項は自然数と対応していますから、無数にあります。無数にある数をすべて足し合わせつことはできません。いつまでたっても足し算をし続けなければならないのですから。」はヘン）
なので、正の実数のみからなる級数なら、単調増加で、収束するか∞に発散するかの二択です。∞を取り込んで、実数をリーマン球面に埋め込めば、正の実数のみからなる級数は必ず収束する
つづく
614:１３２人目の素数さん
21/12/21 12:01:58.82 H4QZamD3.net
>>594
つづき
３．さて、これを和集合についてみると、和集合では元の数（濃度など）は単調増加です
よって、無限の和集合を考えてそれが無限集合になっても、集合論では問題なし（むしろ歓迎）
一意を保証するのは、外延性の公理でしたかね（下記）
言いたいのは、和集合って、もともとは有限に制限されてはいないが、”無限”が定義されない限り、”無限”和として機能しないってことです
４．で、ZFC内で全ての”無限”（cardinalitiesとか ordinal numberとか）が整備された後でなら
ツェルメロのシングルトンで、可算無限版が考えうるってこと
（つまりもし、ツェルメロ構成でシングルトンから出発して数体系を作るとすると、N(=ω)の存在をいうときに困難があるかも。しかし、これと上記とは別問題です）
で、カッコに添え字を付ける意味は、
１）有限では、カッコに添え字を付けても付けなくても、シングルトンとしては一意
２）可算無限（ちょうどN(=ω)）のとき、ヒルベルトのホテル状態になると、一つ増えても分からないし 一つ減っても分からないとなると、順序数としてどうよ と言われる
だから、カッコに添え字を付けて一意にしようってことです
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
交項級数
項の正負が交互に入れ替わる無限級数
URLﾘﾝｸ(ja.wikipedia.org)
公理的集合論
目次
1 集合の公理系
1.1 ZF 公理系
・外延性の公理 A と B が全く同じ要素を持つのなら A と B は等しい：
(引用終り)
以上
615:１３２人目の素数さん
21/12/21 12:39:44.60 O4hkczm/.net
この無職セタまだ無限公理はお前の無限重シングルトン存在性主張に何ら寄与しない掠りもしない事に気付かないのか
616:１３２人目の素数さん
21/12/21 13:02:35.98 O4hkczm/.net
猿踊り一石Marapapiyas（諸悪魔王）は
ぶぶんわ【部分和】級数の初項から途中の項までの和の事で、第N項部分和と言えば初項からN項までの和の事を指す｡
という言葉と極限、収束、振動という言葉を使って級数が一口に無限項の総和と説くだけで不十分である事を示唆し､
解析接続にも言及し末項が∞ながら発散とも振動ともせず収束させる各種総和法にも言及する｡
この一見して文系の目からは恣意的な忖度の下でのトリックが施された様に錯覚する各収束値も
現実の自然界で例えば電気機器に於ける「実効値」等の形で現れる｡
因みにセタのバカさ加減は如何なる総和法を用いても発散解である｡
617:１３２人目の素数さん
21/12/21 13:06:46.70 8B59gmDB.net
まぁ日本語の一個一個の意味はわかるだけで数学的な意味は一つもわかってないからな
無限公理からツェルメロの意味でのωの存在証明はおろかノイマンの意味での順序数の存在証明も理解できてない
説明してやろうとしばらく頑張った事もあったけとコイツの知能では無理と断念したからな
集合論の話できる知能レベルに到達する事はないやろ
618:１３２人目の素数さん
21/12/21 13:35:11.46 myk8DJ42.net
スレ主はガロア理論はわかったのか？
確か同じなんだよね
619:１３２人目の素数さん
21/12/21 14:48:25.80 4QpGQLzx.net
全部ウィキの羅列にすぎずくっちゃべってる目的もイミフ
ＡＨＯＯ掲示板の数学や物理カテに一日中いたガイジと同等の無駄な存在
620:１３２人目の素数さん
21/12/21 15:23:40.61 RpvirHvW.net
あれこれ手を出してコピペしてわかった気になるのはまずいわな
数学的思考をやりたいならまずは三冊読み込むくらいで十分だよ。そのチョイスは教えてやらないけど、
狭く深くやることが結果的に幅を広げることになる
もちろん基礎論なんか半端者が下手にやらないほうがよい。手遅れだとは思うが、一般的なアドバイスとして
621:１３２人目の素数さん
21/12/21 19:28:41.24 .net
>>594
> １．最初の無限集合N（自然数）は、どうやって出来た？
無限公理
> いまノイマン構成を考えると、0,1,2,・・n,・と unbounded numberができる
どのｎもみな有限集合ですがね
> こいつを、置換公理と和集合の公理との組み合わせで、
> unbounded number の
> ” form the union of a family of sets indexed by a set”
> となる
有限集合にいくら置換公理を適用しても無限集合になりませんけどね
無限公理で無限集合の存在を示す必要があります
無限公理を他の公理から「定理」として証明することはできません
残念でした
>けど、まだ足りない。
> こいつが無限だと言いたいけど、この段階では用語”無限”はまだ使えない
> どこかで読んだ記憶では、一階述語では、それ無理だと
読み間違いなので忘れましょう
一階述語とは全く無関係です
> だから、無限公理を組合せて、上記の段階で
> 「”無限”を既に達成していますよ」という
無限公理のステートメント、知ってますか
∃x.{}∈x∧∀y.y∈x⇒{y}∈x
ここではわざとツェルメロの後者関数を使ってあげましたよ
もちろん存在が示されるのはシングルトンでもなんでもなく
無限集合{{},{{}},{{{}}},…}ですよ
> ”確かにできた”を、一階述語下でいうために、
> 無限公理を置いたということですね。
”確かにできた”は無意味
一階述語下も無意味
無限集合が存在する、というために
無限公理を置いた そういうこと
理解しようね 素人さん
622:１３２人目の素数さん
21/12/21 19:29:45.27 .net
>>594
> ２．「有限個の項の和が収束する先を無限級数の値とする」理由は
> 簡単のために、実数列に限ると、例えば下記の交項級数のような場合で、
> 和の順番を変えると収束が一意にならないことがあるから
あいかわらずトンチンカンですね
そもそも、収束する先の存在をどうやって証明するつもりですか？
実数はカントール流では、有理コーシー列の同値類として定義します
コーシー列の定義を御存知ならば、
その中に収束先は全く現れないことが分かります
つまり、有理コーシー列自体の収束は証明されない
それ自体が実数であるから
このからくりがわからないまま、カントールの実数の定義で
悶絶する人が多々いるのは実に残念です
> （「数列の項は自然数と対応していますから、無数にあります。
> 無数にある数をすべて足し合わせつことはできません。
> いつまでたっても足し算をし続けなければならないのですから。」
> はヘン）
ヘンかどうか決めるのは素人のあなたではありません
> なので、正の実数のみからなる級数なら、
> 単調増加で、収束するか∞に発散するかの二択です。
> ∞を取り込んで、実数をリーマン球面に埋め込めば、
> 正の実数のみからなる級数は必ず収束する
収束中毒ですか？
623:１３２人目の素数さん
21/12/21 19:30:36.47 .net
>>595
> ３．和集合についてみると、和集合では元の数（濃度など）は単調増加です
> よって、無限の和集合を考えてそれが無限集合になっても、集合論では問題なし（むしろ歓迎）
> ４．で、ZFC内で全ての”無限”（cardinalitiesとか ordinal numberとか）が整備された後でなら
> ツェルメロのシングルトンで、可算無限版が考えうるってこと
f(x)={x}で、xも{x}もシングルトンなら
lim(n→∞) f^n({{}}) もシングルトン
といいたいようですが、それはダメです
集合論でもなんでもない ただの妄想です
624:１３２人目の素数さん
21/12/21 19:32:03.51 BhjLVMPz.net
>>597
MP氏なら
e=1+1+1/2!+1/3!+1/4!+・・・
の部分和による数列は有理コーシー列だし
有理数のデデキントの切断も同様に定義できる
というだろうな
625:１３２人目の素数さん
21/12/21 19:32:31.20 BhjLVMPz.net
>>601
> 数学的思考をやりたいなら
> まずは三冊読み込むくらいで十分だよ。
> そのチョイスは教えてやらないけど
勝手な予想
線型代数入門 斎藤 正彦 著
解析入門1 杉浦 光夫 著
解析入門2 杉浦 光夫 著
626:１３２人目の素数さん
21/12/21 19:34:14.98 BhjLVMPz.net
>>592
おまえもID外せよ
どうせ浪人だろ？
627:１３２人目の素数さん
21/12/21 19:45:56.65 ku619cA1.net
相変わらず数学板で一番勢いのあるスレなのね…
628:１３２人目の素数さん
21/12/21 20:07:56.00 +KBXr52H.net
数学板はもはや過疎地
今はtwitterとかが代わり
629:１３２人目の素数さん
21/12/21 20:40:17.06 XldSVxXA.net
実名で望月は狂っとるとか言うのは流石に怖いのでここに書くしかない
630:１３２人目の素数さん
21/12/21 20:44:03.65 jgXwvj+Q.net
Twitterもプロが硬派に数学を取り上げるなら日本語よりは英語でやったほうがいいんだよな
適切なフォロワーが集まるかは頑張り次第だが
日本語圏だと変な馴れ合いの空気
631:がある
632:１３２人目の素数さん
21/12/21 20:55:03.96 BhjLVMPz.net
>>601
> 数学やるなら
> まずは三冊読み込むくらいで十分だよ。
> そのチョイスは
勝手な予想
線型代数入門 斎藤 正彦 著
解析入門1 杉浦 光夫 著
解析入門2 杉浦 光夫 著
633:１３２人目の素数さん
21/12/21 21:12:03.04 8B59gmDB.net
セタは読まない
何故なら彼は別に数学なんか元々そこまで興味あるわけでもないから
そして「自分には才能がある、他の人より劣っているなんて許されない、自分がいま他人に遅れをとって見えるのは教育のせいだ」、「日本の教育は時代遅れ、今の計算機時代には計算機時代の新しい数学がある、それを見越してオレは数学の勉強をしてこなかったしコレからもしない」とこのタイプのアホどもと共通してる理論に縋って生きてる
この辺は高木や尿瓶と全く同じ理論構成
このタイプはいうだけ無駄
もちろん小中高の勉強なら素頭の良し悪しは重要だけど大学以降の勉強は全てその人本人の人格が全てを決めると言っていい
“何をどれくらい勉強するか”この全ての決定権は本人その人にしかない
その張の本人の学問に対する哲学が腐ってたら何をどうやってもダメ
634:１３２人目の素数さん
21/12/21 21:47:45.21 KLdKuFM2.net
>>594
> １．最初の無限集合N（自然数）は、どうやって出来た？
ZFにおけるNの構成方法ならWikipediaの自然数のページにまんま書いてありますよ。以下引用。
> 無限集合の公理は 0 を含む帰納的集合の存在を主張しているので、ここでの N の定義に問題はない。
問題無いとは定義に従うNの存在が保証されているという意味です。
>自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。
はい、これ証明してみて下さい。できますか？
635:１３２人目の素数さん
21/12/21 21:52:54.27 Gyguof0z.net
>>613
その人ただの性格障害の人みたいに読めるな
636:１３２人目の素数さん
21/12/21 21:54:01.15 Gyguof0z.net
>>610
これな
大学の命令で心理テストを受けさせればいいのに
637:１３２人目の素数さん
21/12/21 22:49:09.41 cMirKYtN.net
しかし星や南出はともかく、フェセンコはどう考えたらいいんだろう？
一応キャリアの長いちゃんとした数学者だったわけだが
638:１３２人目の素数さん
21/12/21 23:20:02.22 vAW+6ssT.net
キャリアの長さでいえば、ショルツェなんて青二才ですからね。
639:１３２人目の素数さん
21/12/21 23:59:55.40 GPSuipcq.net
実績なしで無駄に長生きしてるだけだろ
数学の発展に多大な貢献をした上で
老いていってんのか？
640:１３２人目の素数さん
21/12/22 00:01:33.01 KuilKYRF.net
オタクの人生は数学の歴史に寄り添ってんのか？
数学氏を語る上で世界中の人が
オタクの名前を思い出してくれるのか？
641:１３２人目の素数さん
21/12/22 00:02:33.16 KuilKYRF.net
>>620
正 数学史
誤 数学氏
642:１３２人目の素数さん
21/12/22 00:10:43.52 t4tK/IWa.net
少し主旨が変わるが、ガロアとかリーマンのレベルになるともはや思想なんだよな
実績というのも証明や理論という形で残りやすいが、そういう思想としての数学を遺すのが歴史的数学者になる
643:１３２人目の素数さん
21/12/22 06:28:56.74 .net
>>615
ま、ただのエエカッコシイですね コテやめた素人氏は
コテやめただけで評価しますよ
コテもいかにも中二的で痛痛しい感じでしたからね
どうせならIDもやめたらいいと思います
無名の雑踏に紛れて消えるのが一番です
644:１３２人目の素数さん
21/12/22 06:43:16.17 .net
正直言って大した人ではないです 素人氏は
645:１３２人目の素数さん
21/12/22 07:06:33.38 WbzKdrdO.net
>>592
そんな 全項目暴論＆全行間飛躍 を正気で平気どころか呑気な本気で書けるお前は最早ウリナラファンタジーを未だに信じてる現代韓国や
皇歴2600年説を疑わない現代日本人と変わらねぇぞオイ。知らんのか？ウリナラファンタジーのブッ壊れ具合は
世界が知る所だが、日本だって始皇帝時代の倭人と日本人は（倭人と日本人の境が有った時代）は世界と年数の数え方が違ったって。しかも何種も有った｡
太陽暦も太陰暦も他国に有ったが倍速太陽暦に倍速太陰暦、三倍速太陽暦に三倍速太陰暦、四倍速太陽暦に四倍速太陰暦、終いにゃ十代天皇初代同一説｡
オイお前。今まで随分と右翼レスして来たよな？断言するなら何か人生方針を変えざるを得ないか生活を落とさざるを得ない物事を担保を入れろや｡
分かってる、分かってるし、今迄も此うした問い掛けをお前は「5ちゃんは痰壺であり便所の落書き」を言い訳に担保なんざ足蹴にした後
痰を吐き掛けるが如き露悪的なブッちゃけ物言いで逃げ続けて来た。どんなに小さな議題にたいする担保要請もな｡
つまり、お前は全レスがデマ（出任せ）でありハッタリだって事。つまり確信無き山勘ばかり、要するに大嘘大法螺吹き｡
って事は万が一でも万々が一でも正解を引き当てたとしても、それは、マグレ当たりに他ならない｡
マグレ当たりならばやはり山勘出任せハッタリであり結局は嘘｡
いつまでそんな事やってんだ？
646:１３２人目の素数さん
21/12/22 08:28:23.49 yuf0o9c2.net
長文コピペの基地外氏
647:１３２人目の素数さん
21/12/22 10:36:19.67 O9xcm3wa.net
ここはIUT応援スレです
アンチIUTの筆頭が、
「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」>>6
を主張するアンチ日本及び日本人のサル>>5
次に控えしは、サルの肩をもつ”数理論理君”です
このスレで、ツェルメロの加算無限シングルトンをやる意義は
この二人、つまりサルと、その腰ぎんちゃくの”数理論理君”の化けの皮を剥がすことです
（大学1年レベルの加算無限が理解できていないお二人さん。あんたらIUTはムリｗ）
まあ、また～りやりましょう
いま、IUTは今年の4回の国際会議をこなして、いろいろと進行中です
しかし、もう年末のクリスマス休暇から正月休みだ
予想される2022年の大きな動きとしては、
１）星先生の数学誌に投稿される遠アーベルの論説
２）あとは、春の日本数学会（3月かな）
いままで、IUTが日本数学会で取り上げられることは無かったが
2022年は、星先生の整数論サマースクールの話もあるし
なにより、ABCからみで、春か秋かの日本数学会の受賞もありと思っています
また～りしながら、そこらの動きを待ちましょう
年末忙しいので、とりあえずここらで
URLﾘﾝｸ(www.mathsoc.jp)
一般社団法人 日本数学会
2022年度年会
会場： 埼玉大学理学部数学科
日時： 2022年3月28日（月）より3月31日（木）
（市民講演会は3月27日（日））
648:１３２人目の素数さん
21/12/22 10:43:50.75 O9xcm3wa.net
さて、下記の情報のソースはなんだろう？ 個人的タレコミかな
math_jin氏の情報収集能力はすごいね
IUTのNスペ
NHKは、本気だね
URLﾘﾝｸ(twitter.com)
math_jin
12月17日
11月上旬にインタビュー撮影、12月上旬にRIMSで撮影があったらしい
#Nスペ関連情報
(deleted an unsolicited ad)
649:１３２人目の素数さん
21/12/22 11:51:01.81 AZy20gdA.net
>>627
このレス読めばわかるやろ
コレがセタという人間の本質
クズそのもの
650:１３２人目の素数さん
21/12/22 11:57:09.47 Hpq6A61A.net
>>627
>まあ、また～りやりましょう
また～りも良いですが、Wikipedia にすら書かれてるNの構成方法くらいはちゃっちゃと理解してもらわないことにはお話になりませんぜ。
まあ数学の中身の話はしないと言うならそれで構いませんけど。
651:１３２人目の素数さん
21/12/22 12:04:37.03 O9xcm3wa.net
>>629
おれは名前の議論はしない
肯定否定に関わず、だれか無関係の第三者に「あれはお前だろう」と言われる人がでる可能性がある
「おれじゃない」という証明は、できないよね（アリバイ証明のように、「その時間は別」の場所に居たとかできないからね）
ところで、>>627より再録
アンチIUTの筆頭が、
「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」>>6
を主張するアンチ日本及び日本人のサル>>5
(引用終り)
この発言を正当化したいのか？ あんた
もう最初から、数学の議論じゃなくなっているよね
アンチのサルと、数理論理君は？
って、数理論理君かな？
652:１３２人目の素数さん
21/12/22 12:06:32.97 O9xcm3wa.net
>>630
＞また～りも良いですが、Wikipedia にすら書かれてるNの構成方法くらいはちゃっちゃと理解してもらわないことにはお話になりませんぜ。
ありがと
じゃ、あなたの理解を手短にちゃっちゃと書いてみて
数行でも良いよ
653:１３２人目の素数さん
21/12/22 12:13:07.70 yuf0o9c2.net
専攻学位論文未提出のAの口調が出てきたな
654:１３２人目の素数さん
21/12/22 12:17:14.10 Hpq6A61A.net
>>627
>（大学1年レベルの加算無限が理解できていないお二人さん。あんたらIUTはムリｗ）
このスレで可算無限を理解してない人は1人しか見当たりません。あなたですよ。
あなた可算無限どころか無限そのものを理解してませんよね？
655:１３２人目の素数さん
21/12/22 12:31:40.88 WbzKdrdO.net
>>592
所で、いつまで“せかいゆいいつぼくだけのむげんじゅうしんぐるとん”説を続ける気だ？
656:１３２人目の素数さん
21/12/22 12:50:15.24 WbzKdrdO.net
>>624
え？お前まさかセタの帰納法誤用の肩を持って雄馬と雌鹿の子・馬鹿の仲間入りしたいのか？
って言うかセタが帰納法誤用してる事に気付けない様な頭してるのか？本当に馬鹿じゃなくて人間なのか？
657:１３２人目の素数さん
21/12/22 12:52:03.00 pemrIJZt.net
専攻学位論文未提出のAの人格と精神が分裂して
自分の書き込みを罵倒し始めた
658:１３２人目の素数さん
21/12/22 12:52:30.14 WbzKdrdO.net
>>627
また～りじゃねぇだろ。お前これまでの毎日嘘三昧をどう落とし前着ける気だ？
便所の落書きにも落とし前問答が生じる事を知らんのか？
659:１３２人目の素数さん
21/12/22 12:53:05.23 Hpq6A61A.net
>>632
応じかねます
あなたへの宿題である>>614の解答を書く事になるので
660:１３２人目の素数さん
21/12/22 13:31:55.00 WbzKdrdO.net
まだセタの『せかいゆいいつぼくのむげんじゅうしんぐるとんそんざいしゅちょう』は続くのか？
661:１３２人目の素数さん
21/12/22 16:33:54.94 poZ0GEP4.net
素人でよくわからんけど
望月ってあまり評判良くないの？
662:１３２人目の素数さん
21/12/22 17:25:56.75 KuilKYRF.net
経歴は元々すごい
本人に実力もある
ただ、ABC予想解決の検証委員に対する
対応を誤った
世界的な権威を失ってるかも？
663:１３２人目の素数さん
21/12/22 18:16:24.35 +W1kv02w.net
>>627
＞2022年は、…ABCからみで、春か秋かの日本数学会の受賞もあり
愛国馬鹿の予言ｷﾀ━━(ﾟ∀ﾟ)━━!!
来年2022年
IMU（国際数学連合）の賞はもちろん
日本数学科の受賞すらなかったら
愛国馬鹿SET Aの敗北決定！！！
664:１３２人目の素数さん
21/12/22 18:19:13.71 +W1kv02w.net
>>631
>おれは名前の議論はしない
愛国馬鹿は数学の議論もするな
数学板が💩臭くなるｗ
愛国馬鹿の予言
来年2022年 IMU（国際数学連合）および日本数学会の賞の受賞
実現しなかったら愛国馬鹿SET Aの敗北決定！！！
665:１３２人目の素数さん
21/12/22 18:22:32.32 +W1kv02w.net
>>640
もう、『世界唯一の俺様の無限一元🐷』とかどうでもええわ
愛国馬鹿SET Aの予言
来年2022年 IMU（国際数学連合）および日本数学会の賞の受賞
実現しなかったら愛国馬鹿の敗北決定！！！
666:１３２人目の素数さん
21/12/22 19:09:04.29 yuf0o9c2.net
専攻学位論文未提出のAの独り言日記帳かよ
667:１３２人目の素数さん
21/12/22 20:34:41.09 c/iVNK4M.net
>>641
評判というかIUT以前の理論も遠アーベル以外は一見大理論の割にあまり読まれてない
p進タイヒミュラー理論なんてのは題目だけ取ればかなりの参照者がいてもおかしくないんだが
668:１３２人目の素数さん
21/12/23 00:38:18.93 hkJcjbp8.net
誰かがどれだけ数学できるかの問答なんてどうでもいいんだわ
IUT周りの話に特化してくれ
669:１３２人目の素数さん
21/12/23 00:56:37.70 Mrud4ebS.net
>>648
正規スレへどうぞ
670:１３２人目の素数さん
21/12/23 01:07:58.58 Mrud4ebS.net
>>632
>じゃ、あなたの理解を手短にちゃっちゃと書いてみて
>数行でも良いよ
>>385に書きましたよ。以下>>385から引用。
>有り体に言えば、自然数全体の集合を構成するには何らかの方法で集合Nを構成し
構成方法は>>614に答えを書きましたよ
>Nがペアノの公理を満たしていることを証明する必要があります。
証明は>>614であなたへの宿題としましたよ。
これまで答えたら全部教えることになるので伏せときます。
はい、さっさと証明して下さいね。
671:１３２人目の素数さん
21/12/23 05:13:18.51 Sz2FKYOq.net
>>650
>ZFにおけるNの構成方法なら
>Wikipediaの自然数のページに
>まんま書いてありますよ。
当該箇所引用
URLﾘﾝｸ(ja.wikipedia.org)
集合論において標準的となっている自然数の構成は以下の通りである。
空集合を 0 と定義する。
任意の集合 a の後者は a と {a} の合併集合として定義される。
0 を含み後者関数について閉じている集合のひとつを M とする。
自然数は
「後者関数について閉じていて、0 を含む M の部分集合の共通部分」
として定義される。
無限集合の公理により集合 M が存在することが分かり、
このように定義された集合がペアノの公理を満たすことが示される。
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする
数の集合、となる。
672:１３２人目の素数さん
21/12/23 05:23:48.69 Sz2FKYOq.net
次スレ以降 1のテンプレート
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
673:１３２人目の素数さん
21/12/23 05:27:38.76 Sz2FKYOq.net
URLﾘﾝｸ(dictionary.goo.ne.jp)
じ‐ふん【自×刎】 の解説
［名］(スル)自分で自分の首をはねて死ぬこと。自剄 (じけい) 。「―して果てる」
>>1はIUTの成功に絶対(100%)の自信あり
したがって
「2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞する」
という予言が万が一にも外れることはなく
「外れた場合には責任をとって自刎する」
と宣言しても実現しないから 来年以降の次スレの
テンプレートに記載しても、何の問題もない
674:１３２人目の素数さん
21/12/23 06:51:11.61 ypzkaLik.net
>>650
ほいよ
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
(抜粋)
存在と一意性
集合論における標準的な構成によって、ペアノシステムの条件を満たす集合が存在することを示せる。 まず、後者関数を定義する; 任意の集合 a に対してその後者を suc(a) := a ∪ {a} と定義する。 集合 A が後者関数に関して閉じているとき、つまり 「a が A の元であるならば suc(a) も A の元である」が成り立つときに、 A は帰納的集合であるという。 ここで、次のように定義する。
略
この集合 N を自然数全体の集合といい、これは時々（特に順序数に関する文脈で）ギリシャ文字の ω と表記される。
無限集合の公理は 0 を含む帰納的集合の存在を主張しているので、ここでの N の定義に問題はない。 自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。
前述したsucの構成法の定義より、それぞれの自然数を明記しようとするならば、その数より小さい自然数全てを要素とする数の集合、となる。即ち、
略
等々である。 この構成法はジョン・フォン・ノイマンによる[2] 。
これは可能なペアノシステムの構成法として唯一のものではない。 例えば、集合 N = {0, 1, 2, ...} の構成と上記の後者関数 suc を仮定して、 X := {5, 6, 7, ...}, x := 5, と f := X 上に限定した後者関数、と定義したならば、これもまたペアノシステムである。
略
二つのペアノシステム (X, x, f) と (Y, y, g) は次の条件を満たす全単射 φ: X→Y が（唯一つ）存在するときに同型であるという:
略
一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理）
二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[3]。
つづく
675:１３２人目の素数さん
21/12/23 06:51:35.11 ypzkaLik.net
>>654
つづき
URLﾘﾝｸ(en.wikipedia.org)
Peano axioms
Contents
1 Formulation
2 Arithmetic
2.1 Addition
2.2 Multiplication
2.3 Inequalities
3 First-order theory of arithmetic
3.1 Equivalent axiomatizations
4 Models
4.1 Set-theoretic models
4.2 Interpretation in category theory
5 Nonstandard models
5.1 Overspill
6 Consistency
(引用終り)
以上
676:１３２人目の素数さん
21/12/23 06:54:58.89 Sz2FKYOq.net
>>654
＞ほいよ
これは君の敗北宣言？
「無限集合の公理」
これがあるから君の負けね
残念でした
＞一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理）
＞二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる。
どういうつもりか知らないけど
無限集合の定義とは全く無関係だね
君 日本語全然読めないんだね
677:１３２人目の素数さん
21/12/23 06:56:55.69 Sz2FKYOq.net
>>655
コピぺ要らないから、次からスレッド立てるときは
1でこのテンプレ使ってね
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だしてね
結果出なかったら、責任とって自刎ね
以上 ４６４９（よろしく）
678:１３２人目の素数さん
21/12/23 07:08:38.84 ypzkaLik.net
>>650
ありがとう
証明は>>654-655ね
あなたは、なかなかレベルが高いね
で、いままでの議論を踏まえて
1）ツェルメロのシングルトンによる後者関数 suc(a) := {a}による自然数構成（下記）についてのご意見
（下記の通り、初期値 a0：={}）
2）いま、ノイマン構成により、自然数、整数、有理数、それを完備化して、実数まで構成できたとする
数直線も構成できたとする
だから、順序数ω>>654も構成できた
その上で、aω：=ω{・・0{}0・・}ω について、どうよ？
（但し、カッコは上記のように添え字付けられているとする）
この2点について、率直なご意見をお伺いしたい
証明はいらない。厳密な議論でなくとも可。感想でもなんでも良いよ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
自然数
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
以上
679:１３２人目の素数さん
21/12/23 08:39:17.78 wpmj5gO8.net
>>658
>証明は>>654-655ね
えーっと
証明の意味は分かってますか？
680:１３２人目の素数さん
21/12/23 08:41:29.55 wpmj5gO8.net
あ、その証明の内容が、ではなく、証明とは何が分かってるかって質問ね？
681:１３２人目の素数さん
21/12/23 09:11:18.64 Fj4ytsVA.net
Wikipediaを貼っている時点で
専攻学位論文未提出のAの独り言日記確定
682:１３２人目の素数さん
21/12/23 09:29:17.22 Iwpno+ou.net
>>658
こいつって英語の日本語訳を貼って
論を進めようとしてた奴だろ。
自分の頭で考えることができないんだろうな
数学者に憧れてて数学者の出てくる
映画や小説読みまくってそう
僕は本当はグッドウィルハンティングです
って素で思って妄想してそう
683:１３２人目の素数さん
21/12/23 09:45:49.57 wpmj5gO8.net
>>660の続き
もっと言ってしまうと、まったく証明になってない、何故それで証明になってると思ってるのかまったく不可解、ってことです。
684:１３２人目の素数さん
21/12/23 09:45:54.08 Fj4ytsVA.net
ちょっと種明かしすると、日本語版ウィキペディアの数学記事の大半をわずか2～3名の執筆者が書き散らかしていた暗黒時代に、
数学ポータル担当管理者は何故か無名の東大院生だった(IPアドレスと書き込み時の東大院アドレス割り当て記録から関係者の名前は判明済み)
そいつをコントロールして管理者終身就任制度という独裁制度をわずか数名の投票で決めようとしたファシスト管理者が
上に何度か言及のある専攻学位論文未提出の55歳底辺大教員
数学分野の業績への理不尽な攻撃は、数学分野の内輪揉めではなく、20年前から下準備がなされた
劣等感塗れの落ちこぼれの仕業
685:１３２人目の素数さん
21/12/23 09:51:10.80 Fj4ytsVA.net
このスレで日本語版ウィキペディアのいい加減な記事を貼っては自身たっぷりの妄言を連投したり
その書き込みを映画云々の妄想で叩く単発IDは
全てこの落ちこぼれ底辺大教員55歳氏の長年にわたる芸風
英語論文すらまともに読めないまま50代後半になってしまったので、使える参考文献が日本語版ウィキペディアしかない悲惨極まりないバカ
686:１３２人目の素数さん
21/12/23 10:09:00.84 Iwpno+ou.net
ちょっと書きすぎだと思うわ
最近の流れでこれはチョットってなる
687:１３２人目の素数さん
21/12/23 10:31:17.41 Iwpno+ou.net
専攻学位論文未提出のA
って有名なコテなの？
なんかそのAと間違われてるっぽいけど
映画や小説云々って書いた私とAは違うぞ
やっぱAは数学者に憧れてるっていう予想は
いいとこ突いてたんだ
俺こいつ嫌いだから不合格や落第の意味で
failを意味する
〜のFって呼んでやって欲しいわ
なんでもどの分野でもだけど
上辺だけのニワカって有名人の真似することが
好きだよな。投影みたいな事なんかな
688:衛宮士郎
21/12/23 11:09:29.11 wEN2UHlT.net
偽物でもやれる
689:１３２人目の素数さん
21/12/23 11:09:45.56 K6W+adUR.net
>>626
何だ？お前セタの肩を持つのか？
セタの「内在的に理解している（過去本人談）よ。」だの「分かってるよ。」だの
言ってる事が全てが全てインチキ
690:なんだって事を本人は一向に自覚する事から「62スレ（+他関連スレ）」も 逃げ続けてるのを助けんのか？
691:１３２人目の素数さん
21/12/23 11:14:54.50 Fj4ytsVA.net
>>667
やっぱり2008年山形大工学部生誤爆ハラスメント事件で職場を追われた元山形大学工学部の天羽優子@apj本人じゃん
世の中には頭の悪い人は多いけど、匿名掲示板で専門家相手に日本語版ウィキペディアを引用して虚勢を張る愚民はいまどき殆どいないから
すぐに身元が判明するね
他の方へ
こいつは英語論文をまともに読めないので
英語で議論すれば一発で壊れる愚民だよ
692:１３２人目の素数さん
21/12/23 11:16:03.17 DFMOwXs4.net
■長期専門板荒らし 天羽 優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)
【特徴1】ソース URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
【事例1】天羽 優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) URLﾘﾝｸ(itest.5ch.net)
【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
693:１３２人目の素数さん
21/12/23 11:17:55.16 DFMOwXs4.net
【天羽優子に対する著名研究者コメント】
1. ゴードンベル賞7回受賞の著名物理学者「『科学的真偽は権威が決める』と主張する天羽優子は科学者とはいえない」
2.天羽と接点のあるKEK黒猫氏「あの人(天羽優子)は他人の心を読み取れないから人間としてどうしようもない」(講義学生誤爆ハラスメント事件へのコメント)
3.信号処理研究者「世の中には学位を取るだけで力を使い果たしその後業績の上がらない人も居るが
今回は学位を取る基本能力がないのに不適切な学位を与えられてしまった人が居ることを知った」
4.化学分野研究者「かの女性(天羽優子)は『自分が理解できないことは排除する』『自分が理解できないことはバカにする』」
皆さん天羽優子の本質をよく理解していらっしゃる
694:１３２人目の素数さん
21/12/23 11:24:04.37 Iwpno+ou.net
>>670
おいアンタ落ち着けよ
マジで言うけど、アンタが私のことを
過去の荒らしだと思ってるなら大間違いだぞ
完全な、人違いだぞ
マジのマジで違うから発信者うんちゃら裁判で
身元破られたらアンタの正体がバレるぞ
私は過去のやりとりとか関係ないから
知らんし
695:１３２人目の素数さん
21/12/23 11:27:14.10 DFMOwXs4.net
以下、クリスマスも年始年末も孤独の中で業務用缶スープを飲んで過ごすホームレス天羽優子の独り言
696:１３２人目の素数さん
21/12/23 11:36:19.21 Iwpno+ou.net
うーんこれやっぱ私が間違われてるんだ
変だなと思ったわ
映画や小説って書かれた時からさー
Aも匿名のAじゃなくて@apjのAだったわけね
落第のFもAを使わせない様にしたかったって
思われてるんだ。
でも本当に違うから間違われている人に
訴えられて裁判にならない様にしなよ
語ったりなりすまししてるわけじゃないから
人違いや勘違いだから。
本気でコテと私が
同一人物だと思わない方が良いぞ
何度でも言うけど、本気で違うからな
697:１３２人目の素数さん
21/12/23 12:11:30.13 K6W+adUR.net
>>35
勘違いしてんじゃねぇよセタの野郎は「病気でも何でもねぇ正常」だよ､
そう、「病気でも欠陥でも負傷でも」なく、この状態、この質、このレベル｡
こういう怠けゴミはスリランカ式の過酷な引き籠り更生処置で苦しみを与えてやんなきゃ治らねぇんだよ｡
今や、あの戸塚ヨットスクールさえ叱る教育を断念したからな。何故か？それは今の若い世代は
叱られた時や怒鳴られた時に「あれヤバい何だろ、何がおかしかったのかな？」と思う本能機序を
児童の内に身に付けて来なかったから｡「ハァ？何キレてんの？」「お？これが恵まれぬ世代の焦燥感か？」とか
「え・何このオジさんヤバくない？え？この世代の人って昔は殆どの人がこうだったの？」
698:１３２人目の素数さん
21/12/23 12:32:31.28 K6W+adUR.net
畏敬の念の欠如
もう子供でないセタに教え聞かせで畏敬の念を養う術はない
トラウマを生ずる臨死体験を伴う更生が必要
699:１３２人目の素数さん
21/12/23 12:58:18.97 ifFU84b8.net
このスレやばいと思ってたけど戸塚肯定派まで居るのね
人権を敵視するクラスタってネット上ではしばしば見るけどこんなところにもあったんだ
700:１３２人目の素数さん
21/12/23 13:05:08.09 Iwpno+ou.net
うーん
私のことではなさそうなので
まあいいやどうでも
701:１３２人目の素数さん
21/12/23 13:28:27.82 wpmj5gO8.net
>>658
>その上で、aω：=ω{・・0{}0・・}ω について、どうよ？
“ω{”の右隣の”{“の添え字は何でしょうか？
702:１３２人目の素数さん
21/12/23 19:32:47.08 iz9G4jw+.net
天羽云々言っている奴はデンパだから無視した方がいいと思うヨ
703:１３２人目の素数さん
21/12/23 19:56:14.04 Iwpno+ou.net
そうですよね
やっぱりおかしいのは相手ですよね
あーよかったスッキリした
704:１３２人目の素数さん
21/12/23 20:00:39.46 AiEIEgPe.net
「バフェット氏と昼食」参加権、過去最高の約5億円で落札
毎年恒例の著名投資家ウォーレン・バフェット氏（８８）との昼食会への参加権が今年も
オークションに掛けられ、匿名の人物により、過去最高額となる４５６万７８８８ドル
（約４億９４００万円）で落札された。
このオークションは２０００年に開始した。落札者は、ニューヨークのステーキハウス
「スミス・アンド・ウォーレンスキー」でバフェット氏と一緒に昼食を取ることができる。
705:１３２人目の素数さん
21/12/23 20:07:20.10 .net
>>658
>1）ツェルメロのシングルトンによる後者関数
> suc(a) := {a}による自然数構成についてのご意見
> （下記の通り、初期値 a0：={}）
ご意見って何かな？
間違ってるっていいたいのかな？
706:１３２人目の素数さん
21/12/23 20:09:11.89 .net
>>658
>2）いま、ノイマン構成により、
>自然数、整数、有理数、それを完備化して、
>実数まで構成できたとする
>数直線も構成できたとする
ノイマン構成って何のこと云ってる?？
漠然といわれても全然通じないよ
そもそも、順序数の話なのに
整数とか有理数とか実数とか
どこから出てきたの？
>だから、順序数ωも構成できた
「だから」の前後がつながらないよ
もしかしてωの構成に
整数・有理数・実数の構成が必須
とかいってる？
そんなことないけど
どこからそんなウソ出てきたの？
>その上で、aω：=ω{・・0{}0・・}ω について、どうよ？
集合じゃないので無意味だね
もう幼稚な誤りは綺麗さっぱり忘れようね 素人君
707:１３２人目の素数さん
21/12/23 20:12:31.69 Sz2FKYOq.net
>>684-685
よせよせ IUTだけで責めつづけろ
コピぺ要らないから、次からスレッド立てるときは
1でこのテンプレ使えな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だせよ
結果出なかったら、責任とって自刎
以上 ４６４９（よろしく）
708:１３２人目の素数さん
21/12/23 20:55:09.63 ypzkaLik.net
>>658 追加
Peano axiomsの非標準モデル?下記ね
ツェルメロのシングルトンありじゃね？
URLﾘﾝｸ(en.wikipedia.org)
Peano axioms
非標準モデル?
<マイクロソフトEdge 翻訳（若干手直し）>
?メイン記事:??算術の非標準モデル? URLﾘﾝｸ(en.wikipedia.org)
?通常の??自然数??は??PA??の公理を満たしますが、他のモデル(??非標準モデル??と呼ばれる)もあります。??コンパクト性定理??は、非標準要素の存在を一階論理で除外できないことを意味します。??上向??き??のレーヴェンハイム-スコレム定理??は、すべての無限基数のPAの非標準モデルがあることを示している。これは、元のペアノの公理の(二階) には当てはまりません、同型でモデルが 1 つだけになる。?? ??[18]??これは、一階システムPAが、二階ペアノ公理よりも弱いことを示している。?
?ZFC??のような一階??集合論??の中で証明として解釈される場合、DedekindのPAの分類性証明は、集合理論の各モデルが、集合理論のモデルに含まれる他のすべてのPAモデルの初期セグメントとして埋め込まれるペアノ公理のユニークなモデルを有することを示している。集合理論の標準モデルでは、PAのこの最小のモデルは、PAの標準モデルです。しかし、集合理論の非標準モデルでは、PAの非標準モデルである可能性があります。この状況は、集合理論の最初の順序の形式化では避けられません。?
?可算非標準モデルを明示的に構築できるかどうかを尋ねるのは当然です。1933年??にSkolem??がそのような??非標準モデル??の明示的な構築を提供したので、答えは肯定的です.一方、1959年に証明された??テネンバウムの定理??は、加算または乗算操作のいずれかが??計算可能??であるPAの可算な非標準モデルがないことを示している。?? ??[19]??この結果は、PAの非標準モデルの追加および乗算操作を完全に明示することは困難であることを示している。可算な非標準モデルの??順序タイプ??は 1 つだけです。??ω??を自然数の順序タイプにし、ζ??整数??の順序タイプであり、かつ??、η??は、その合理性の順序タイプである場合、PAの非標準モデルの並べ替えタイプは??ω+ζ・?? ??η、??自然数のコピーとして視覚化され、その後に整数のコピーの密な線形順序付けが続きます。?
つづく
709:１３２人目の素数さん
21/12/23 20:56:19.57 Fj4ytsVA.net
>>681
そのキーワードに反応する奴は本人だな
ふつうその手の底辺大変質者の名前には反応しない
710:１３２人目の素数さん
21/12/23 20:57:07.12 ypzkaLik.net
>>687
つづき
なんか文字化けか
まあ、原文（英文）見てください
Nonstandard models
Main article: Non-standard model of arithmetic URLﾘﾝｸ(en.wikipedia.org)
Although the usual natural numbers satisfy the axioms of PA, there are other models as well (called "non-standard models"); the compactness theorem implies that the existence of nonstandard elements cannot be excluded in first-order logic.[17] The upward Lowenheim?Skolem theorem shows that there are nonstandard models of PA of all infinite cardinalities. This is not the case for the original (second-order) Peano axioms, which have only one model, up to isomorphism.[18] This illustrates one way the first-order system PA is weaker than the second-order Peano axioms.
When interpreted as a proof within a first-order set theory, such as ZFC, Dedekind's categoricity proof for PA shows that each model of set theory has a unique model of the Peano axioms, up to isomorphism, that embeds as an initial segment of all other models of PA contained within that model of set theory. In the standard model of set theory, this smallest model of PA is the standard model of PA; however, in a nonstandard model of set theory, it may be a nonstandard model of PA. This situation cannot be avoided with any first-order formalization of set theory.
つづく
711:１３２人目の素数さん
21/12/23 20:57:39.61 ypzkaLik.net
>>689
つづき
It is natural to ask whether a countable nonstandard model can be explicitly constructed. The answer is affirmative as Skolem in 1933 provided an explicit construction of such a nonstandard model. On the other hand, Tennenbaum's theorem, proved in 1959, shows that there is no countable nonstandard model of PA in which either the addition or multiplication operation is computable.[19] This result shows it is difficult to be completely explicit in describing the addition and multiplication operations of a countable nonstandard model of PA. There is only one possible order type of a countable nonstandard model. Letting ω be the order type of the natural numbers, ζ be the order type of the integers, and η be the order type of the rationals, the order type of any countable nonstandard model of PA is ω + ζ・η, which can be visualized as a copy of the natural numbers followed by a dense linear ordering of copies of the integers.
(引用終り)
以上
712:１３２人目の素数さん
21/12/23 20:57:41.58 lc9st/A9.net
わざわざ変質者の名前を挙げて、その名前への言及は無視しろと言い出す>>681は誰が見ても変質者本人だよな
713:１３２人目の素数さん
21/12/23 20:59:44.79 Fj4ytsVA.net
というわけで以降、このスレで暴れる知能の低い連投魔は「天羽」呼ばわりでオッケー
毎回毎回「誰何」にわざわざ答えてしまうのだから個体識別が簡単過ぎる
714:１３２人目の素数さん
21/12/23 21:12:26.59 ypzkaLik.net
>>687 訂正 ？制御文字削除し再録
非標準モデル
<マイクロソフトEdge 翻訳（若干手直し）>
メイン記事:算術の非標準モデル URLﾘﾝｸ(en.wikipedia.org)
通常の自然数はPAの公理を満たしますが、他のモデル(非標準モデル??と呼ばれる)もあります。コンパクト性定理は、非標準要素の存在を一階論理で除外できないことを意味します。上向きのレーヴェンハイム-スコレム定理は、すべての無限基数のPAの非標準モデルがあることを示している。これは、元のペアノの公理の(二階) には当てはまりません、同型でモデルが 1 つだけになる。??[18]これは、一階システムPAが、二階ペアノ公理よりも弱いことを示している。
ZFCのような一階集合論の中で証明として解釈される場合、DedekindのPAの分類性証明は、集合理論の各モデルが、集合理論のモデルに含まれる他のすべてのPAモデルの初期セグメントとして埋め込まれるペアノ公理のユニークなモデルを有することを示している。集合理論の標準モデルでは、PAのこの最小のモデルは、PAの標準モデルです。しかし、集合理論の非標準モデルでは、PAの非標準モデルである可能性があります。この状況は、集合理論の最初の順序の形式化では避けられません。
可算非標準モデルを明示的に構築できるかどうかを尋ねるのは当然です。1933年にSkolemがそのような非標準モデルの明示的な構築を提供したので、答えは肯定的です.一方、1959年に証明されたテネンバウムの定理は、加算または乗算操作のいずれかが計算可能であるPAの可算な非標準モデルがないことを示している。[19]この結果は、PAの非標準モデルの追加および乗算操作を完全に明示することは困難であることを示している。可算な非標準モデルの順序タイプは 1 つだけです。ωを自然数の順序タイプにし、ζ整数の順序タイプであり、かつ、ηは、その合理性の順序タイプである場合、PAの非標準モデルの並べ替えタイプはω+ζ・η、自然数のコピーとして視覚化され、その後に整数のコピーの密な線形順序付けが続きます。
以上
715:１３２人目の素数さん
21/12/23 21:18:38.90 Fj4ytsVA.net
おい天羽さっさと氏ね
716:１３２人目の素数さん
21/12/23 21:30:26.04 BE95wiCh.net
キチガイに乗っ取られかけてて草
717:１３２人目の素数さん
21/12/23 21:46:23.10 Fj4ytsVA.net
この基地外は誰何にいちいち反応するから個体識別簡単過ぎてだれにも相手にされないだろ
718:１３２人目の素数さん
21/12/23 21:54:51.13 /j9O8+Gr.net
>>693
の意味もわかってないんやろなぁ
自分が主張してるのと正反対の文書引っ張ってきてるわ
719:１３２人目の素数さん
21/12/23 23:13:13.24 Mrud4ebS.net
>>687
ありじゃね？じゃなくて>>680にちゃんと答えてもらえませんか？
>（但し、カッコは上記のように添え字付けられているとする）
と言ってるのはあなた自身なんですから、“ω{”の右隣の”{“も当然添え字付けられているんですよね？
それを答えてもらえばいいだけですよ
720:１３２人目の素数さん
21/12/23 23:54:08.03 Mrud4ebS.net
もしこんな単純な問いにさえ答えられないとしたら
そもそもω{・・0{}0・・}ωとは一体何なのでしょうか？
あなたには分かってるんですよね？答えて下さい
私には分からないです
721:１３２人目の素数さん
21/12/24 04:20:20.90 RzeYM4ff.net
>>664
助詞かおかしくて理解しにくい
722:１３２人目の素数さん
21/12/24 05:25:12.24 .net
>>693
日本語訳あるけど
URLﾘﾝｸ(ja.wikipedia.org)
＞Peano axiomsの非標準モデル?
＞ツェルメロのシングルトンありじゃね？
最小の無限順序数ωは、非標準自然数ではないけど
723:１３２人目の素数さん
21/12/24 05:26:48.64 .net
天羽（てんはね）って誰？
URLﾘﾝｸ(name-power.net)
724:１３２人目の素数さん
21/12/24 06:23:57.78 lHI8dgDH.net
一元🐷なんかよせよせ IUTだけで責めつづけろ
コピぺ要らないから、次からスレッド立てるときは
1でこのテンプレ使えな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だせよ
結果出なかったら、責任とって自刎
以上 ４６４９（よろしく）
725:１３２人目の素数さん
21/12/24 07:29:53.26 ifgx7x+a.net
>>701
ありがと
これだね
URLﾘﾝｸ(ja.wikipedia.org)
算術の超準モデル
算術の超準モデル (英: non-standard model of arithmetic) とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数）を含むようなモデルのことである。それに対し、通常の自然数 N は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、N と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。
目次
1 存在
1.1 コンパクト性定理による方法
1.2 ゲーデルの不完全性定理による方法
1.3 超積による方法
存在
算術の超準モデルの存在を証明する方法はいくつか存在する。
コンパクト性定理による方法
コンパクト性定理を用いて超準モデルの存在を示すことができる。証明の概略は、c を新たな定数として、ペアノの公理系 PA に{n<c:n=1,2,3,...}という形の無限個の公理を付け加えた公理系 PA* を考え、コンパクト性定理によりPA* を満たすモデルN* の存在を示すというものである[1]。PA* はペアノの公理系を拡張したものであるため、当然ペアノの公理を満たしている。また通常の自然数では定数 c をいかように解釈しても PA* を満たすようにはできないため、c は超準数であり、N* は超準モデルとなる。
可算超準モデルの構造
超積モデルは非可算となることが知られている。このことを見るには N の無限直積から超積モデルへの単射を構成すればよい。
他方でレーヴェンハイム-スコーレムの定理により、算術の可算な超準モデルが存在しなければならない。
(引用終り)
つづく
726:１３２人目の素数さん
21/12/24 07:30:48.53 ifgx7x+a.net
>>704
つづき
>＞Peano axiomsの非標準モデル?
>＞ツェルメロのシングルトンありじゃね？
>最小の無限順序数ωは、非標準自然数ではないけど
超準モデル：通常の自然数ではない元（超準数）を含むようなモデルのこと（上記）
だよね。よって、非標準モデルには、標準のωが含まれるよ
いま、ツェルメロの可算無限シングルトンωをωzと書く
ツェルメロの後者関数 suc(a) := {a}>>658を採用したとき
これを使って 自然数Nを尽くせることは、ペアノ公理の通り
ここまでは、良いよね
さて、ツェルメロのシングルトンωzは、標準なのか非標準（non-standard）なのか？
おれは、標準だと思っている
が、仮に標準でないとしても
例えば 上記の コンパクト性定理による方法のc： {n<c:n=1,2,3,...} の一つとして定義可能では？
（なお、コンパクト性定理の使用は、一例にすぎないことを付言しておく。これは上記の算術の超準モデルwikipediaに記載の通り）
以上
727:１３２人目の素数さん
21/12/24 07:34:14.46 ifgx7x+a.net
>>705
>さて、ツェルメロのシングルトンωzは、標準なのか非標準（non-standard）なのか？
補足
ここでの標準の意味は、ノイマン構成におけるωの対応物として、ωｚを考えうるってことです
728:１３２人目の素数さん
21/12/24 07:36:15.80 g+lLz7j4.net
変な奴呼び込んでくれたもんだ
729:１３２人目の素数さん
21/12/24 07:43:28.11 ifgx7x+a.net
>>704 追加
非標準モデル 補足
下記 田畑 博敏 追加するよ
file:///C:/Users/seta/Downloads/tujfersrs0401_37.pdf
第二階論理によるペアノ算術
田畑 博敏*
鳥取大学教育地域科学部紀要 地域研究 第 4巻 第 1号 (2002)
P6
1.3 非標準モデル
ここで,非標準モデルに関する「状況」を一瞥しよう。1930年代にスコーレム(T.Skolem)
よって発見された算術の非標準モデルは,病理的な反例といった程度の認識を得たにすぎなかった
が,1950年以降のヘンキン(L.Henkin)の高階論理と一般意味論の研究,さらにロビンソン
(A.Robinson)のノンスタンダード・アナリシスの展開により,市民権を獲得している。ヘンキン
は,標準意味論とは異なる,一般構造に基づく一般意味論を用いて,算術の(二重の意味で)非標
準なモデルを開発した。一般意味論においては,第二階論理は,強い意味で完全となり,コンパク
ト性も取り戻す。
上記は、下記から辿った
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
脚注
3 ^ 田畑 2002, pp. 37?84
田畑博敏「第二階論理によるペアノ算術 (PDF) 」 『鳥取大学教育地域科学部紀要. 地域研究』第4巻第1号、鳥取大学教育地域科学部、2002年、 37-84頁。URLﾘﾝｸ(repository.lib.tottori-u.ac.jp)
(引用終り)
以上
730:１３２人目の素数さん
21/12/24 07:58:12.74 oxS8Eh2M.net
やっぱり全く意味わかってない
“非標準”という言葉でなんとなく「自分の言ってる事と似てる」と思ったんやろ
もちろんわかるはずないわな
731:１３２人目の素数さん
21/12/24 07:58:35.32 .net
>>705
>超準モデル：通常の自然数ではない元（超準数）を含むようなモデルだよね。
ええ
>よって、非標準モデルには、標準のωが含まれるよ
いいえ
「よって」は論理的に云えません
いかなる超準自然数ｎｎもその前者を持ちます
したがって前者を持たないωとは異なります
732:１３２人目の素数さん
21/12/24 08:07:49.34 NFED+LAA.net
>>708
C:/Users/setaさんコンニチハ
733:１３２人目の素数さん
21/12/24 08:10:52.97 .net
>>705
>いま、ツェルメロの可算無限シングルトンωをωzと書く
>ツェルメロの後者関数 suc(a) := {a}を使って
>自然数Nを尽くせることは、ペアノ公理の通り
>ここまでは、良いよね
いちいち他人に訊かないと自分で正しいと思えないんですか？
それペアノの公理が全然分かってない 受け入れることができてない
そういうことですよね？
>さて、ツェルメロのシングルトンωzは、
>標準なのか非標準（non-standard）なのか？
標準の何ですか？ 非標準の何ですか？ もしかして
「標準の自然数なのか非標準の自然数なのか？」
と尋ねられてますか？
ならばお答えしますが どちらでもありません
そもそも「自然数」ではありませんから
>おれは、標準だと思っているが、仮に標準でないとしても
>例えば コンパクト性定理による方法の
>c： {n<c:n=1,2,3,...} の一つとして定義可能では？
自分で確認できないので、他人にお尋ねになっているのなら
お答えいたしますが、「定義可能ではありません」
n=1,2,3,... とありますが、これは「全ての自然数」ではありません
もしそうなら、超準モデルであることと矛盾します
あなたが、そもそも超準モデルを全く誤解していることがよくわかります
ωは全ての自然数を要素とします
つまり「標準の無限順序数」ですが
（標準、非標準に関わらず）
いかなる「自然数」でもありません
>（なお、コンパクト性定理の使用は、一例にすぎないことを付言しておく。）
誤解してるので無意味です 諦めましょう
734:１３２人目の素数さん
21/12/24 08:12:54.24 .net
>>706
>ノイマン構成におけるωの対応物として、ωｚを考えうる
あなたが勝手にそう思い込んでるだけ
735:１３２人目の素数さん
21/12/24 08:20:58.34 .net
>>708
集合論の非標準モデルでωを考えた場合
ωは非標準モデルにおける全ての自然数を要素とする
（つまり非標準自然数も要素とする）
なお、非標準モデルは無数にあるし
考えうる全ての非標準自然数による
「究極の非標準モデル」なるものは存在しない
２階論理では、１階論理の自然数論における標準モデルだけに制限するような
表現が可能になるが、その代わり２階論理の真なる命題の全てを証明できるような
帰納的な公理系は存在しない
736:１３２人目の素数さん
21/12/24 08:28:50.85 lHI8dgDH.net
non-standardっていうかextraordinaryだろ
どういう意味でかはあえていわないが
IUTだけで責めつづけろ
コピぺ要らないから、次からスレッド立てるときは
1でこのテンプレ使えな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だせよ
結果出なかったら、責任とって自刎
以上 ４６４９（よろしく）
737:１３２人目の素数さん
21/12/24 08:34:37.29 PmGlK8x6.net
>>705
理解してないことを書かなくていいですよ。
>>680に答えてもらえればそれで良いです。
早く答えてもらえませんか？
738:１３２人目の素数さん
21/12/24 08:34:58.50 ifgx7x+a.net
下記 Buzzardの原稿
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板:84番)
84 名前：38[] 投稿日：2021/12/23(木) 19:42:33.42 ID:iz9G4jw+ [1/2]
Buzzardの原稿が出たヨ！
URLﾘﾝｸ(arxiv.org)
>A great example is Mochizuki’s claimed proof of the ABC conjecture [Moc21].
>This proof has now been published in a serious research journal, however
>it is clear that it is not accepted by the mathematical community in general.
86 名前：１３２人目の素数さん[] 投稿日：2021/12/23(木) 20:46:56.21 ID:a0F2ZqKI
>>84
ホントに出ていたね。その引用部分の少し後に次のことが書かれている。
Furthermore, the key sticking point right now is that the unbelievers argue that more details are needed in the proof of Corollary 3.12 in the main paper,
and the state of the art right now is simply that one cannot begin to formalise this corollary without access to these details in some form
(for example a paper proof containing far more information about the argument)
(引用終り)
”Comments: 28 pages, companion paper to ICM 2022 talk”と明記もあるね
思うに、その意図は、「反論あるなら言ってきてね。反論の機会を与える。反論なき場合はこのまま総会発表とする」ってことか
（西洋流で、「黙っていたから 認めたってことじゃん」みたいなｗ）
普通は、こんな形でプレプリ出さない気がするな
さあ、面白くなってきたかも
ドンパチ派手にやってほしい
739:１３２人目の素数さん
21/12/24 08:35:22.75 g+lLz7j4.net
こっちは隔離スレと考えることもできるか
740:１３２人目の素数さん
21/12/24 09:27:59.14 HWWEgHp/.net
今更…
741:１３２人目の素数さん
21/12/24 09:33:26.74 .net
Kevin Buzzard
URLﾘﾝｸ(en.wikipedia.org)
専攻は代数的整数論らしいね
742:１３２人目の素数さん
21/12/24 09:36:51.56 ID
743::lHI8dgDH.net
744:１３２人目の素数さん
21/12/24 09:39:13.91 g+lLz7j4.net
>>721
こういうのって自作自演って言っていいの？
だれか自作自演の定義を教えて
745:１３２人目の素数さん
21/12/24 10:24:05.79 jbgjfQO+.net
匿名掲示板を自演で埋め尽くす精神障害症状
746:１３２人目の素数さん
21/12/24 10:56:46.58 lHI8dgDH.net
>>722
>こういうのって自作自演って言っていいの？
>>721の文中アンカーのことなら>>717の誤り
747:１３２人目の素数さん
21/12/24 11:39:40.72 r1v8Lfc/.net
え、志甫敦さんもIUT支持者なの？
クリスタリンヌ・コホモロジーを、ドリーニュの理論を超える形で発展させた大天才・志甫さんが？
これはひょっとすると...？
748:１３２人目の素数さん
21/12/24 11:55:24.22 ydqRIuVX.net
>>725
こんな白々しいレスでなんとかなるような状況ではない
アホセタレベルならそう思うのかもしれんがね
749:１３２人目の素数さん
21/12/24 11:59:16.19 jbgjfQO+.net
匿名掲示板で日本語版ウィキペディアを引用しては埋め立て連投をするのは元管理者Su-no-Gのなかのひと＝山形キチガイジおばさんの特徴
健常者なら日本語版ウィキペディアが落ちこぼれの巣窟だと知っているから、ウィキペディア記事など引用しない
750:１３２人目の素数さん
21/12/24 12:06:26.54 g+lLz7j4.net
ここはここで価値があるな
他に出ていって攻撃し出したら迷惑かけるもんな
ABC予想の魔力に惹かれて
こんな変なやつも来るわな
ここで怒って現実世界で暴れないためにも
ここで荒らすのは許してやるか
751:１３２人目の素数さん
21/12/24 12:07:26.53 g+lLz7j4.net
うざってーなー
752:１３２人目の素数さん
21/12/24 15:06:12.82 lHI8dgDH.net
>>728
ここで暴れる馬鹿は
実社会でも暴れるから無意味
コピぺ要らないから、次からスレッド立てるときは
1でこのテンプレ使えな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だせよ
結果出なかったら、責任とって自刎
以上 ４６４９（よろしく）
753:１３２人目の素数さん
21/12/24 17:47:22.81 hs7k77zS.net
>>717 自己レス
(引用開始)
”Comments: 28 pages, companion paper to ICM 2022 talk”と明記もあるね
思うに、その意図は、「反論あるなら言ってきてね。反論の機会を与える。反論なき場合はこのまま総会発表とする」ってことか
（西洋流で、「黙っていたから 認めたってことじゃん」みたいなｗ）
普通は、こんな形でプレプリ出さない気がするな
さあ、面白くなってきたかも
ドンパチ派手にやってほしい
(引用終り)
・いままで、こんな形でICMのプレプリ出したことあったかな？
・普通は、主催者のICMサイトで主催者が原稿集めて、アップするとかでしょ
あるいは、フェセンコ氏のように、個人のサイトにアップするくらいだったのでは？
・つまり、 Buzzard氏は自分の書いたIUTを含む辛辣な批評が、陰口にならないように
早めに、arxiv投稿で晒して、反論や意見の機会を与えることにしたのではないかと思う
なので、どっかBuzzard氏の近くで、公開討論会でもやらんかなぁ
（複数対複数が良いと思うな）
Buzzard氏は、在Londonか
フェセンコ先生がいるじゃない
（フェセンコ先生が黙ってないかもよ）
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Kevin Mark Buzzard (born 21 September 1968) is a British mathematician and currently a Professor of Pure Mathematics at Imperial College London. He specialises in algebraic number theory.
754:１３２人目の素数さん
21/12/24 18:04:45.07 lHI8dgDH.net
なにわけのわからんこといってるか この賎民は
次からスレッド立てるときは
1でこのテンプレ使えな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だせよ
結果出なかったら、責任とって自刎
以上 ４６４９（よろしく）
755:１３２人目の素数さん
21/12/24 18:37:22.32 hs7k77zS.net
>>731 自己レス追加
・ショルツェ氏が間違った単純化をしたことは悪いけど
IUT側が、正しく単純化した分かり易いオーバービューが提供できていない
「論文をちゃんと読めば書いてある」の一点張りに近い形で今まで来たことは、事実
・今後は、ここらを改善していく必要ありだろう
Buzzard氏の主張は、これも含んでいるよね
・彼は、かなり中立の立場で、書いている気がする
そこは、ショルツェ氏のレビューとは、かなりトーンが違うと思うな
756:１３２人目の素数さん
21/12/24 20:01:49.00 mKY5Tc4B.net
何で勢多森明緒は数学書浸けの毎日を送っとる癖に非標準やらノンスタンダードやらを超準と読み変えられんのじゃ？
やはり勢多森明緒は
じれったい集合A
757:１３２人目の素数さん
21/12/24 20:50:41.33 ifgx7x+a.net
>>734
”超準”は、「Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった[4][5]。」という
つまり、まだ”超準”は”超準解析”専用の用語であって
広く一般の”Nonstandard ”に対しては、「非標準」が普通だろう
URLﾘﾝｸ(ja.wikipedia.org)
超準解析
超準解析（英: nonstandard analysis）[1][2][3]は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった[4][5]。無限小解析（infinitesimal analysis）という言葉で超準解析を意味することもある。
超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。[6][7]
758:１３２人目の素数さん
21/12/25 05:46:09.76 jv6dRqJG.net
●色りぞるばー ぜーっと
”超準”集合Aの歌詞を考えてみた
「いわゆるフツーの60歳だな
落ちこぼれのこと知らなすぎるぞおまえ
晩生なのはしかたないけど
似たようなボケ誰でもかましてるぜ」
閑話休題
次からスレッド立てるときは
1でこのテンプレ使えな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だせよ
結果出なかったら、責任とって自刎
以上 ４６４９（よろしく）
759:１３２人目の素数さん
21/12/25 07:02:45.55 1zgWFzpv.net
>>708
どうして頑なに>>680に答えないんですか？
しょうがないですねえ、私が代わりに答えてあげましょう。
ω{の右隣りのカッコをn{と書きます。
ω>n でなくてはなりません。
ωは最小の極限順序数なので、ωより小さいどの順序数も自然数であり、よってnは自然数です。
従って ω{・・0{}0・・}ω = ω{n{・・0{}0・・}n}ω は有限重シングルトンです。
添え字を付けてくれたお陰であなたですら理解可能な証明ができました。有難うございました。
760:１３２人目の素数さん
21/12/25 07:58:29.63 .net
>>737
>どうして頑なに>>680に答えないんですか？
答えられないからでしょう
答えたら自分の誤りを認めざるを得ない 負けざるを得ない
それが受け入れられない弱い精神の持ち主だからでしょう
精神が弱くても結構ですが、それでは彼には一生数学は理解できない
何度もでも誤りそこから立ち上がる強い精神が無くては何も学べませんから
761:１３２人目の素数さん
21/12/25 08:08:07.92 .net
>>737
>しょうがないですねえ、私が代わりに答えてあげましょう。
>ω{の右隣りのカッコをn{と書きます。
>ω>n でなくてはなりません。
>ωは最小の極限順序数なので、
>ωより小さいどの順序数も自然数であり、
>よってnは自然数です。従って
> ω{・・0{}0・・}ω = ω{n{・・0{}0・・}n}ω
>は有限重シングルトンです。
ええ、「ω{の右隣のカッコが存在するなら」あなたの云う通りでしょう
これに対して、彼はきっとそういいかえす筈
「それじゃ、全ての自然数が現れないじゃん」
もし、ω{の右側に、任意の自然数ｎに対応するn{が存在するなら
ω{の右隣のカッコは存在しない
なぜなら、ペアノの公理により「最大の自然数」は存在しないから
つまり、いくら番号を付けようが意味がない
"ω{"と"}ω"の中にあるものは集合ではない
只のアトムなら別にカッコを用いて書きあらわす必要がない
つまりωを「アトムを要素するシングルトン」とするのは結構だが
アトムはアトムでしかないから、「可算重」という言葉の意味がなくなる
そういうことですね
>添え字を付けてくれたお陰で
>あなたですら理解可能な証明ができました。
>有難うございました。
彼は理解はできてもそれを
762:認めることができないでしょうね 何しろ自分が決して誤らないという幼稚な誇大妄想の壁の中に閉じこもってるから 60過ぎてもそれじゃ死ぬまで変わらないでしょう 実社会ではどれほど偉い人物か知りませんが この板ではただの3歳児です 実年齢の20分の1ですか 知能指数は･･･100*3/60=5 ？！
763:１３２人目の素数さん
21/12/25 08:11:20.95 .net
ところで、ωを
「アトムaを要素するシングルトン」
とした場合、重大な問題が発生します
それは
「任意の自然数nについて、どうやってω>nを示すか」
が全く示されていないということ
ωが「無限個の自然数を要素とする集合」であれば
ωから任意のnへの有限長の∋列が存在するので
全く問題ありませんが
764:１３２人目の素数さん
21/12/25 09:08:25.58 AJOGh3OI.net
ヒント：IUTを使えば無限重集合も説明可能かもしれません
IUT IV Section 3 に
V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ . . . ∈ V_n ∈ . . . ∈ V
と書いてありますから
ﾅ ﾅﾝﾀﾞｯﾃｰ!!
Ω ΩΩ
765:１３２人目の素数さん
21/12/25 09:38:46.00 cd4R5XTj.net
>>704-706
まとめておくよ
1．ツェルメロのシングルトンによる自然数の公理化以来、100年以上の研究の歴史がある
2．21世紀の数学の議論は、この100年以上の研究の歴史を踏まえた議論であるべき
3．例えば、二人AとBとで議論していて、二人で”非標準モデル”を考えたが、うまく定義できなかった
だから、「”非標準モデル”は存在しない」という結論に至った
これは、おかしいよね。”非標準モデル”は既に何十年かの研究がある
4．と同様に、ツェルメロの可算無限シングルトン ωz>>705 を論じるとき
「おまえ、ωzをキチンと定義してみろ。キチンとした定義になってないから、ωzは存在しない」という結論は早計だ
基礎論100年以上の研究の中で、何かの大理論の一つの系として、ωzは存在しうる可能性がある
基礎論100年以上の研究を自分で調べるのは不可能。だから、手近なwikipediaで代用している（必要に応じて、さらにキーワード検索をしている）
5．さて、ツェルメロの可算無限シングルトン ωzだが
1）ZFCとは、空集合Φ＝{}から出発して、これにZFC内で認められた通常の集合演算を繰り返し適用して、可算無限集合及びさらには非可算集合を構築する
2）いま、有限の繰返しを考えると、繰返し無しならΦのみ、1回で{Φ}、2回で{{Φ}}や{Φ,{Φ}}・・
例えば{Φ,{Φ}}で{}のネスト深さが2だ（最も深いところのΦに到達するまでの）
だから、ネスト深さがnならn回の集合生成を繰り返したってことだ
つづく
766:１３２人目の素数さん
21/12/25 09:39:18.14 cd4R5XTj.net
>>742
つづき
3）さて、無限公理で、ノイマン構成の任意のaに対してその後者suc(a)を含む集合が存在して、それは結局は無限集合となる
その無限集合には、ネスト深さ無限の要素が含まれなければならない
（もし有限のネスト深さの要素しか含まれないならば有限集合でしかなく矛盾。
勿論、自然数Nの任意の元nはどれをとっても有限だが、nには上限がないってところがミソだ(レーヴェンハイム・スコーレム>>72)）
4）これを、ツェルメロのシングルトンについて見ると
・シングルトンは、ネスト深さｎで最も単純な集合{・・{Φ}・・}である（濃度(card)1でもある）
・ノイマン構成で全ての順序数の体系がそろった。順序数ωなる集合も出来たとする。その集合はネスト深さωと考えられる（少なくとも有限ではない）
・そして、ωzはネスト深さωで最も単純な集合と考えられる
・ωに対し、さらに{ω}、{{ω}}・・が考えられる
だから、ωzがあれば、{ωz}、{{ωz}}・・となって、ネスト深さω+1,ω+2,・・レベルでも、最も単純な集合(Φからのシングルトン)が存在することになる
5）ここで、便宜上添え字付きカッコ>>265を採用している。添え字が無いと、∞+1＝∞のように濃度演算と混乱してしまう
添え字付きで、正則性公理の適用を排除している
{・・{Φ}・・}で、外のカッコを外したとき、・・{Φ}・・という状態になる。つまり、上限の無い状態になる。で、それがどうした
そもそも、ノイマン構成でも同じ状態 N＝{0,1,2,・・}で、カッコを外して整列すれば、0,1,2,・・と上限の無い状態になる
それが悪い？ ご冗談を。ωzもN＝{0,1,2,・・}と同じだよ
ただ、これだけの話だが、アンチIUTの二大巨頭 サイコパスのおサル>>5-6と数理論理君は、ツェルメロの可算無限シングルトン ωzが存在しないという
ただただ 喚くだけで、数学的に無内容な主張を繰り返す。それは、IUTに対する非難中傷と同じ構図ってことです
以上