About: Burali-Forti paradox

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Burali-Forti paradox Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Burali-Forti paradox (en) Burali-Forti-Paradoxon (de) Paradoja de Burali-Forti (es) Paradosso di Burali-Forti (it) Paradoxe de Burali-Forti (fr) Paradoxo de Burali-Forti (pt) Парадокс Бурали-Форти (ru) ブラリ＝フォルティのパラドックス (ja)
rdfs:comment	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)
rdfs:seeAlso	http://mathworld.wolfram.com/Burali-FortiParadox.html https://ncatlab.org/nlab/show/Burali-Forti's%20paradox https://www.quora.com/topic/Burali-Forti-Paradox
sameAs	Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox Burali-Forti paradox
Wikipage page ID	723133 (xsd:integer)
Wikipage revision ID	186499760 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Antinomie Axiom of union Bertrand Russell dbpedia-fr:Bijection category-fr:Paradoxe_de_la_théorie_naïve_des_ensembles Cesare Burali-Forti dbpedia-fr:Classe_(mathématiques) dbpedia-fr:Contradiction dbpedia-fr:David_Hilbert dbpedia-fr:Deutsche_Mathematiker-Vereinigung Emmy Noether dbpedia-fr:Ensemble Well-order Transitive set Natural number dbpedia-fr:Ernst_Zermelo Felix Bernstein (mathematician) dbpedia-fr:Georg_Cantor Ibid. dbpedia-fr:Incohérence Iteration dbpedia-fr:Ivor_Grattan-Guinness dbpedia-fr:Jean_Cavaillès Jean van Heijenoort J. Barkley Rosser dbpedia-fr:Nombre_cardinal dbpedia-fr:Nombre_ordinal dbpedia-fr:Nombre_transfini Lexicographic order Berry paradox Cantor's paradox Richard's paradox Russell's paradox Partially ordered set Richard Dedekind dbpedia-fr:Réflexivité dbpedia-fr:Schéma_d'axiomes_de_compréhension dbpedia-fr:Schéma_d'axiomes_de_remplacement Upper set dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorie_des_types Willard Van Orman Quine dbpedia-fr:Mathématiques dbpedia-fr:Philip_Jourdain
Link from a Wikipage to an external page	http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.71.3986&rep=rep1&type=pdf http://quod.lib.umich.edu/cgi/b/bib/bibperm%3Fq1=AAT1273 http://www.digizeitschriften.de/dms/img/%3FPID=GDZPPN002137003 http://homepages.vub.ac.be/~clvidal/philosophons/philosophes/cantor1932.pdf http://fair-use.org/bertrand-russell/the-principles-of-mathematics
page length (characters) of wiki page	26225 (xsd:nonNegativeInteger)
dct:subject	category-fr:Paradoxe_de_la_théorie_naïve_des_ensembles
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Citation dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:De dbpedia-fr:Modèle:En dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Langue dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:P. dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Halmos65
prov:wasDerivedFrom	wikipedia-fr:Paradoxe_de_Burali-Forti?oldid=186499760&ns=0
prop-fr:année	1897 (xsd:integer) 1974 (xsd:integer)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software