About: Burali-Forti paradox     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Statement106722453, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FBurali-Forti_paradox&invfp=IFP_OFF&sas=SAME_AS_OFF

In set theory, a field of mathematics, the Burali-Forti paradox demonstrates that constructing "the set of all ordinal numbers" leads to a contradiction and therefore shows an antinomy in a system that allows its construction. It is named after Cesare Burali-Forti, who, in 1897, published a paper proving a theorem which, unknown to him, contradicted a previously proved result by Cantor. Bertrand Russell subsequently noticed the contradiction, and when he published it in his 1903 book Principles of Mathematics, he stated that it had been suggested to him by Burali-Forti's paper, with the result that it came to be known by Burali-Forti's name.

AttributesValues
rdf:type
rdfs:label
  • Burali-Fortiho paradox (cs)
  • Burali-Forti-Paradoxon (de)
  • Burali-Forti paradox (en)
  • Paradoja de Burali-Forti (es)
  • Paradoxe de Burali-Forti (fr)
  • Paradosso di Burali-Forti (it)
  • 부랄리포르티 역설 (ko)
  • ブラリ=フォルティのパラドックス (ja)
  • Paradoks Buralego-Fortiego (pl)
  • Burali-Forti-paradox (nl)
  • Paradoxo de Burali-Forti (pt)
  • Парадокс Бурали-Форти (ru)
  • 布拉利-福尔蒂悖论 (zh)
  • Парадокс Буралі-Форті (uk)
rdfs:comment
  • Burali-Fortiho paradox je poznatek publikovaný roku 1897, který spolu s dalšími výsledky podobného typu (označovanými jako paradoxy nebo antinomie) vedl ke krizi klasické naivní teorie množin a jejímu následnému nahrazení axiomatickým systémem. Burali-Fortiho paradox se týká ordinálních čísel. (cs)
  • In set theory, a field of mathematics, the Burali-Forti paradox demonstrates that constructing "the set of all ordinal numbers" leads to a contradiction and therefore shows an antinomy in a system that allows its construction. It is named after Cesare Burali-Forti, who, in 1897, published a paper proving a theorem which, unknown to him, contradicted a previously proved result by Cantor. Bertrand Russell subsequently noticed the contradiction, and when he published it in his 1903 book Principles of Mathematics, he stated that it had been suggested to him by Burali-Forti's paper, with the result that it came to be known by Burali-Forti's name. (en)
  • Se conoce como paradoja de Burali-Forti a la suposición, dentro de una teoría de conjuntos axiomática, de que la totalidad de los números ordinales forma un conjunto. Dicha suposición lleva a una contradicción en la teoría. Debe su nombre al matemático Cesare Burali-Forti, que la descubrió en 1897.​ (es)
  • 집합론에서 부랄리포르티 역설(영어: Burali-Forti paradox)은 소박한 집합론의 역설의 하나이며, 모든 순서수의 모임이 집합을 이룰 수 없다는 것을 증명한다. (ko)
  • ブラリ=フォルティのパラドックス(Burali-Forti paradox)とは、数学の集合論におけるパラドックスの一つであり、「全ての順序数の集合」という概念を素朴に導入すると矛盾が起こるという主張。即ちそのような存在を許す体系は自己矛盾していることを示す。 (ja)
  • In de verzamelingenleer, een deelgebied van de wiskunde, laat de Burali-Forti paradox zien dat het naïef construeren van de verzameling van alle ordinaalgetallen tot een tegenspraak leidt en daarom een antinomie aantoont in een systeem waarin deze constructie is toegestaan. De paradox is genoemd naar Cesare Burali-Forti, de Italiaanse wiskundige die deze paradox in 1897 ontdekte. (nl)
  • O Paradoxo de Burali-Forti, proposto em 1897 pelo matemático italiano Cesare Burali-Forti, diz que não existe um número ordinal maior que todos outros números ordinais. Em linhas gerais, ele é análogo ao paradoxo de Cantor, que diz que não existe um número cardinal maior do que todos outros. Uma apresentação simplificada do paradoxo é: dado qualquernúmero ordinal, existe um outro número ordinal maior que ele. Em outras palavras, não existe o "conjunto de todos números ordinais" (porque este conjunto seria um número ordinal). (pt)
  • Парадокс Бурали-Форти демонстрирует, что предположение о существовании множества всех порядковых чисел ведёт к противоречиям и, следовательно, противоречивой является теория множеств, в которой построение такого множества возможно. (ru)
  • Парадокс Буралі-Форті — в теорії множин демонструє, що припущення про існування множини всіх порядкових чисел веде до суперечностей і, отже, суперечливою є теорія, в якій побудова такої множини можлива (1897). (uk)
  • 在集合論此一數學領域裡,布拉利-福爾蒂悖論斷言,樸素建構「所有序數的集合」會導致矛盾,因此每個允許此一構造的系統都會顯得自相矛盾。此一悖論是以切薩雷·布拉利-福爾蒂來命名的,他在1897年發現了此一悖論。 (zh)
  • Das Burali-Forti-Paradoxon ist das älteste Paradoxon der naiven Mengenlehre, publiziert am 28. März 1897. Es beschreibt den Widerspruch, an dem die Bildung der Menge aller Ordinalzahlen scheitert. Es ist nach seinem Entdecker Cesare Burali-Forti benannt, der zeigte, dass eine solche Menge aller Ordinalzahlen selbst einer Ordinalzahl entspräche, zu der eine größere Nachfolger-Ordinalzahl gebildet werden könnte, die kleiner oder gleich wäre, woraus die unmögliche Ungleichung folgte. (de)
  • En mathématiques, le paradoxe de Burali-Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est-à-dire que la théorie est contradictoire (on dit aussi incohérente ou inconsistante). Dit brièvement, il énonce que, comme on peut définir la borne supérieure d'un ensemble d'ordinaux, si l'ensemble de tous les ordinaux existe, on peut définir un ordinal supérieur strictement à tous les ordinaux, d'où une contradiction. (fr)
  • Il paradosso di Burali-Forti dimostra che costruire "l'insieme di tutti i numeri ordinali" porta ad una contraddizione e quindi individua un'antinomia in un sistema che permette la sua costruzione. Il motivo è che l'insieme di tutti i numeri ordinali possiede tutte le proprietà di un numero ordinale e sarebbe quindi considerato a sua volta un numero ordinale. Quindi si può costruire il suo successore , che è strettamente maggiore di . Ma questo numero ordinale deve essere elemento di , in quanto contiene tutti i numeri ordinali, quindi si giunge a: . (it)
  • Paradoks Buralego-Fortiego – twierdzenie odkryte w 1897 roku przez Cesarego Buralego-Fortiego, ucznia Giuseppe Peana, mówiące o tym, iż liczby porządkowe nie tworzą zbioru. Sformułowanie: Nie istnieje zbiór, którego elementami są wszystkie liczby porządkowe. Fakt ten można uzasadnić nie wprost – zakładając, że istnieje zbiór którego elementami są wszystkie liczby porządkowe, można dojść do sprzeczności. Istotnie, na mocy aksjomatu zastępowania istnieje podzbiór tego zbioru, złożony wyłącznie ze wszystkich liczb porządkowych. Z własności działań na liczbach porządkowych, zbiory i (pl)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
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 (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software