Abstract
According to Priest, a proof can be distinct from itself in the same way that a number can. Priest does not specify any such number, so the present little note aims at filling this lacuna by providing a plain arithmetical code of a dialetheia similar to but simpler than the one presented in our recent work and thereby a natural number distinct from itself.
Citation
Uwe Petersen. "Dialetheias and Numbers Distinct from Themselves." Notre Dame J. Formal Logic 64 (2) 239 - 246, May 2023. https://doi.org/10.1215/00294527-10670103
Information
