Can We Make the Second Incompleteness Theorem Coordinate Free?
نویسندگان
چکیده
منابع مشابه
Can We Make the Second Incompleteness Theorem Coordinate Free?
Is it possible to give a coordinate free formulation of the Second Incompleteness Theorem? We pursue one possible approach to this question. We show that (i) cutfree consistency for finitely axiomatized theories can be uniquely characterized modulo EA-provable equivalence, (ii) consistency for finitely axiomatized sequential theories can be uniquely characterized modulo EA-provable equivalence....
متن کاملOn Gödel’s Second Incompleteness Theorem
Gödel’s Second Incompleteness Theorem states that no sufficiently strong consistent mathematical theory can prove its own consistency. In [1] this is proved for every axiomatic theory extending the Peano Arithmetic. For axiomatic set theory a simpler proof was given in [2] using the fact that in set theory, consistency of a set of axioms is equivalent to the existence of a model. In this note w...
متن کاملKolmogorov complexity and the second incompleteness theorem
We shall prove the second incompleteness theorem via Kolmogorov complexity.
متن کاملThe Surprise Examination Paradox and the Second Incompleteness Theorem
Few theorems in the history of mathematics have inspired mathematicians and philosophers as much as Gödel’s incompleteness theorems. The first incompleteness theorem states that, for any rich enough consistent mathematical theory, there exists a statement that cannot be proved or disproved within the theory. The second incompleteness theorem states that for any rich enough consistent mathematic...
متن کاملOn the Nature of Gödel’s Second Incompleteness Theorem
In several recent articles, we have shown how such totality conditions are related to both generalizations and boundary-case exceptions for the Second Incompleteness Theorem. For instance, our article [2] showed how essentially all axiom systems recognizing addition and multiplication as “total” functions are unable to prove a theorem affirming their semantic tableaux consistency. In contrast, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2009
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exp048