We present several formal theories for the arithmetic of the even and the odd, show that the irrationality of (Formula presented.) can be proved in one of them, that the proof must involve contradiction, and prove that the irrationality of (Formula presented.) cannot be proved inside any formal theory of the even and the odd.
|Original language||English (US)|
|Number of pages||11|
|Journal||Review of Symbolic Logic|
|State||Accepted/In press - Jan 18 2016|
ASJC Scopus subject areas
- Mathematics (miscellaneous)