…数学は矛盾のない理論体系と信じられており,諸科学の中でももっとも厳密な論証を誇るものとして,およそそのよって立つ基盤がゆらぐようなことがあろうなどとは考えられなかった。ところが,19世紀末G.カントルによって創設された集合論はまもなく逆理を生じた(パラドックス)。カントル自身が発見した逆理(1899),ブラリ=フォルティの逆理(1897)やラッセルの逆理(1903)がそれである。集合論におけるすこぶる有効な用法ときわめて類似したしかたによって容易にこれらの逆理が導かれるのみならず,同時期に提出されたリシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は,現にこの文章によって25字で定義されている〉とともに,ほとんど形式論理の範囲内で現れることから数学は重大な危機に陥った。…
…B.A.W.ラッセルが1901年に発見したいわゆる〈ラッセルのパラドックス〉を解決しようとして提出した理論(1908)と,その単純化,制限の解除,および変形の総称。階型理論ともいう。…
…つまりこの集合を第1種としても第2種としてもその反対が帰結されるのである。これをラッセルのパラドックスという。これは順序数や基数の概念も必要としない純粋に論理的なパラドックスで,以後の論理学と数学基礎論の発展に大きな影響を与えた。…
…これとともに数学(解析学)を論理学に還元することをはかる。その成果は《数学の諸原理》(1903)に盛られたが,その出版直前に集合論における重要なパラドックス(ラッセルのパラドックス)を発見(1901)。これはのちの論理学,数学基礎論,意味論の動向に大きな影響を及ぼすものであった。…
※「ラッセルのパラドックス」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
日本の上代芸能の一つ。宮廷で舞われる女舞。大歌 (おおうた) の一つの五節歌曲を伴奏に舞われる。天武天皇が神女の歌舞をみて作ったと伝えられるが,元来は農耕に関係する田舞に発するといわれる。五節の意味は...
5/20 小学館の図鑑NEO[新版]昆虫を追加
5/14 日本大百科全書(ニッポニカ)を更新
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新