[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む75 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
574(3): 哀れな素人 2019/08/21(水)08:17 ID:YhhTTu/r(3/15) AAS
時枝不成立は、次のようなことを考えてみれば分る。
s＝1、3、7、8、5、6、□、2、0、4、3、3、……
この数列の７桁目から同値な数列の代表元ｒ
を作成することはできるだろうか。
つまりたとえば
r＝4、1、6、2、9、4、□、2、0、4、3、3、……
のようなｒを用意することはできるだろうか。
それはできない。なぜなら□の中には
無限に多くの数を入れることができるからである。
このことは□がどの位置にあっても同じだから、
s＝□、□、□、□、□、□、□、□、□、□、……
のような状態、つまりｓの箱が開けられていない状態では
決して代表元ｒは作成できない。
ところが時枝戦略は、箱を開ける前にあらかじめ
全同値類の代表元を用意しておく、という戦略である。
しかしこれは不可能だから、時枝戦略は成立しない。
上下前次1-新書関写板覧索設栞歴
あと 428 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.009s