Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference35 articles.
1. Solvability criteria for the equation xq = a in the field of p-adic numbers;Casas;Bulletin of the Malaysian Mathematical Sciences Society. Second Series,2014
2. Was Euclid’s approach to arithmetic axiomatic?;Vandoulakis;Oriens Occidens,1998
3. EIN BEITRAG ZUR DEUTUNG DER THEODOROS-STELLE IN PLATONS DIALOG «THEAETET»
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献