床屋のパラドックス
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/07/19 14:19 UTC 版)
床屋のパラドックス（とこやのパラドックス）は、数理論理学と集合論における重要なパラドックスである。
このパラドックスはイギリスの論理学者バートランド・ラッセルにより考案されたラッセルのパラドックスを分かり易くした例である。
このパラドックスはさらにゲーデルの不完全性定理やチューリングマシンの停止問題とも関連している。
このパラドックスは、次のようなものである。
- 規則：ある村でたった一人の床屋（男性とする。）は、自分で髭を剃らない人全員の髭を剃り、自分で髭を剃る人の髭は剃らない。
- 問題：床屋自身の髭は誰が剃るのか？
- 床屋が自分の髭を剃らなければ、彼は「自分で髭を剃らない人」に属するので、床屋は自分自身の髭を自分で剃らなくてはいけなくなり、矛盾が生じる。
- 床屋が自分の髭を剃るならば、彼は「自分で髭を剃る人」に属するので、自分で髭を剃る人の髭を剃らないという規則に矛盾する。
したがって、どちらにしても矛盾が生ずる。
床屋のパラドックス
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 15:57 UTC 版)
ある村の床屋は自分で髭を剃らない村人全員の髭だけを剃ることになっている。それではこの床屋自身の髭は誰が剃るのか。
※この「床屋のパラドックス」の解説は、「パラドックス」の解説の一部です。
「床屋のパラドックス」を含む「パラドックス」の記事については、「パラドックス」の概要を参照ください。
ウィキペディア小見出し辞書の「床屋のパラドックス」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
床屋のパラドックスと同じ種類の言葉
- 床屋のパラドックスのページへのリンク
