カテゴリ: パラドックス
種類: 集合論的パラドックス
起源: 1901年にバートランド・ラッセルによって発見、1902年にゴットローブ・フレーゲに伝えられる
別名: ラッセル・ツェルメロのパラドックス、カントールのパラドックス
種類: 集合論的パラドックス
起源: 1901年にバートランド・ラッセルによって発見、1902年にゴットローブ・フレーゲに伝えられる
別名: ラッセル・ツェルメロのパラドックス、カントールのパラドックス
クイックアンサー — ラッセルのパラドックスは、自分自身を含まないすべての集合の集合を考えます。この集合は自分自身を含むでしょうか？含むなら、定義により含むべきではない（自分自身を含まない集合のみを含むため）。含まないなら、定義により含むべきです。このパラドックスは数学の基礎における根本的な矛盾を露呈させました。
ラッセルのパラドックスとは
ラッセルのパラドックスは数学史上最も重要なパラドックスの一つです。イギリスの哲学者・数学者バートランド・ラッセルによって1901年に発見され、当時の集合論と数学の基礎に根本的な挑戦を投げかけました。 パラドックスは単純に述べられます。自分自身を含まないすべての集合の集合を考えてみましょう。この集合をRと呼びます。ここで問いましょう。Rは自分自身を含むでしょうか？- もしRが自分自身を含むなら、定義により含むべきではありません（Rは自分自身を含まない集合のみを含むため）。
- もしRが自分自身を含まないなら、定義により含むべきです（Rは自分自身を含まないすべての集合を含むため）。
「ラッセルのパラドックスは数学の大地震でした。『性質Xを持つすべてのものの集合』という一見明白で直観的な概念が、絶対的な矛盾につながり得ることを示したのです。盤石に見えた数学の基礎が、突然砂の上に建てられていたことが明らかになりました。」
ラッセルのパラドックス：3つの深さ
- 初心者: 床屋のパラドックスバージョン。ある町に、「自分で剃らないすべての人、かつその人たちのみ」を剃る床屋がいます。床屋は自分自身を剃るでしょうか？自分で剃るなら、剃るべきではありません（自分で剃らない人のみを剃るため）。自分で剃らないなら、剃るべきです（自分で剃らないすべての人を剃るため）。
- 実務者: 計算機科学において、類似のパラドックスが自己言及的データベースや型システムで生じます。プログラマーは、問題のある方法で自分自身を参照する集合を避けるため、データを注意深く構造化する必要があります。
- 上級者: このパラドックスは公理的集合論（ツェルメロ・フレンケル）と型理論を解決策として促しました。ゲーデルの不完全性定理は、ラッセルのパラドックスが引き起こした危機から部分的にインスピレーションを得たものでした。
起源
バートランド・ラッセルは1901年、著書『数学の原理』（1903年）の執筆中にこのパラドックスを発見しました。当時、数学は「素朴集合論」に基づいていました。これは、あらゆる対象の集まりが集合を形成でき、集合が他の集合を無制限に含むことができるという直観的な考え方です。 1902年、ラッセルはゴットローブ・フレーゲにこのパラドックスを伝えました。フレーゲはちょうど『算術の基本法則』第2巻を完成させたところでした。この著作は論理的原則から算術を導出しようとするものでした。フレーゲの体系は、ラッセルのパラドックスが問題であることを示したまさにその種の集合の構成を許すものでした。 フレーゲはこの知らせに打ちのめされました。著作の有名な付録で彼はこう記しています。「科学の著作家にとって、著作が完成したまさにその瞬間に基礎の一つが崩れ去ることほど不愉快な出来事はないでしょう。私はバートランド・ラッセル氏からの手紙によってこの立場に置かれました。」 ラッセルのパラドックスの発見は、数学における「基礎の危機」と呼ばれる事態につながり、これは数十年にわたり、数学の実践方法を根本的に変えました。主要ポイント
素朴集合論は無矛盾でなかった
ラッセルのパラドックスは、素朴集合論、すなわち明確に定義されたあらゆる集まりを集合として無批判に受け入れることが論理的に無矛盾でないことを示しました。これは集合論の基礎の完全な見直しを必要としました。
解決には公理が必要だった
数学者はラッセルのパラドックスを避ける厳密な基礎を提供するため、公理的集合論（ツェルメロ・フレンケル）と型理論を発展させました。これらの体系はより複雑ですが、論理的に健全です。
応用
数学的基礎
ラッセルのパラドックスは、現代数学のほぼすべてに標準的な基礎を提供する公理的集合論に直接つながりました。
計算機科学
ラッセルのパラドックスへの対応として部分的に発展した型理論は、今やプログラミング言語設計と形式的検証の基礎となっています。
形式的論理学
このパラドックスは無矛盾性、完全性、形式的体系の限界の研究を含む数理論理学の主要な発展を促しました。
哲学
このパラドックスは数学的対象の本質と人間推論の限界について深い問いを提起し、今日でも関連性を持ち続けています。
ケーススタディ
1908年、エルンスト・ツェルメロは、集合の形成方法を制限することでラッセルのパラドックスを回避する公理的集合論を提案しました。彼の公理は、「自分自身を含まないすべての集合の集合」、すなわちパラドックスを引き起こした問題の集合の構成を許しませんでした。 ツェルメロの体系は後にアドルフ・フレンケルらによって洗練され、ツェルメロ・フレンケル集合論（ZF）となり、現在数学の標準的な基礎となっています。ZFでは、ラッセルが考慮した集合を形成することはできません。したがってパラドックスは回避されます。 しかし、ZFには興味深い特徴があります。それは自身の無矛盾性を証明できないということです（これはゲーデルによって示されました）。数学者は、この制限にもかかわらずZFに依存し続けています。なぜなら、それは極めて生産的であることが証明されており、その中で矛盾は見つかっていないからです。完全に安全な数学的基礎の探求は今日も続いています。境界と失敗モード
ラッセルのパラドックスには重要な境界があります。- パラドックスは無制限の集合形成にのみ適用される: ZFのような現代の集合論は、どの集合を定義できるかを注意深く制限しています。これらの制限された体系内では、ラッセルのパラドックスを表現することはできません。
- 代替的な基礎が存在する: ラッセルとホワイトヘッドによって発展した型理論も、パラドックスを回避する代替的な基礎を提供します。異なる数学コミュニティは異なる基礎を好みます。
- パラドックスは「解決」されたのではなく「回避」された: 現代の集合論はラッセルのパラドックスを解決するのではなく、パラドックスが生じ得ない体系を構築するだけです。これは哲学的な解決策ではなく、実用的な解決策です。
よくある誤解
パラドックスは数学が無意味であることを示している
パラドックスは数学が無意味であることを示している
訂正: パラドックスは素朴集合論が無矛盾であることを示し、より良い公理的体系につながりました。現代数学はこれらの改善された基礎の上に構築されており、かつてないほど堅牢です。
ラッセルのパラドックスは単なるパズルだ
ラッセルのパラドックスは単なるパズルだ
訂正: パラドックスは数学における基礎の危機を引き起こし、論理学、集合論、数学の哲学における主要な発展につながりました。これは単なるパズルをはるかに超えています。
パラドックスは決定的に解決された
パラドックスは決定的に解決された
訂正: 合意された「解決策」は存在しません。パラドックスを回避する様々な公理的体系（ZF、型理論）がありますが、それぞれが許容される数学的概念においてトレードオフを伴います。
関連概念
嘘つきのパラドックス
自身の特性を参照するという構造を用いた関連する自己言及のパラドックス。
ゲーデルの不完全性定理
ラッセルのパラドックスが引き起こした危機から部分的にインスピレーションを得た結果。
ツェルメロ・フレンケル集合論
ラッセルのパラドックスを回避するために発展した公理的集合論。