THE ARITHMETIC OF THE EVEN AND THE ODD

Research output: Contribution to journalArticle

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
Publication statusAccepted/In press - Jan 18 2016

    Fingerprint

ASJC Scopus subject areas

  • Logic
  • Philosophy
  • Mathematics (miscellaneous)

Cite this