[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
115(1): Mara Papiyas ◆y7fKJ8VsjM 2021/10/10(日)15:29 ID:WvyKzuhg(16/18) AAS
>>113
>保存拡大は、二つの論理系(mathematical logic)について言うもものだが
>無限シングルトンの話は、一つの公理系中で完結するから、
>基本的に保存拡大とは無関係だよ
アルェー、お🐒のSET A君 今日の08:59:29.44に
>>92でなんて書いたかもう忘れたの？ｗ
>1．可算多重シングルトン {{・・{{}}・・}}が、
> 仮に正則性公理を満たさないとしても、
> ”non-well-founded set theory”もあるから、
> 存在しうるよ
省9
151(1): 2021/10/13(水)08:12 ID:1dTgAsTd(5/38) AAS
>>147
>「ωに対応する {{{...}}}ω＝{}の可算多重の存在」が、
>1)ZFCの中か、
>2)ZFCの外だが別の集合論の中か、
>3）完全に（既存の多用な）集合論の外か
>それには、こだわらない。だが、
>上記1)〜3)のどれも未証明だよね。
え？まだわかってないの？
1)とは矛盾するよ こんなの大学1年生の問題だけど
2)でも、x={x}（つまりｘ=x+1)となる集合が存在するだけで、
省4
256(1): 2021/10/15(金)07:36 ID:W7p98/kC(6/23) AAS
>>252
>ペアノの公理の何かの後者関数を使って、自然数nが作られて、
>0,1,2・・という列をコンパクト化するのに
>0,1,2・・,ωとするってこと。
ωという一点を加えるとしか言ってないよ
>n→∞の極限点（極限順序数）を加えるってこと。
極限点としか言ってないよ
>それは射影の無限遠点に相当するものだ
それ、ただの比喩だよ
>よって、ツェルメロの「後者関数として、aの後者{a}」の極限 n→∞として、
省10
302(1): ω1 ◆y7fKJ8VsjM 2021/10/16(土)10:50 ID:3noIbAnj(7/10) AAS
>>300
>”a ∪ {a} -→ {a}” のように、余分の aを取ると、{a}になる
>ここに、”-→” を、余分のaを取る操作を表すとする
>1 = {{}} -→ {{}}1、 ネストの深さ1
>2 = { {}, {{}} } -→ {{{}}}2、 ネストの深さ2
>3 = { {}, {{}}, {{}, {{}}} } -→ {{{{}}}}3、 ネストの深さ3
>4 = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } } -→ {{{{{}}}}}4、 ネストの深さ4
> ・
> ・
ああ、その方法は可能だね・・・後続順序数の場合には（ニヤリ）
省11
467(1): 2021/10/23(土)08:54 ID:Bd9CL3YV(11/22) AAS
>>463
>数学基礎論が衰退したのは何故か？
そもそも衰退したんですか？ｗ
>1．ヒルベルトの数学の公理化は、ある一定の成果を上げた
そもそも、ここから誤解がありますね
ヒルベルトのいう公理化と、
ブルバキのいう公理化は、
そもそも目的が違いますよ
前者は無矛盾性証明という目標を達成するためのもの
後者は数学全体の構造化ですね
省33
570(2): 2021/10/26(火)18:53 ID:dtmrCfpC(1/2) AAS
情報の羅列の意図と内容の乖離によりゴミ
理解できる能力の有る人は自ら探す事が出来、>>1の活動はむしろ水を差しているに等しい
573(2): 2021/10/26(火)21:01 ID:LjtWVcup(3/4) AAS
>>570
>理解できる能力の有る人は自ら探す事が出来、>>1の活動はむしろ水を差しているに等しい
ID:dtmrCfpCさんか
必死チェッカーもどきで調べると、下記
16時から20時まで、5ｃｈ徘徊し4レス投稿で
ゴミレスを書き散らすか
「理解できる能力の有る人は自ら探す事が出来」には、
明らかに自分は含まれていないね
(参考)
外部ﾘﾝｸ[html]:hissi.org
省26
583(2): 2021/10/27(水)12:09 ID:O7+c++yB(4/11) AAS
>>582
レスありがとう
森 重文先生は、推測だが、おそらくはIUT支持派でしょう
（つまり、IUTダメと思ったら、止めに入るでしょう。だってもとRIMSの長だもの。
少なくとも、「おれに分かるように説明しろ！」くらいは言うでしょうね。
だって、SSとの討論を仕掛けた張本人だから）
拓郎先生は、下記で、IUT出版の序文に編集委員として名前を出している（連帯責任）
（>>1より）
IUT出版序文リンク Andrew Putman 2021年3月6日
外部ﾘﾝｸ:drive.google.com
省9
700(2): 2021/10/30(土)17:35 ID:zgBubH+2(16/31) AAS
>>695
>だって、正則性公理により無限長の降鎖がないっていったら
>「いや、無限長の昇鎖はある！」（だから降鎖もある）
>って速攻で文句つけてたじゃん
なんか、誤解があると思うな
どの発言だい？ 他人の発言と勘違いじゃね？
正則性公理が禁止しているのは、”∈”を使う二項関係を、
集合の大小 ”＜”と見なしたときに
空集合{}が最下層のどん底であり、
”・・{}∈{}∈{}∈{} ”みたいな無限連鎖を禁止するってことです
省31
703(1): 2021/10/30(土)17:50 ID:jsIfaBFZ(14/23) AAS
>>700
>>正則性公理により無限長の降鎖がないっていったら
>>「いや、無限長の昇鎖はある！」（だから降鎖もある）
>>って速攻で文句つけてたじゃん
>なんか、誤解があると思うな
>どの発言だい？ 他人の発言と勘違いじゃね？
覚えてないんだね 随分都合がいい頭だねｗ
>正則性公理が禁止しているのは、
>”∈”を使う二項関係を、集合の大小 ”＜”と見なしたときに
>空集合{}が最下層のどん底であり、
省25
805(1): 2021/11/01(月)19:27 ID:S5VLTjgn(8/10) AAS
>>801
>1．自然数Nの空でない部分集合Aを取って、その元を降順に並べて、列を作る
> 但し0を含むから
> a_1>a_2>…＞a_n>…> 0 となる
もし、Aの元全部を並べるつもりなら
必ず上記のようにできるとはいえない
なぜなら、Aが無限集合なら、
そもそも最大元がないから
始まりとなるa_1が存在しない
おわかり？
省18
820(2): 2021/11/02(火)08:01 ID:W8uEDlcI(5/14) AAS
>>818
>0,1/2,2/3,・・,(n-1)/n,・・,1 この列がω+1だってことね
>1より左は、・・としか書けないよね、ωは極限順序数だから
で、それ1から始まり0で終わる降鎖になる？
ならないよね？1の次の「1より小さい数」がないから
ωは極限順序数で、前者がないから
>>783にある、降鎖の定義、理解してる？
「順序集合Aの元の列(a_n)n∈Nで、
a_1>a_2>…＞a_n>…
となるものをAにおける降鎖という」
省3
829: 2021/11/02(火)13:18 ID:W8uEDlcI(9/14) AAS
>>826
>”a_1＝ｎ+1もあり、a_1＝ｎ+2もあり・・、となる”
>の部分は、数学的帰納法だよね？
違うんじゃね？
>これ、どう説明すんの？
なんで説明がいるの？
>>1・・,(n-1)/n,・・・・,2/3,1/2,0
>>この「無限列」で、a_1=1として、a_2は何？
>>もうずっと同じ質問を繰り返しされてるけど一度も答えないよね
>それは、こちらの言い分だよ
省4
836(1): 2021/11/03(水)06:40 ID:dCkKgOCS(1/13) AAS
>>835 １〜３ その前振り、要らない
４
>> 1)「＜上昇列 ０＜１＜・・・ω という無限列があり得る」
>> 2)「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」
> これを見るに、自然数の集合Nにωを一つ加えただけだから、
どっちが？どっちも？なら誤り
1)はおっしゃる通りだが
2)はそうではない
なぜなら、2)のωを除いた列は最大値を持つから
ここ、君の最初のつまづき
省35
845(1): 2021/11/03(水)14:17 ID:dCkKgOCS(5/13) AAS
>>783の降鎖の定義（松坂和夫）
「順序集合Aの元の列(a_n)n∈Nで、
a_1>a_2>…＞a_n>…
となるものをAにおける降鎖という」
により
…>2>1>0
は降鎖ではない
なぜなら、a_1にあたる項がないからである
また
ω･･･>2>1>0
省5
852: 2021/11/03(水)14:50 ID:bYOpU002(9/18) AAS
>>844
>上記の証明は>>663と基本的に同じだけど、理解してる？
形式は一致しているが、>>663の証明はクソだとしか思えない
グダグダ書いているわりに、内容がない
>>845
>…>2>1>0
>は降鎖ではない
>なぜなら、a_1にあたる項がないからである
だから、そこを指摘したのは、おれだよｗ
（>>781 再録 ”上記”集合Aについて、a_n∈Aとなる無限長の降鎖(a_n)n∈N”は、松坂和夫氏からでしょ？
省7
854(2): 2021/11/03(水)15:15 ID:dCkKgOCS(10/13) AAS
>>853
>>上記の証明は>>663と基本的に同じだけど、理解してる？
>形式は一致しているが、>>663の証明はクソだとしか思えない
それ、感情論
>>…>2>1>0
>>は降鎖ではない
>>なぜなら、a_1にあたる項がないからである
>だから、そこを指摘したのは、おれだよ
いや、みんな前から指摘してる
あなたが最近やっと気づいただけ
省9
857(3): 2021/11/03(水)17:32 ID:bYOpU002(11/18) AAS
>>854
(引用開始)
>>…>2>1>0
>>は降鎖ではない
>>なぜなら、a_1にあたる項がないからである
>だから、そこを指摘したのは、おれだよ
いや、みんな前から指摘してる
あなたが最近やっと気づいただけ
(引用終り)
ふふふｗ
省19
860(1): 2021/11/03(水)18:00 ID:dCkKgOCS(12/13) AAS
>>857 １〜４はすっとばして
>５．･･･数列が自然数のような無限長列では、
>自然数から無限長の降下列（＝降鎖）は出来ないのです
やっと気づいたの？
みんなず〜っとそういってたけど、君一人
「いや、終わりが決まってたら始まりなしで無限長でもＯＫ！」
って駄々こねてたんだけどね、
やっとそれでは定義にあてはまらないと観念したんだね
おめでとう！
>順序数ωが集積点になっているということ
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.057s