24/02/12 19:08:14.97 aIPiDkR2.net
「箱入り無数目」では100列s1,…,s100は定数だが
関数はもちろん使っている
r(x)：無限列xから、その尻尾同値類の代表列を返す関数
d(x)：無限列xから、その決定番号を返す関数
関数rは、選択公理によって存在するとされている
関数dは、関数rを使えば構成できる
後は99個の自然数からその最大値を返す関数くらい
この3つがあれば十分
関数の引数が確率変数でなければならない理由などない
24/02/12 19:08:14.97 aIPiDkR2.net
「箱入り無数目」では100列s1,…,s100は定数だが
関数はもちろん使っている
r(x)：無限列xから、その尻尾同値類の代表列を返す関数
d(x)：無限列xから、その決定番号を返す関数
関数rは、選択公理によって存在するとされている
関数dは、関数rを使えば構成できる
後は99個の自然数からその最大値を返す関数くらい
この3つがあれば十分
関数の引数が確率変数でなければならない理由などない