About: Russell's paradox     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Statement106722453, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FRussell%27s_paradox

In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. The paradox had already been discovered independently in 1899 by the German mathematician Ernst Zermelo. However, Zermelo did not publish the idea, which remained known only to David Hilbert, Edmund Husserl, and other academics at the University of Göttingen. At the end of the 1890s, Georg Cantor – considered the founder of modern set theory – had already realized that his theory would lead to a contradiction, which he told Hilbert and Richard Dedekind by letter.

AttributesValues
rdf:type
rdfs:label
  • مفارقة راسل (ar)
  • Paradoxa de Russell (ca)
  • Russellův paradox (cs)
  • Russellsche Antinomie (de)
  • Παράδοξο του Ράσελ (el)
  • Rusela paradokso (eo)
  • Paradoja de Russell (es)
  • Paradoxe de Russell (fr)
  • Paradosso di Russell (it)
  • ラッセルのパラドックス (ja)
  • 러셀의 역설 (ko)
  • Russellparadox (nl)
  • Russell's paradox (en)
  • Paradoxo de Russell (pt)
  • Antynomia Russella (pl)
  • Парадокс Рассела (ru)
  • Russells paradox (sv)
  • 罗素悖论 (zh)
  • Парадокс Расселла (uk)
rdfs:comment
  • Russellův paradox (též Russellova antinomie) je paradox, objevený v roce 1901 Bertrandem Russellem, který ukazuje, že Cantorova intuitivní teorie množin (naivní teorie množin) je vnitřně sporná. (cs)
  • Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der naiven Mengenlehre, das Russell 1903 publizierte und das daher seinen Namen trägt. (de)
  • La paradoja de Russell o paradoja del barbero, acreditada a Bertrand Russell, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria. (es)
  • ラッセルのパラドックス(英: Russell's paradox)とは、素朴集合論において矛盾を導くパラドックスである。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡における、フレーゲの『』における矛盾を指摘する記述に表れる。これは1903年に出版されたフレーゲの『算術の基本法則』第II巻(独: Grundgesetze der Arithmetik II)の後書きに収録されている。同じパラドックスはツェルメロが1年先に発見していたが、彼はその発見を公開せず、ヒルベルトやフッサールなどのゲッティンゲン大学の同僚たちだけに知られているだけだった。 ラッセルが型理論(階型理論)を生み出した目的にはこの種のパラドックスを解消するということも含まれていた。 (ja)
  • Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles (Russell lui-même parle de théorie des classes, en un sens équivalent), qui a joué un rôle important dans la formalisation de celle-ci. Il fut découvert par Bertrand Russell vers 1901 et publié en 1903. Il était en fait déjà connu à Göttingen, où il avait été découvert indépendamment par Ernst Zermelo, à la même époque, mais ce dernier ne l'a pas publié. (fr)
  • 논리학에서 러셀의 역설(-逆說, 영어: Russell's paradox)은 버트런드 러셀이 1901년에 발견한 역설이다. 고틀로프 프레게의 《산술의 기본 법칙》과 게오르크 칸토어의 소박한 집합론 따위의 논리 체계가 모순을 지닌다는 것을 보여준다. 예를 들어, 칸토어의 집합론에서 자기 자신의 원소가 아닌 모든 집합들의 집합을 정의하고 이 집합이 자기 자신의 원소인지 여부를 물으면, 이에 대한 긍정과 부정 가운데 어느 하나를 가정하더라도 모순이 유도된다. 형 이론과 공리적 집합론이 도입되면서 해결되었다. (ko)
  • De russellparadox, ook antinomie van Russell genoemd, is een paradox in de naïeve verzamelingenleer over verzamelingen waarvan de elementen zelf ook weer verzamelingen zijn. De paradox toonde aan dat bepaalde pogingen om de intuïteve verzamelingenleer, zoals die door Georg Cantor geformuleerd was, te formaliseren, tot een tegenspraak leiden. De paradox veroorzaakte een schok in de wereld van de grondslagen van de wiskunde. De paradox werd ontdekt in 1901 door Bertrand Russell, en onafhankelijk van hem een jaar daarvoor, maar niet gepubliceerd, door Ernst Zermelo. (nl)
  • Antynomia Russella lub paradoks Russella – sprzeczność wykryta w naiwnej teorii mnogości przez Bertranda Russella w 1901 roku. Sprzeczność ta stanowiła duży cios dla rozwoju logicyzmu, będącego próbą aksjomatyzacji matematyki, zgodnie z którym wszystkie obiekty matematyczne powinny dać się wyrazić jako zbiory. Obserwacje dokonane przez Russella zmusiły matematyków do rewizji tego fundamentalnego stanowiska i następnie przyjęcia, że istnieją obiekty niebędące zbiorami, opisywane formułami logicznymi – nazywa się je klasami właściwymi. Paradoks ten wynika z autoreferencji, czyli odwoływania się do samego siebie, i ma charakter podobny do takich paradoksów jak paradoks zbioru wszystkich zbiorów, paradoks kłamcy czy paradoks Berry’ego; por. twierdzenia Gödla i problem stopu. (pl)
  • 罗素悖论(英語:Russell's paradox),也称为理发师悖论、書目悖論,是英國哲學家罗素於1901年提出的悖论,一个关于类的内涵问题。 (zh)
  • مُفَارَقَةُ رَاسِلْ (بالإنجليزية: Russell's paradox)‏ والمعروفة أيضًا بـِتَنَاقُض قَوَانِينِ رَاسِلْ والتي وضعها برتراند راسل في عام 1901، توضّح أن نظرية المجموعات المبسطة التي وضعها جورج كانتور تؤدي إلى التناقض. وكانت نفس المفارقة قد اكتشفت من قِبل إرنست تسيرميلو قبل اكتشاف راسل لها بعام ولكنه لم ينشر الفكرة التي بقيت معروفة فقط لهيلبيرت، وهوسرل وأعضاء آخرين من جامعة غوتنغن. (ar)
  • La paradoxa de Russell descrita per Bertrand Russell el 1901 demostra que la teoria originària de conjunts formulada per Cantor i Frege és contradictòria. Suposem un conjunt que consta de conceptes que no són membres de si mateixos. Un exemple descrit és el conjunt que consta d'"idees abstractes", que és membre de si mateix perquè el conjunt és ell mateix una idea abstracta, mentre que un conjunt que consta de "llibres" no és membre de si mateix perquè el conjunt no és un llibre. En la seua paradoxa, Russell preguntava (en carta escrita a Frege el 1902) si el conjunt de conceptes que no formen part de si mateixos formen part de si mateix. Si no forma part de si mateix, pertanyen al tipus de conjunts que sí que formen part de si mateixos. (ca)
  • Στη θεμελίωση των μαθηματικών, το παράδοξο του Ράσελ (επίσης γνωστό ως αντινομία του Ράσελ), που ανακαλύφθηκε από τον Μπέρτραντ Ράσελ το 1901, έδειξε ότι η αφελής θεωρία συνόλων που δημιουργήθηκε από τον Γκέοργκ Κάντορ οδηγεί σε μια αντίφαση. Το ίδιο παράδοξο είχε ανακαλυφθεί ένα χρόνο πριν από τον , αλλά δεν είχε δημοσιεύσει την ιδέα, που έμεινε γνωστή μόνο στους Χίλμπερτ, Έντμουντ Χούσερλ και άλλα μέλη του Πανεπιστημίου του Γκέτινγκεν. (el)
  • La Rusela paradokso (aŭ paradokso de Russell) estas matematika paradokso malkovrita de Bertrand Russell en 1901. Ĝi pruvas ke la naiva arteorio uzata ĝis tiam (precipe grava en la teorioj de Georg Cantor kaj Gottlob Frege) estas memkontraŭdira. Konsideru la aron M difinitan kiel "la aro de ĉiuj aroj kiuj ne entenas sin mem". Formale: Ĉi tiu difino kondukas al kontraŭdiro: Se M entenas sin mem, ĝi ne entenas sin mem pro la difino de M. Kaj se M ne entenas sin mem, ĝi entenas sin mem, denove pro la difino de M. (eo)
  • In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. The paradox had already been discovered independently in 1899 by the German mathematician Ernst Zermelo. However, Zermelo did not publish the idea, which remained known only to David Hilbert, Edmund Husserl, and other academics at the University of Göttingen. At the end of the 1890s, Georg Cantor – considered the founder of modern set theory – had already realized that his theory would lead to a contradiction, which he told Hilbert and Richard Dedekind by letter. (en)
  • Il paradosso di Russell, formulato dal filosofo e logico britannico Bertrand Russell tra il 1901 e il 1902, è una delle antinomie più importanti della storia della filosofia e della logica.Può essere enunciato così: Si tratta più propriamente di un'antinomia che di un paradosso: un paradosso è una conclusione logica e non contraddittoria che si scontra con il nostro modo abituale di vedere le cose, mentre un'antinomia è una proposizione che risulta autocontraddittoria sia nel caso che sia vera, sia nel caso che sia falsa. (it)
  • O Paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que mostra que no sistema do livro de Frege Leis fundamentais da aritmética pode ser derivada uma contradição. O paradoxo foi comunicado por uma carta a Frege de 1902. Frege publicou o paradoxo no segundo volume de seu livro em 1903, num posfácio, mas Russell o publicou antes no seu livro Princípios das Matemáticas. Parece ter sido descoberta independentemente, mas não publicada, por Ernst Zermelo, pertencente ao círculo de Hilbert, e permaneceu conhecida apenas por David Hilbert, Edmund Husserl, e outros acadêmicos na Universidade de Göttingen. Posteriormente, foi publicado no clássico Principia Mathematica e em muitos outro lugares. No final da década de 1890, Georg Cantor―considerado o fundador da moderna teor (pt)
  • Russellparadoxen eller Russells paradox (efter Bertrand Russell som upptäckte den) visar att den till synes naturliga och självklara abstraktionsprincipen ger upphov till motsägelser i mängdteorin. Russell upptäckte detta 1901 under läsning av första bandet av Gottlob Freges Grundgesetze. Russell meddelade Frege detta, varpå Frege gjorde ett tillägg i slutet på andra bandet av Grundgesetze där han skriver "En större olycka kan knappast drabba en vetenskaplig författare än att få en av grunderna för sitt verk raserad, när verket själv fullbordats". (sv)
  • Парадо́кс Ра́ссела (антино́мия Ра́ссела, также парадо́кс Ра́ссела — Це́рмело) — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело. В любом случае получается противоречие. (ru)
  • Парадо́кс Ра́сселла (антиномія Расселла, також парадокс Расселла — Цермело) — відкритий 1901 року Бертраном Расселлом теоретико-множинний парадокс (антиномія), що демонструє суперечливість логічної системи Фреге, яка була ранньою спробою формалізації наївної теорії множин Георга Кантора. Був відкритий раніше, однак не опублікований, Ернстом Цермело. В обох випадках — суперечність. (uk)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software