collaborators

1 paper

math.GM2008

The Antinomy of the Liar and Provability

Jailton C. Ferreira

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…