A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Finding the limit of incompleteness I
[article]
2020
arXiv
pre-print
In this paper, we examine the limit of applicability of Gödel's first incompleteness theorem (G1 for short). We first define the notion "G1 holds for the theory T". This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which G1 holds. To approach this question, we first examine the following question: is there a theory T such that Robinson's R interprets T but T does not interpret R (i.e. T is weaker than R w.r.t. interpretation) and
arXiv:1902.06658v2
fatcat:4wyrwroil5h3hnhparlk64kd54