« ロボット、人、こころ | トップページ | アンケート調査は認知科学の研究にはなりえない? »

vacuous truths

Wikipedia に例文が載っていたので引用してみる。

There exists a set S such that every infinite subset of S has precisely seven elements.

http://en.wikipedia.org/wiki/Vacuous_truth 2010-09-30


vacuous truth はほんとにvacuous なんだが論理的には痛いところを突くことがある。

表面的にもつまらない truth もたくさんあるが、この例は初学者の興味をそそるよう作ってあってナイス。

述語論理について以前に触れた話とも関わるでしょう。

|

« ロボット、人、こころ | トップページ | アンケート調査は認知科学の研究にはなりえない? »

Η 数理の諸問題」カテゴリの記事

コメント

コメントを書く



(ウェブ上には掲載しません)




トラックバック

この記事のトラックバックURL:
http://app.f.cocolog-nifty.com/t/trackback/26863/37006117

この記事へのトラックバック一覧です: vacuous truths:

« ロボット、人、こころ | トップページ | アンケート調査は認知科学の研究にはなりえない? »