论文标题
Tarski的不确定定理和对角线引理
Tarski's Undefinability Theorem and Diagonal Lemma
论文作者
论文摘要
我们证明了Tarski定理的语义版本与对角线引理的语义版本相当，并且还显示了句法Tarski的不确定性与弱语法对角凸齿的等效性。我们概述了文献中这些定理的两个看似无角的证据，并表明句法Tarski的定理可以提供Gödel-Rosser的不完整定理。
We prove the equivalence of the semantic version of Tarski's theorem on the undefinability of truth with a semantic version of the Diagonal Lemma, and also show the equivalence of syntactic Tarski's Undefinability Theorem with a weak syntactic diagonal lemma. We outline two seemingly diagonal-free proofs for these theorems from the literature, and show that syntactic Tarski's theorem can deliver Gödel-Rosser's Incompleteness Theorem.
