19/01/10 19:40:05.23 +VSLcfs/.net
>>589
>>「無限と有限では異なる帰結になる」
>それ、数学的に無意味な主張だね
>「無限と有限では異なる帰結になる」場合と、
>「無限と有限で同じ帰結になる」場合と
>両方あるから どちらになるかは、
>個別具体的に決定していく必要があるよ
時枝戦略の実行可能性に関していえば
列の終端がある→終端の場合、実行できない
列の終端がない→どこでも実行可能
という性質があるから
有限列→終端で実行できない
無限列→どこでも実行可能
となり、明らかに異なる帰結になる
これ、選択公理とは無関係
したがって、>>589でこの後
スレ主がグダグダと選択公理について
述べてる箇所は全部無意味
残念だったな
わけもわからずコピペした苦労が水の泡ｗ