Diagonal lemma (original) (raw)

About DBpedia

Das Fixpunkttheorem (auch Fixpunktsatz oder Diagonalisierungslemma) ist ein Satz in der mathematischen Logik zur Beschreibung selbstreferenzieller Aussagen in formalen Theorien. Es wurde von Kurt Gödel 1931 zur Konstruktion seines Beweises der Unvollständigkeit logischer Systeme, die so ausdrucksstark sind, dass man damit die natürlichen Zahlen axiomatisieren kann, verwendet und damit implizit bewiesen, allerdings nicht explizit unter diesem Namen erwähnt. Das Theorem leitet sich von dem Diagonalisierungslemma ab, das so in Anlehnung an das Diagonalisierungsargument von Georg Cantor genannt wird.

Property Value
dbo:abstract Das Fixpunkttheorem (auch Fixpunktsatz oder Diagonalisierungslemma) ist ein Satz in der mathematischen Logik zur Beschreibung selbstreferenzieller Aussagen in formalen Theorien. Es wurde von Kurt Gödel 1931 zur Konstruktion seines Beweises der Unvollständigkeit logischer Systeme, die so ausdrucksstark sind, dass man damit die natürlichen Zahlen axiomatisieren kann, verwendet und damit implizit bewiesen, allerdings nicht explizit unter diesem Namen erwähnt. Das Theorem leitet sich von dem Diagonalisierungslemma ab, das so in Anlehnung an das Diagonalisierungsargument von Georg Cantor genannt wird. (de) In mathematical logic, the diagonal lemma (also known as diagonalization lemma, self-reference 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. (en) Låt vara Peanos aritmetik. Fixpunktssatsen för är följande påstående: För varje formel finns en sats sådan att Fixpunktssatsen används flitigt i metalogiska resonemang, till exempel i konstruktionen av gödelsatser, rossersatser och henkinsatser. (sv) Na lógica matemática, o lema da diagonal ou teorema do ponto fixo estabelece a existência de sentenças em certas teorias formais dos números naturais - especificamente as teorias que são fortes o suficiente para representar todas as . As sentenças, cuja existência é garantida pelo lema da diagonal podem então, por sua vez, ser usadas para provar resultados fundamentalmente limitativos, tais como teorema da incompletude de Gödel e o teorema da indefinibilidade de Tarski. (pt) 對角線引理（diagonal lemma），又稱為不動點定理（fixed point theorem）。在數理邏輯中，對角線引理表明了自然數的形式理論中自指句子的存在——尤其是那些強到足以表示所有可計算函數的形式理論。 由對角線引理確立其存在的句子，將可用於證明一些邏輯的基礎限制，例如：哥德爾不完備定理或塔斯基不可定義定理。 (zh)
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://philpapers.org/rec/SMUDAS https://web.archive.org/web/20140109135345/http:/www.ifispan.waw.pl/studialogica/s-p-f/volumina_i-iv/I-07-Tarski-small.pdf%7C http://plato.stanford.edu/entries/goedel-incompleteness/index.html http://plato.stanford.edu/entries/goedel-incompleteness/sup2.html
dbo:wikiPageID 348969 (xsd:integer)
dbo:wikiPageLength 10738 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1096489735 (xsd:integer)
dbo:wikiPageWikiLink dbr:Rudolf_Carnap dbc:Lemmas dbr:List_of_fixed_point_theorems dbr:Peano_axioms dbr:Indirect_self-reference dbr:Richard_Jeffrey dbc:Articles_containing_proofs dbr:Computability_theory dbr:Computable_function dbr:Mathematical_logic dbr:Elliott_Mendelson dbr:George_Boolos dbr:Stanford_Encyclopedia_of_Philosophy dbr:Primitive_recursive_arithmetic dbr:Studia_Philosophica_(Poland) dbr:Robinson_arithmetic dbr:Alfred_Tarski dbr:First-order_logic dbr:Fixed_point_(mathematics) dbr:Gödel's_incompleteness_theorems dbr:Haim_Gaifman dbc:Mathematical_logic dbr:Theory_(mathematical_logic) dbr:Kurt_Gödel dbr:Natural_number dbr:On_Formally_Undecidable_Propositions_o...cipia_Mathematica_and_Related_Systems dbr:Cantor's_diagonal_argument dbr:Raymond_Smullyan dbr:Self-reference dbr:Self-referential dbr:Self-referential_paradoxes dbr:Kleene's_recursion_theorem dbr:Sentence_(mathematical_logic) dbr:Diagonalization_(disambiguation) dbr:Tarski's_undefinability_theorem dbr:Primitive_recursive_functions dbr:Gödel_number dbr:The_Concept_of_Truth_in_Formalized_Languages
dbp:wikiPageUsesTemplate dbt:About dbt:Cite_journal dbt:ISBN dbt:Reflist dbt:Short_description dbt:Math_theorem
dct:subject dbc:Lemmas dbc:Articles_containing_proofs dbc:Mathematical_logic
rdf:type yago:WikicatLemmas yago:Abstraction100002137 yago:Communication100033020 yago:Lemma106751833 yago:Message106598915 yago:Proposition106750804 yago:Statement106722453
rdfs:comment Das Fixpunkttheorem (auch Fixpunktsatz oder Diagonalisierungslemma) ist ein Satz in der mathematischen Logik zur Beschreibung selbstreferenzieller Aussagen in formalen Theorien. Es wurde von Kurt Gödel 1931 zur Konstruktion seines Beweises der Unvollständigkeit logischer Systeme, die so ausdrucksstark sind, dass man damit die natürlichen Zahlen axiomatisieren kann, verwendet und damit implizit bewiesen, allerdings nicht explizit unter diesem Namen erwähnt. Das Theorem leitet sich von dem Diagonalisierungslemma ab, das so in Anlehnung an das Diagonalisierungsargument von Georg Cantor genannt wird. (de) In mathematical logic, the diagonal lemma (also known as diagonalization lemma, self-reference 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. (en) Låt vara Peanos aritmetik. Fixpunktssatsen för är följande påstående: För varje formel finns en sats sådan att Fixpunktssatsen används flitigt i metalogiska resonemang, till exempel i konstruktionen av gödelsatser, rossersatser och henkinsatser. (sv) Na lógica matemática, o lema da diagonal ou teorema do ponto fixo estabelece a existência de sentenças em certas teorias formais dos números naturais - especificamente as teorias que são fortes o suficiente para representar todas as . As sentenças, cuja existência é garantida pelo lema da diagonal podem então, por sua vez, ser usadas para provar resultados fundamentalmente limitativos, tais como teorema da incompletude de Gödel e o teorema da indefinibilidade de Tarski. (pt) 對角線引理（diagonal lemma），又稱為不動點定理（fixed point theorem）。在數理邏輯中，對角線引理表明了自然數的形式理論中自指句子的存在——尤其是那些強到足以表示所有可計算函數的形式理論。 由對角線引理確立其存在的句子，將可用於證明一些邏輯的基礎限制，例如：哥德爾不完備定理或塔斯基不可定義定理。 (zh)
rdfs:label Fixpunkttheorem (de) Diagonal lemma (en) Lema da diagonal (pt) 對角線引理 (zh) Fixpunktssatsen (sv)
owl:sameAs freebase:Diagonal lemma yago-res:Diagonal lemma wikidata:Diagonal lemma dbpedia-de:Diagonal lemma dbpedia-he:Diagonal lemma dbpedia-pt:Diagonal lemma dbpedia-sv:Diagonal lemma dbpedia-zh:Diagonal lemma https://global.dbpedia.org/id/2h67Z
prov:wasDerivedFrom wikipedia-en:Diagonal_lemma?oldid=1096489735&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Diagonal_lemma
is dbo:knownFor of dbr:Kurt_Gödel
is dbo:wikiPageRedirects of dbr:Diagonal_Lemma dbr:Diagonalization_lemma dbr:Self-reference_lemma dbr:Diagonalization_Lemma dbr:General_self-referential_lemma
is dbo:wikiPageWikiLink of dbr:Primitive_recursive_function dbr:Proof_sketch_for_Gödel's_first_incompleteness_theorem dbr:Saul_Kripke dbr:Löb's_theorem dbr:Indirect_self-reference dbr:List_of_lemmas dbr:List_of_mathematical_logic_topics dbr:Computable_function dbr:Truth dbr:Gödel's_β_function dbr:Fallibilism dbr:Hilbert–Bernays_provability_conditions dbr:Knower_paradox dbr:Proof_theory dbr:Quine_(computing) dbr:Gödel's_incompleteness_theorems dbr:Diagonal_Lemma dbr:Diagonalization_lemma dbr:Kurt_Gödel dbr:Cantor's_diagonal_argument dbr:Self-reference_lemma dbr:Kleene's_recursion_theorem dbr:Meta-circular_evaluator dbr:Use–mention_distinction dbr:Diagonal_argument dbr:Diagonalization dbr:Self-verifying_theories dbr:Fixed-point_theorems dbr:Rosser's_trick dbr:Tarski's_undefinability_theorem dbr:Diagonalization_Lemma dbr:General_self-referential_lemma
is dbp:knownFor of dbr:Kurt_Gödel
is foaf:primaryTopic of wikipedia-en:Diagonal_lemma