The arithmetic of the even and the odd

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


We present several formal theories for the arithmetic of the even and the odd, show that the irrationality of can be proved in one of them, that the proof must involve contradiction, and prove that the irrationality of cannot be proved inside any formal theory of the even and the odd.

Original languageEnglish (US)
Pages (from-to)359-369
Number of pages11
JournalReview of Symbolic Logic
Issue number2
StatePublished - Jun 1 2016

ASJC Scopus subject areas

  • Logic
  • Philosophy
  • Mathematics (miscellaneous)


Dive into the research topics of 'The arithmetic of the even and the odd'. Together they form a unique fingerprint.

Cite this