About: Diagonal lemma

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Statement in mathematical logic

Property	Value
dbo:description	mathematischer Satz (de) Statement in mathematical logic (en) declaración en lógica matemática (es)
dbo:wikiPageExternalLink	http://www.ifispan.waw.pl/studialogica/s-p-f/volumina_i-iv/I-07-Tarski-small.pdf%7C http://www.thatmarcusfamily.org/philosophy/Course_Websites/Readings/Tarski%20-%20The%20Concept%20of%20Truth%20in%20Formalized%20Languages.pdf https://haimgaifman.files.wordpress.com/2016/07/22odel-to-kleene.pdf https://web.archive.org/web/20140109135345/http:/www.ifispan.waw.pl/studialogica/s-p-f/volumina_i-iv/I-07-Tarski-small.pdf%7C https://philpapers.org/rec/SMUDAS http://plato.stanford.edu/entries/goedel-incompleteness/index.html http://plato.stanford.edu/entries/goedel-incompleteness/sup2.html
dbo:wikiPageWikiLink	dbc:Articles_containing_proofs dbr:Fixed_point_(mathematics) dbr:Self-reference dbr:Peano_axioms dbr:Cantor's_diagonal_argument dbr:First-order_logic dbr:Gödel's_incompleteness_theorems dbr:Robinson_arithmetic dbr:Haim_Gaifman dbr:Rudolf_Carnap dbr:Computable_function dbr:Sentence_(mathematical_logic) dbr:Indirect_self-reference dbr:Computability_theory dbr:Primitive_recursive_arithmetic dbc:Mathematical_logic dbr:Tarski's_undefinability_theorem dbr:Kurt_Gödel dbr:Alfred_Tarski dbc:Lemmas dbr:George_Boolos dbr:Mathematical_logic dbr:Kleene's_recursion_theorem dbr:Raymond_Smullyan dbr:Natural_number dbr:Stanford_Encyclopedia_of_Philosophy dbr:Richard_Jeffrey dbr:On_Formally_Undecidable_Propositions_o...cipia_Mathematica_and_Related_Systems dbr:Elliott_Mendelson dbr:Theory_(mathematical_logic) dbr:Studia_Philosophica_(Poland) dbr:Primitive_recursive_functions dbr:The_Concept_of_Truth_in_Formalized_Languages dbr:Diagonalization_(disambiguation) dbr:Gödel_number dbr:List_of_fixed_point_theorems dbr:Self-referential dbr:Self-referential_paradoxes
dbp:wikiPageUsesTemplate	dbt:! dbt:Reflist dbt:Cite_journal dbt:ISBN dbt:Other_uses dbt:Short_description
dct:subject	dbc:Articles_containing_proofs dbc:Mathematical_logic dbc:Lemmas
rdfs:label	Diagonal lemma (en) Fixpunkttheorem (de) Lema da diagonal (pt) Fixpunktssatsen (sv) 對角線引理 (zh)
owl:sameAs	freebase:Diagonal lemma yago-res:Diagonal lemma wikidata:Diagonal lemma dbpedia-de:Diagonal lemma dbpedia-zh:Diagonal lemma dbpedia-pt:Diagonal lemma dbpedia-he:Diagonal lemma dbpedia-sv:Diagonal lemma dbpedia-global:Diagonal lemma
prov:wasDerivedFrom	wikipedia-en:Diagonal_lemma?oldid=1296498002&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Diagonal_lemma
is dbo:knownFor of	dbr:Kurt_Gödel
is dbo:notableIdea of	dbr:Rudolf_Carnap
is dbo:wikiPageRedirects of	dbr:General_self-referential_lemma dbr:General_self-referential_lemma dbr:Diagonal_Lemma dbr:Diagonalization_Lemma dbr:Diagonalization_lemma dbr:Self-reference_lemma
is dbo:wikiPageWikiLink of	dbr:Primitive_recursive_function dbr:Cantor's_diagonal_argument dbr:Quine_(computing) dbr:Rosser's_trick dbr:Saul_Kripke dbr:Gödel's_incompleteness_theorems dbr:Hilbert–Bernays_provability_conditions dbr:Proof_sketch_for_Gödel's_first_incompleteness_theorem dbr:Proof_theory dbr:Computable_function dbr:Fallibilism dbr:Diagonalization dbr:Indirect_self-reference dbr:Truth dbr:Tarski's_undefinability_theorem dbr:Gödel's_β_function dbr:Kurt_Gödel dbr:Löb's_theorem dbr:Kleene's_recursion_theorem dbr:Diagonal_argument dbr:List_of_lemmas dbr:List_of_mathematical_logic_topics dbr:Use–mention_distinction dbr:Meta-circular_evaluator dbr:Self-verifying_theories dbr:General_self-referential_lemma dbr:Knower_paradox dbr:Fixed-point_theorems dbr:Diagonal_Lemma dbr:Diagonalization_Lemma dbr:Diagonalization_lemma dbr:Self-reference_lemma
is dbp:knownFor of	dbr:Kurt_Gödel
is dbp:notableIdeas of	dbr:Rudolf_Carnap
is foaf:primaryTopic of	wikipedia-en:Diagonal_lemma