[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む18 [無断転載禁止]©2ch.net (718ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
625: 現代数学の系譜11 ガロア理論を読む 2016/05/05(木)08:51 ID:tEqEfy29(6/18) AAS
>>612
>>> 問題Bにおいて時枝の戦略が成り立つことを、お前は認めるのか？
No
∵>>622-624
629(1): 現代数学の系譜11 ガロア理論を読む 2016/05/05(木)10:53 ID:tEqEfy29(9/18) AAS
>>623で、「数学のモデルとして、>>559-560に示したモデルと>>562のあなたのとは、並立可能なのか？」と問うた
「数学基礎論」の示すところ、無限を扱うとき、公理系の選び方で、「特定の公理系では証明も反証もできない問題が数多く見いだされた」という（例えば下記）
だから、並立可能なのかも知れない。が、反論はあなたの番だよ。
>>559-560に示したモデルを（数学的に）否定するか、>>562を守るか、別の有限モデルからの極限として時枝解法を示すか
数学的には、３択問題と思うがどうよ
外部ﾘﾝｸ:ja.wikipedia.org
数学基礎論
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ ｱﾎﾞﾝOFF
ぬこの手 ぬこTOP 0.038s