塔斯基不可定义性定理与哥德尔第二不完备性定理的计算视角
逻辑
2019-11-12 v3 计算机科学中的逻辑
摘要
通过引入可推导性条件的某种双理论版本，我们针对固定可公理化理论的递归可枚举一致扩张，给出了哥德尔第二不完备性定理的一个版本。我们还论证了塔斯基的真理不可定义性定理是哥德尔第一不完缺性定理相对于可定义预言机的相对化；并给出了这两个定理的统一。
引用
@article{arxiv.1509.00164,
title = {Theorems of Tarski's Undefinability and Godel's Second Incompleteness-Computationally},
author = {Saeed Salehi},
journal= {arXiv preprint arXiv:1509.00164},
year = {2019}
}
备注
12 pages