17/08/21 07:12:38.59 MgytRkuK.net
>>1が「箱入り無数目」を否定するシナリオ
案1．無限数列の「尻尾」の同値類の代表元がとれない
→選択公理の否定
案2．殆ど全ての数列で決定番号が∞となり尻尾がとれない
→無限公理の否定
ついでいうと、「標準確率論では予測確率0」は
確率論と無関係な>>1の勝手な妄想に過ぎないので×
17/08/21 07:12:38.59 MgytRkuK.net
>>1が「箱入り無数目」を否定するシナリオ
案1．無限数列の「尻尾」の同値類の代表元がとれない
→選択公理の否定
案2．殆ど全ての数列で決定番号が∞となり尻尾がとれない
→無限公理の否定
ついでいうと、「標準確率論では予測確率0」は
確率論と無関係な>>1の勝手な妄想に過ぎないので×