[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
194(1): 2024/06/12(水)18:34 ID:HnQbEE+9(5/15) AAS
>>192
全然おかしくないけど
「任意の無限列sと、自然数nに対して
ある無限列rが存在して
nがd(s)以上なら
sのn番目の項とrのs番目の項が一致する」
rはsの尻尾同値類の代表列
d(s)はsの決定番号（sとrの尻尾の一致箇所の先頭）
それより噴飯なのはこれ
>∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r
197(1): 2024/06/12(水)19:02 ID:M1GZfUZp(8/20) AAS
>>194
r=sでいいだろ
バカなの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s