Abstract
In this paper, we provide a fairly general self-reference-free proof of the second incompleteness theorem from Tarski's theorem on the undefinability of truth.
Author supplied keywords
Cite
CITATION STYLE
APA
Visser, A. (2019). From Tarski to Gödel-or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. Journal of Logic and Computation, 29(5), 595–604. https://doi.org/10.1093/logcom/exz004
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free