Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Diagonal_lemma> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Diagonal_lemma abstract "In mathematical logic, the diagonal lemma or fixed point theorem establishes the existence of self-referential sentences in certain formal theories of the natural numbers—specifically those theories that are strong enough to represent all computable functions. The sentences whose existence is secured by the diagonal lemma can then, in turn, be used to prove fundamental limitative results such as Gödel's incompleteness theorems and Tarski's undefinability theorem.".
- Diagonal_lemma wikiPageID "348969".
- Diagonal_lemma wikiPageLength "5977".
- Diagonal_lemma wikiPageOutDegree "35".
- Diagonal_lemma wikiPageRevisionID "702789841".
- Diagonal_lemma wikiPageWikiLink Alfred_Tarski.
- Diagonal_lemma wikiPageWikiLink Cantors_diagonal_argument.
- Diagonal_lemma wikiPageWikiLink Category:Articles_containing_proofs.
- Diagonal_lemma wikiPageWikiLink Category:Lemmas.
- Diagonal_lemma wikiPageWikiLink Category:Mathematical_logic.
- Diagonal_lemma wikiPageWikiLink Computability_theory.
- Diagonal_lemma wikiPageWikiLink Computable_function.
- Diagonal_lemma wikiPageWikiLink First-order_logic.
- Diagonal_lemma wikiPageWikiLink Fixed_point_(mathematics).
- Diagonal_lemma wikiPageWikiLink George_Boolos.
- Diagonal_lemma wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Diagonal_lemma wikiPageWikiLink Gödel_numbering.
- Diagonal_lemma wikiPageWikiLink Indirect_self-reference.
- Diagonal_lemma wikiPageWikiLink Kleenes_recursion_theorem.
- Diagonal_lemma wikiPageWikiLink Kurt_Gödel.
- Diagonal_lemma wikiPageWikiLink Mathematical_logic.
- Diagonal_lemma wikiPageWikiLink Natural_number.
- Diagonal_lemma wikiPageWikiLink Peano_axioms.
- Diagonal_lemma wikiPageWikiLink Primitive_recursive_arithmetic.
- Diagonal_lemma wikiPageWikiLink Primitive_recursive_function.
- Diagonal_lemma wikiPageWikiLink Raymond_Smullyan.
- Diagonal_lemma wikiPageWikiLink Richard_Jeffrey.
- Diagonal_lemma wikiPageWikiLink Robinson_arithmetic.
- Diagonal_lemma wikiPageWikiLink Rudolf_Carnap.
- Diagonal_lemma wikiPageWikiLink Self-reference.
- Diagonal_lemma wikiPageWikiLink Sentence_(logic).
- Diagonal_lemma wikiPageWikiLink Tarskis_undefinability_theorem.
- Diagonal_lemma wikiPageWikiLink Theory_(mathematical_logic).
- Diagonal_lemma wikiPageWikiLinkText "Diagonal lemma".
- Diagonal_lemma wikiPageWikiLinkText "Gödel's diagonal lemma".
- Diagonal_lemma wikiPageWikiLinkText "diagonal argument".
- Diagonal_lemma wikiPageWikiLinkText "diagonal lemma".
- Diagonal_lemma wikiPageWikiLinkText "diagonalisation".
- Diagonal_lemma wikiPageWikiLinkText "diagonalization".
- Diagonal_lemma wikiPageWikiLinkText "representable".
- Diagonal_lemma subject Category:Articles_containing_proofs.
- Diagonal_lemma subject Category:Lemmas.
- Diagonal_lemma subject Category:Mathematical_logic.
- Diagonal_lemma type Field.
- Diagonal_lemma type Lemma.
- Diagonal_lemma type Proof.
- Diagonal_lemma type Redirect.
- Diagonal_lemma type Theorem.
- Diagonal_lemma comment "In mathematical logic, the diagonal lemma or fixed point theorem establishes the existence of self-referential sentences in certain formal theories of the natural numbers—specifically those theories that are strong enough to represent all computable functions. The sentences whose existence is secured by the diagonal lemma can then, in turn, be used to prove fundamental limitative results such as Gödel's incompleteness theorems and Tarski's undefinability theorem.".
- Diagonal_lemma label "Diagonal lemma".
- Diagonal_lemma sameAs Q2904195.
- Diagonal_lemma sameAs Fixpunkttheorem.
- Diagonal_lemma sameAs לכסון_(שיטת_הוכחה).
- Diagonal_lemma sameAs Lema_da_diagonal.
- Diagonal_lemma sameAs m.01z0kl.
- Diagonal_lemma sameAs Fixpunktssatsen.
- Diagonal_lemma sameAs Q2904195.
- Diagonal_lemma sameAs 對角線引理.
- Diagonal_lemma wasDerivedFrom Diagonal_lemma?oldid=702789841.
- Diagonal_lemma isPrimaryTopicOf Diagonal_lemma.