24/02/22 22:04:08.28 saDE2cha.net
>>805はSergiu HartのGame 2よりも更に簡単
全ての列が空列と尻尾同値
２進有限小数を無限桁で考えた場合にあたる
もちろんｎ進有限小数としてもいいし
さらに中身の種類を無限に増やしてもいい
ただし空でない箱の数は必ず有限とする
そうしないと「任意の列が空列と尻尾同値」という性質を満たさなくなるから
24/02/22 22:04:08.28 saDE2cha.net
>>805はSergiu HartのGame 2よりも更に簡単
全ての列が空列と尻尾同値
２進有限小数を無限桁で考えた場合にあたる
もちろんｎ進有限小数としてもいいし
さらに中身の種類を無限に増やしてもいい
ただし空でない箱の数は必ず有限とする
そうしないと「任意の列が空列と尻尾同値」という性質を満たさなくなるから