THE ARITHMETIC OF THE EVEN AND THE ODD

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

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 languageEnglish (US)
Pages (from-to)1-11
Number of pages11
JournalReview of Symbolic Logic
DOIs
StateAccepted/In press - Jan 18 2016

ASJC Scopus subject areas

  • Logic
  • Philosophy
  • Mathematics (miscellaneous)

Fingerprint Dive into the research topics of 'THE ARITHMETIC OF THE EVEN AND THE ODD'. Together they form a unique fingerprint.

Cite this