- 522 名前：デフォルトの名無しさん mailto:sage [2010/09/10(金) 06:29:17 ]
- >>520
> ・これら外延/内包による形式的な定義は、どちらも不可能である。
ダウト。全ての有限集合は外延的に記述可能である。
> ・全体集合(「すべて人間の持つ語彙集合」)をコンピュータが持つ事は現在のハード技術レベルでも現実性はあるが、
> それではチューリング・テストにすら合格できないから無意味である。
全体集合を持つ必要はまったくない。
1人の人間が全体集合を持たずにチューリングテストをパスできる。
