Theorems of Tarski's Undefinability and Godel's Second Incompleteness-Computationally
Abstract
We present a version of Gödel's Second Incompleteness Theorem for recursively enumerable consistent extensions of a fixed axiomatizable theory, by incorporating some bi-theoretic version of the derivability conditions. We also argue that Tarski's theorem on the Undefinability of Truth is Gödel's First Incompleteness Theorem relativized to definable oracles; a unification of these two theorems is given.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2015
- DOI:
- 10.48550/arXiv.1509.00164
- arXiv:
- arXiv:1509.00164
- Bibcode:
- 2015arXiv150900164S
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Logic in Computer Science;
- 03F40;
- 03B25;
- 03D35;
- 03A05
- E-Print:
- 12 pages