床屋のパラドックス(とこやのパラドックス)は、数理論理学と集合論における重要なパラドックスである。
このパラドックスはイギリスの論理学者バートランド・ラッセルにより考案されたラッセルのパラドックスを分かり易くした例である。
このパラドックスはさらにゲーデルの不完全性定理やチューリングマシンの停止問題とも関連している。
このパラドックスは、次のようなものである。
- 規則:ある村でたった一人の床屋(男性とする。)は、自分で髭を剃らない人全員の髭を剃り、自分で髭を剃る人の髭は剃らない。
- 問題:床屋自身の髭は誰が剃るのか?
- 床屋が自分の髭を剃らなければ、彼は「自分で髭を剃らない人」に属するので、床屋は自分自身の髭を自分で剃らなくてはいけなくなり、矛盾が生じる。
- 床屋が自分の髭を剃るならば、彼は「自分で髭を剃る人」に属するので、自分で髭を剃る人の髭を剃らないという規則に矛盾する。
したがって、どちらにしても矛盾が生ずる。
|
---|
哲学 | - 分析のパラドックス
- Buridan's bridge
- Dream argument
- Epicurean
- Fiction
- Fitch's knowability
- Free will
- グルーのパラドックス
- Hedonism
- Liberal
- メノンのパラドックス
- Mere addition
- Moore's
- Newcomb's
- Nihilism
- 全能の逆説
- Preface
- Rule-following
- 白馬非馬
- ゼノンのパラドックス
|
---|
論理学 | 自己言及 | |
---|
曖昧性 | |
---|
その他 | - Temperature paradox
- Barbershop
- Catch-22(キャッチ=22)
- Drinker
- Entailment
- Lottery
- Plato's beard
- Raven
- Ross's
- Unexpected hanging
- "What the Tortoise Said to Achilles"
- Heat death paradox
- オルバースのパラドックス
|
---|
|
---|
経済学 | - Allais
- Antitrust
- Arrow information
- Bertrand
- ブライスのパラドックス
- Competition
- Income and fertility
- Downs–Thomson
- Easterlin
- Edgeworth
- Ellsberg
- European
- Gibson's
- Giffen good
- Icarus
- ジェボンズのパラドックス
- レオンチェフの逆説
- Lerner
- ルーカスパラドックス
- Mandeville's
- Mayfield's
- Metzler
- Plenty
- Productivity
- Prosperity
- Scitovsky
- Service recovery
- St. Petersburg
- Thrift
- Toil
- Tullock
- Value
|
---|
決定理論 | - Abilene
- Apportionment
- Alabama
- New states
- Population
- Arrow's
- ビュリダンのロバ
- Chainstore
- 投票の逆理
- Decision-making
- Downs
- Ellsberg
- Fenno's
- Fredkin's
- Green
- Hedgehog's
- イノベーションのジレンマ
- Kavka's toxin puzzle
- Morton's fork
- Navigation
- Newcomb's
- Parrondo's
- Prevention
- 囚人のジレンマ
- 寛容のパラドックス
- Willpower
|
---|
|