[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む18 [無断転載禁止]©2ch.net (718ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
562(6): 2016/04/29(金)20:13 ID:p7s/3faH(1) AAS
>>559-560
極限の取りかたは他にもあって
任意の実数をXiと書くことにして
Xiが1個, 0が 99個 : X1, 0, 0, 0, 0, ... , 0
Xiが2個, 0が198個 : X1, X2, 0, 0, 0, ... , 0
Xiがn個, 0が99n個 : X1, X2, ..., Xn, 0, 0, 0, ... , 0
あるいは
省6
599(1): 現代数学の系譜11 ガロア理論を読む 2016/05/04(水)21:58 ID:vN4s28Oq(14/18) AAS
>>562 批判
どうも。スレ主です。
>極限の取りかたは他にもあって
>スレ主は最初から数当てが不可能な数列のみを考えている
季節は５月。新入生や、大２、３回の進級生もいる
なので、>>562に対し数学的な批判をしておく
お説は、当たっているかもしれないが
省3
607(4): 現代数学の系譜11 ガロア理論を読む 2016/05/04(水)22:58 ID:vN4s28Oq(16/18) AAS
>>600 ”well defined”続き
同値関係、商集合
”well defined”であるために
１）1 つの同値類は、それに含まれている元のうちどれをとっても、それを代表元とする同値類はもとと同じ集合になる（代表元の取替えによって不変である
２）ある元が、異なる二つの同値類に属すことがあってはならない
２）については、当たり前すぎて明記されていないが、すぐ分かるだろう
そこで、>>559に戻ると、箱の数ｎ（＝箱の数の長さ）で、n=3を考えると(>>560の列の長さ3に同じ)、
省9
623(3): 現代数学の系譜11 ガロア理論を読む 2016/05/05(木)08:48 ID:tEqEfy29(4/18) AAS
>>622
ところで、>>559-560に示したモデルに対して、あなたは、別のモデルも可能だと>>562を書いた
>>562に対しては、>>569で ID:oT//FcJnさんから、「貴方は貴方で支離滅裂。」と批判されていたね
>>562は、いまでも有効なのか？ それとも取り下げたのか？
そして、>>562に書いた「スレ主は最初から数当てが不可能な数列のみを考えている」という>>559-560に対する批判はそれだけか？
「スレ主は最初から数当てが不可能な数列のみを考えている」というのは、随分と文学的だ
数学的批判は、無いのか？
省1
624(1): 現代数学の系譜11 ガロア理論を読む 2016/05/05(木)08:49 ID:tEqEfy29(5/18) AAS
>>623 補足
>>559で書いたように、時枝のいうルーマニア解法に対する批判は、可算無限長の数列のしっぽによる同値類分類は、「"(1)無限を直接扱う，"というトリックをやっている」と
つまり、あなたが>>615で書いた、時枝は「同値関係（推移律）は記事のp.36でハッキリと証明済」という件は、"(1)無限を直接扱う，"というトリックの上でだ
>>559-560に示したモデルでも、長さ有限の場合に、同値関係（推移律）はきちんと成り立っている。そして、n→∞の極限を考えている
そのモデルの上で、ルーマニア解法が一般解法（特定の場合に限定されない）としてどうかと。期待値としてＤ→∞を示した。
批判のキモは、「"(1)無限を直接扱う，"というトリックをやっている」のはルーマニア解法だと
そして繰り返す。>>559-560に示したモデルに対して数学的批判（数学的に不成立とか）はないのか？ >>562は取り下げたのか？
省2
629(1): 現代数学の系譜11 ガロア理論を読む 2016/05/05(木)10:53 ID:tEqEfy29(9/18) AAS
>>623で、「数学のモデルとして、>>559-560に示したモデルと>>562のあなたのとは、並立可能なのか？」と問うた
「数学基礎論」の示すところ、無限を扱うとき、公理系の選び方で、「特定の公理系では証明も反証もできない問題が数多く見いだされた」という（例えば下記）
だから、並立可能なのかも知れない。が、反論はあなたの番だよ。
>>559-560に示したモデルを（数学的に）否定するか、>>562を守るか、別の有限モデルからの極限として時枝解法を示すか
数学的には、３択問題と思うがどうよ
外部ﾘﾝｸ:ja.wikipedia.org
数学基礎論
省7
632: T 2016/05/05(木)11:38 ID:aGwgFNeF(8/14) AAS
>>629
なにか勘違いしているようだが>>562は俺ではない。
>>562の内容にコメントしたことはないし、コメントするつもりもない。
記事の問題Bをわざわざ別の問題に置き換え、話を分かりづらくするような議論には関与しない。
一方>>568の不明点に質問したID:oT//FcJnは俺である。
>>569-580は単なる質疑応答であり、その結果
>>568
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ ｱﾎﾞﾝOFF
ぬこの手 ぬこTOP 0.035s