床屋のパラドックス
[Wikipedia|▼Menu]

床屋のパラドックス(とこやのパラドックス)は、数理論理学集合論における重要なパラドックスである。
概要 自分の髭は…

このパラドックスは、次のようなものである。

規則:ある村でたった一人の床屋(男性とする。)は、自分で髭を剃らない人全員の髭を剃り、自分で髭を剃る人の髭は剃らない。

問題:床屋自身の髭は誰が剃るのか?

床屋が自分の髭を剃らなければ、彼は「自分で髭を剃らない人」に属するので、床屋は自分自身の髭を自分で剃らなくてはいけなくなり、矛盾が生じる。

床屋が自分の髭を剃るならば、彼は「自分で髭を剃る人」に属するので、自分で髭を剃る人の髭を剃らないという規則に矛盾する。

したがって、どちらにしても矛盾が生ずる。
その他

このパラドックスはイギリスの論理学者バートランド・ラッセルにより考案されたラッセルのパラドックスを分かり易くした例である。このパラドックスはさらにゲーデルの不完全性定理チューリングマシン停止問題とも関連している。

このパラドックスはしばしば、ジョークに転用される。その際の落ちは「その床屋は女性だった」というもの。その際には床屋の性別を明示せず、「ある村でたった一人の床屋は…」と始まる。

ただし「自分で顔を剃らない人全員の顔を剃るたった一人の床屋は…」とすれば、顔の産毛などを剃る行為も含まれるから、性別によるジョークは成り立たない。

また、有名ななぞなぞに「村には床屋が二人しかいない。一人の髪はぼさぼさで、もう一人の髪は整っている。どちらに散髪を頼むべきか?」というものがある。

普通に考えると髪の整っている人に頼みたくなる。しかし、村に床屋が二人しかいないということはこの二人はお互いに散髪し合っているのである。したがって、髪の整っている床屋に頼むとぼさぼさの髪にされてしまい、髪がぼさぼさの床屋に頼むときれいに散髪してくれる、というものである。

更新日時:2021年9月24日(金)15:45
取得日時:2022/06/30 11:25


記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:2956 Bytes
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef