Article contents
THE ARITHMETIC OF THE EVEN AND THE ODD
Published online by Cambridge University Press: 18 January 2016
Abstract
We present several formal theories for the arithmetic of the even and the odd, show that the irrationality of $\sqrt 2$ can be proved in one of them, that the proof must involve contradiction, and prove that the irrationality of $\sqrt {17}$ cannot be proved inside any formal theory of the even and the odd.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2016
References
BIBLIOGRAPHY
- 3
- Cited by