>>699＞論証能力を真部分集合として含むもっと一般的な概念

コンピューターは全部分取り出しを含まない部分集合全てを組合せ出来るんじゃないの？
天文学的組合せになって実っ質時間内で計算出来ないとか？

もう少し詳しくお願いします。