The Antinomy of the Liar and Provability
General Mathematics
2008-06-05 v1
Abstract
This work evidences that a sentence cannot be denominated by P and written as P IS NOT TRUE. It demonstrates that in a system in which Q denominates the sentence Q IS NOT PROVABLE it is not provable that Q is true and not provable.
Cite
@article{arxiv.0806.0635,
title = {The Antinomy of the Liar and Provability},
author = {Jailton C. Ferreira},
journal= {arXiv preprint arXiv:0806.0635},
year = {2008}
}
Comments
4 pages