「スマリヤンの無限の論理パズル」19章の問7の別解
問
対角線論法で、異なる無限数字列ではなく、異なる有限の数字列を作ることはできるか?
Sを有限集合とすると、Sの位数mが存在してSはs1からsmまでの集合とは異なれることは可能だけど、sm+1からの集合と異なることが保証できない。
問
対角線論法で、異なる無限数字列ではなく、異なる有限の数字列を作ることはできるか?
Sを有限集合とすると、Sの位数mが存在してSはs1からsmまでの集合とは異なれることは可能だけど、sm+1からの集合と異なることが保証できない。
ファン申請 |
||