Diagonal lemma
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.
Wikipage redirect
primaryTopic
Diagonal lemma
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.
has abstract
Das Fixpunkttheorem (auch Fixp ...... von Georg Cantor genannt wird
@de
In mathematical logic, the dia ...... rski's undefinability theorem.
@en
Na lógica matemática, o lema d ...... da indefinibilidade de Tarski.
@pt
對角線引理(diagonal lemma),又稱為不動點定理 ...... 邏輯的基礎限制,例如:哥德爾不完備定理或塔斯基不可定義定理。
@zh
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
741,489,049
comment
Das Fixpunkttheorem (auch Fixp ...... von Georg Cantor genannt wird
@de
In mathematical logic, the dia ...... rski's undefinability theorem.
@en
Na lógica matemática, o lema d ...... da indefinibilidade de Tarski.
@pt
對角線引理(diagonal lemma),又稱為不動點定理 ...... 邏輯的基礎限制,例如:哥德爾不完備定理或塔斯基不可定義定理。
@zh
label
Diagonal lemma
@en
Fixpunkttheorem
@de
Lema da diagonal
@pt
對角線引理
@zh