18/12/25 06:08:39.65 LFNNMehR.net
>>372
＞「整列可能定理」・・・
＞おれは、これらを認めるって言っているだけなんだけど？
つまり同値類から代表元がとれることを認めるわけだ
したがって時枝論法を全面的に認めるわけだ
違う、とはいえないぞ
代表元がとれてしまえば決定番号が決まってしまう
１００個の列の決定番号のうち他より大きいものはたかだか１つ
つまり、失敗する場合もたかだか１／１００
残念だったな サイコピエロスレ主
18/12/25 06:08:39.65 LFNNMehR.net
>>372
＞「整列可能定理」・・・
＞おれは、これらを認めるって言っているだけなんだけど？
つまり同値類から代表元がとれることを認めるわけだ
したがって時枝論法を全面的に認めるわけだ
違う、とはいえないぞ
代表元がとれてしまえば決定番号が決まってしまう
１００個の列の決定番号のうち他より大きいものはたかだか１つ
つまり、失敗する場合もたかだか１／１００
残念だったな サイコピエロスレ主