23/09/23 16:12:32.18 kvxnruyk.net
>>950
>”(その決定番号)dより大きい Mが取れるか？”
>そういうMが存在すれば、箱入り無数目は成立だ
>しかし、そういうMが存在しないならば、箱入り無数目はゴマカシです
1.任意の無限列sに対して、(同値類の代表が決まれば)その決定番号dは有限である
2.一方、d>=MとなるMは有限個しかない、ほとんどすべての自然数Mはd<Mである
3.したがって箱入り無数目は(1.のカッコ
23/09/23 16:12:32.18 kvxnruyk.net
>>950
>”(その決定番号)dより大きい Mが取れるか？”
>そういうMが存在すれば、箱入り無数目は成立だ
>しかし、そういうMが存在しないならば、箱入り無数目はゴマカシです
1.任意の無限列sに対して、(同値類の代表が決まれば)その決定番号dは有限である
2.一方、d>=MとなるMは有限個しかない、ほとんどすべての自然数Mはd<Mである
3.したがって箱入り無数目は(1.のカッコ