On Arithmetical Truth of the Self-Referential Sentences
Logic
2019-07-02 v3
Abstract
We take an argument of G\"odel's from his ground-breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: the sentence says about itself that it is not provable, and is indeed not provable; therefore, is true.
Keywords
Cite
@article{arxiv.1607.04055,
title = {On Arithmetical Truth of the Self-Referential Sentences},
author = {Kaave Lajevardi and Saeed Salehi},
journal= {arXiv preprint arXiv:1607.04055},
year = {2019}
}
Comments
7 pages