20/03/21 14:36:27.18 Ysr8avom.net
>>458
>数えるという操作を定義してください
数えるシステムとNとの間に全単射が存在する。
先に挙げたメータシステムの例で言えば、f:N→N, f(n)=2π(Σ[k=1,n](1/2)^k) という全単射が存在するので、このメータにより数えることは可能。
20/03/21 14:36:27.18 Ysr8avom.net
>>458
>数えるという操作を定義してください
数えるシステムとNとの間に全単射が存在する。
先に挙げたメータシステムの例で言えば、f:N→N, f(n)=2π(Σ[k=1,n](1/2)^k) という全単射が存在するので、このメータにより数えることは可能。