Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Diagonal_lemma> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items 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 indefinability theorem.".
- Diagonal_lemma wikiPageID "348969".
- Diagonal_lemma wikiPageRevisionID "562932413".
- Diagonal_lemma hasPhotoCollection Diagonal_lemma.
- Diagonal_lemma subject Category:Articles_containing_proofs.
- Diagonal_lemma subject Category:Lemmas.
- Diagonal_lemma subject Category:Mathematical_logic.
- Diagonal_lemma type Abstraction100002137.
- Diagonal_lemma type Communication100033020.
- Diagonal_lemma type Lemma106751833.
- Diagonal_lemma type Lemmas.
- Diagonal_lemma type Message106598915.
- Diagonal_lemma type Proposition106750804.
- Diagonal_lemma type Statement106722453.
- Diagonal_lemma type Theorem106752293.
- Diagonal_lemma type TheoremsInMathematicalLogic.
- 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 indefinability theorem.".
- Diagonal_lemma label "Diagonal lemma".
- Diagonal_lemma label "Lema da diagonal".
- Diagonal_lemma label "對角線引理".
- Diagonal_lemma sameAs Lema_da_diagonal.
- Diagonal_lemma sameAs m.01z0kl.
- Diagonal_lemma sameAs Q2904195.
- Diagonal_lemma sameAs Q2904195.
- Diagonal_lemma sameAs Diagonal_lemma.
- Diagonal_lemma wasDerivedFrom Diagonal_lemma?oldid=562932413.
- Diagonal_lemma isPrimaryTopicOf Diagonal_lemma.