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 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 language	English (US)
Pages (from-to)	359-369
Number of pages	11
Journal	Review of Symbolic Logic
Volume	9
Issue number	2
DOIs	https://doi.org/10.1017/S1755020315000386
State	Published - Jun 1 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 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.",

author = "Victor Pambuccian",

year = "2016",

month = jun,

day = "1",

doi = "10.1017/S1755020315000386",

language = "English (US)",

volume = "9",

pages = "359--369",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - The arithmetic of the even and the odd

AU - Pambuccian, Victor

PY - 2016/6/1

Y1 - 2016/6/1

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

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

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

VL - 9

SP - 359

EP - 369

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

IS - 2

ER -

The arithmetic of the even and the odd

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this