THE ARITHMETIC OF THE EVEN AND THE ODD

Victor Pambuccian

doi:10.1017/S1755020315000386

THE ARITHMETIC OF THE EVEN AND THE ODD

Victor Pambuccian

Research output: Contribution to journal › Article › peer-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 language	English (US)
Pages (from-to)	1-11
Number of pages	11
Journal	Review of Symbolic Logic
DOIs	https://doi.org/10.1017/S1755020315000386
State	Accepted/In press - Jan 18 2016

ASJC Scopus subject areas

Logic
Philosophy
Mathematics (miscellaneous)

Access to Document

10.1017/S1755020315000386

Cite this

@article{75979fe35fb44053bd63a83892e477ea,

title = "THE ARITHMETIC OF THE EVEN AND THE ODD",

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.",

author = "Victor Pambuccian",

year = "2016",

month = jan,

day = "18",

doi = "10.1017/S1755020315000386",

language = "English (US)",

pages = "1--11",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - THE ARITHMETIC OF THE EVEN AND THE ODD

AU - Pambuccian, Victor

PY - 2016/1/18

Y1 - 2016/1/18

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84954475889&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84954475889&partnerID=8YFLogxK

U2 - 10.1017/S1755020315000386

DO - 10.1017/S1755020315000386

M3 - Article

AN - SCOPUS:84954475889

SN - 1755-0203

SP - 1

EP - 11

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

ER -

THE ARITHMETIC OF THE EVEN AND THE ODD

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this