Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Richards_paradox> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples per page.
- Richards_paradox abstract "In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in 1905. The paradox is ordinarily used to motivate the importance of distinguishing carefully between mathematics and metamathematics. Kurt Gödel specifically cites Richard's antinomy as a semantical analogue to his syntactical incompleteness result in the introductory section of On Formally Undecidable Propositions in Principia Mathematica and Related Systems I. The paradox was also a motivation of the development of predicative mathematics.".
- Richards_paradox wikiPageExternalLink paradoxes-contemporary-logic.
- Richards_paradox wikiPageID "97812".
- Richards_paradox wikiPageLength "11829".
- Richards_paradox wikiPageOutDegree "45".
- Richards_paradox wikiPageRevisionID "706719597".
- Richards_paradox wikiPageWikiLink Algorithmic_information_theory.
- Richards_paradox wikiPageWikiLink Antinomy.
- Richards_paradox wikiPageWikiLink Arithmetic.
- Richards_paradox wikiPageWikiLink Axiom.
- Richards_paradox wikiPageWikiLink Berry_paradox.
- Richards_paradox wikiPageWikiLink Canonical_order.
- Richards_paradox wikiPageWikiLink Cantors_diagonal_argument.
- Richards_paradox wikiPageWikiLink Category:Mathematics_paradoxes.
- Richards_paradox wikiPageWikiLink Category:Self-referential_paradoxes.
- Richards_paradox wikiPageWikiLink Formal_system.
- Richards_paradox wikiPageWikiLink Foundations_of_mathematics.
- Richards_paradox wikiPageWikiLink France.
- Richards_paradox wikiPageWikiLink Grelling–Nelson_paradox.
- Richards_paradox wikiPageWikiLink Gödel_numbering.
- Richards_paradox wikiPageWikiLink Halting_problem.
- Richards_paradox wikiPageWikiLink Henri_Poincaré.
- Richards_paradox wikiPageWikiLink Hermann_Weyl.
- Richards_paradox wikiPageWikiLink Impredicativity.
- Richards_paradox wikiPageWikiLink Jules_Richard.
- Richards_paradox wikiPageWikiLink Kurt_Gödel.
- Richards_paradox wikiPageWikiLink Lexicographical_order.
- Richards_paradox wikiPageWikiLink List_of_paradoxes.
- Richards_paradox wikiPageWikiLink Logic.
- Richards_paradox wikiPageWikiLink Map_(mathematics).
- Richards_paradox wikiPageWikiLink Mathematician.
- Richards_paradox wikiPageWikiLink Mathematics.
- Richards_paradox wikiPageWikiLink Metamathematics.
- Richards_paradox wikiPageWikiLink Metatheory.
- Richards_paradox wikiPageWikiLink Mind_(journal).
- Richards_paradox wikiPageWikiLink Natural_number.
- Richards_paradox wikiPageWikiLink On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems.
- Richards_paradox wikiPageWikiLink Ordinal_definable_set.
- Richards_paradox wikiPageWikiLink Prime_number.
- Richards_paradox wikiPageWikiLink Proof_theory.
- Richards_paradox wikiPageWikiLink Real_analysis.
- Richards_paradox wikiPageWikiLink Real_number.
- Richards_paradox wikiPageWikiLink Russells_paradox.
- Richards_paradox wikiPageWikiLink Set_theory.
- Richards_paradox wikiPageWikiLink Solomon_Feferman.
- Richards_paradox wikiPageWikiLink Tarskis_undefinability_theorem.
- Richards_paradox wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Richards_paradox wikiPageWikiLinkText "Richard's paradox".
- Richards_paradox wikiPageWikiLinkText "Richard's_paradox".
- Richards_paradox wikiPageUsesTemplate Template:Cite_book.
- Richards_paradox wikiPageUsesTemplate Template:Cite_journal.
- Richards_paradox wikiPageUsesTemplate Template:Logical_paradoxes.
- Richards_paradox subject Category:Mathematics_paradoxes.
- Richards_paradox subject Category:Self-referential_paradoxes.
- Richards_paradox hypernym Antinomy.
- Richards_paradox type Redirect.
- Richards_paradox comment "In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in 1905. The paradox is ordinarily used to motivate the importance of distinguishing carefully between mathematics and metamathematics.".
- Richards_paradox label "Richard's paradox".
- Richards_paradox sameAs Q83491.
- Richards_paradox sameAs Paradoxe_de_Richard.
- Richards_paradox sameAs Paradosso_di_Richard.
- Richards_paradox sameAs リシャールのパラドックス.
- Richards_paradox sameAs Paradoxo_de_Richard.
- Richards_paradox sameAs m.0p541.
- Richards_paradox sameAs Парадокс_Ришара.
- Richards_paradox sameAs Rišarov_paradoks.
- Richards_paradox sameAs Ришаров_парадокс.
- Richards_paradox sameAs Q83491.
- Richards_paradox sameAs 理查德悖论.
- Richards_paradox wasDerivedFrom Richards_paradox?oldid=706719597.
- Richards_paradox isPrimaryTopicOf Richards_paradox.