[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む81 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
827(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/28(火)08:02 ID:auTO9ODI(1/8) AAS
>>826
なんだ？
ほとんど、自分たちの錯覚を自白しちゃったの？
”代表元が誰にとっても共通である、という自明な前提”
これ、証明がない
”「元の数列−代表元」 という新たな列（実質的な有限列）を考えることにより
時枝問題は以下の問題と同値になることがいえる
省9
828(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/28(火)08:07 ID:auTO9ODI(2/8) AAS
>>827
まあ、ジムの数学徒さん（>>5）でも、誰でも良い
エレガントな”回答”を求む
時枝否定派の人
>>816 >>820
について、The Riddle の不成立の証明でも説明でも 良いから
なんか、書いてみて
省1
835(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/28(火)21:04 ID:auTO9ODI(3/8) AAS
>>833
１）
いま、時枝の可算無限の箱に、円周率から数を取って
3,1,4,1,5,9,2,6,5,3,5,・・・という数列を作った
この数列の属する同値類をPaiと名付けた
列を作った その人は、πが好きだったので、上記の数列をそのまま代表とした
２）
省22
836(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/28(火)21:05 ID:auTO9ODI(4/8) AAS
>>835
カノニカルな代表が無ければ
人の数だけ、代表があるぜｗｗ（＾＾
848(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/28(火)23:27 ID:auTO9ODI(5/8) AAS
>>835-836
１）数学的に一意と
２）人為的に1つに決定できる
この違いが分かってない人達がいるな
おれが言っているのは、
代表は、数学的に一意ではないってこと
当然、回答側は好きにに代表は選べるさ
省7
849: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/28(火)23:29 ID:auTO9ODI(6/8) AAS
>>848 タイポ訂正
当然、回答側は好きにに代表は選べるさ
↓
当然、回答側は好きに代表は選べるさ
当然、100がだれかが決めた代表を共有することは許されるさ
↓
当然、100人がだれかが決めた代表を共有することは許されるさ
850(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/28(火)23:33 ID:auTO9ODI(7/8) AAS
>>828
ジムの数学徒さん（>>5）を含む 時枝否定派の人たち
エレガントな”回答”を求む
時枝否定派の人
>>816 >>820
について、The Riddle の不成立の証明でも説明でも 良いから
なんか、書いてみて
省1
851(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/28(火)23:59 ID:auTO9ODI(8/8) AAS
>>848
下記、mathoverflowの 質問者のDenis氏も、100％数学としては質問していない
だから The Riddle と その変形の The Modification としているでしょ
そして、Denis氏が自白しているように、彼は確か英国の研究所だったかの勤務だが
研究所の自分の周囲の研究者と議論したら否定されたとある
下記だな
”but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s