19/09/01 20:06:27.10 dvD9YE7H.net
>>591 補足
下記Denis "I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N-1}"
に対して
厳密な数学の証明がないというのが、Pruss氏、確率論の専門家さんと、私ね（＾＾
（そもそも、Denis氏に対する批判” but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”もあるよ）
(>>241)
そこを（数学的に厳密でないと）批判しているのが、Alexander Pruss氏だよ
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice