人気ブログランキング | 話題のタグを見る

「スマリヤンの無限の論理パズル」19章の問7の別解


対角線論法で、異なる無限数字列ではなく、異なる有限の数字列を作ることはできるか?


Sを有限集合とすると、Sの位数mが存在してSはs1からsmまでの集合とは異なれることは可能だけど、sm+1からの集合と異なることが保証できない。




by tomoarrow | 2019-07-11 07:00 | モチーフについて | Comments(0)