17/08/26 22:49:29.49 5+gzDeWi.net
>>13
そもそも(有限個から無限個に増やすのではなくても)帰納法を使うなら後者関数をsuc(a)とすれば
{n+1番目のサイコロの出目} = suc(n番目のサイコロの出目)と予測できることになるから矛盾している
サイコロの出目がランダム = n回の出目からn+1回目の出目が予測できない = サイコロの出目の後者関数が存在しない
17/08/26 22:49:29.49 5+gzDeWi.net
>>13
そもそも(有限個から無限個に増やすのではなくても)帰納法を使うなら後者関数をsuc(a)とすれば
{n+1番目のサイコロの出目} = suc(n番目のサイコロの出目)と予測できることになるから矛盾している
サイコロの出目がランダム = n回の出目からn+1回目の出目が予測できない = サイコロの出目の後者関数が存在しない