{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T21:40:29Z","timestamp":1718314829423},"reference-count":35,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T00:00:00Z","timestamp":1453075200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2016,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present several formal theories for the arithmetic of the even and the odd, show that the irrationality of<jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S1755020315000386_inline1\"\/><jats:tex-math>$\\sqrt 2$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>can be proved in one of them, that the proof must involve contradiction, and prove that the irrationality of<jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S1755020315000386_inline2\"\/><jats:tex-math>$\\sqrt {17}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>cannot be proved inside any formal theory of the even and the odd.<\/jats:p>","DOI":"10.1017\/s1755020315000386","type":"journal-article","created":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T09:47:56Z","timestamp":1453110476000},"page":"359-369","source":"Crossref","is-referenced-by-count":3,"title":["THE ARITHMETIC OF THE EVEN AND THE ODD"],"prefix":"10.1017","volume":"9","author":[{"given":"VICTOR","family":"PAMBUCCIAN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2016,1,18]]},"reference":[{"key":"S1755020315000386_ref7","first-page":"853","article-title":"Solvability criteria for the equation xq = a in the field of p-adic numbers","volume":"37","author":"Casas","year":"2014","journal-title":"Bulletin of the Malaysian Mathematical Sciences Society. Second Series"},{"key":"S1755020315000386_ref27","volume-title":"Das exakte Denken der Griechen","author":"Reidemeister","year":"1949"},{"key":"S1755020315000386_ref31","first-page":"141","article-title":"Was Euclid\u2019s approach to arithmetic axiomatic?","volume":"2","author":"Vandoulakis","year":"1998","journal-title":"Oriens Occidens"},{"key":"S1755020315000386_ref11","doi-asserted-by":"publisher","DOI":"10.1111\/j.1600-0498.1956.tb00239.x"},{"key":"S1755020315000386_ref22","doi-asserted-by":"publisher","DOI":"10.2307\/2690123"},{"key":"S1755020315000386_ref4","volume-title":"Das mathematische Denken der Antike","author":"Becker","year":"1957"},{"key":"S1755020315000386_ref28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511721502"},{"key":"S1755020315000386_ref33","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/bdm104"},{"key":"S1755020315000386_ref23","first-page":"271","volume-title":"Routledge History of Philosophy, Vol. 1: From the Beginning to Plato","author":"Mueller","year":"1997"},{"key":"S1755020315000386_ref5","doi-asserted-by":"publisher","DOI":"10.1086\/352111"},{"key":"S1755020315000386_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1754-1"},{"key":"S1755020315000386_ref35","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199289318.001.0001"},{"key":"S1755020315000386_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511482533"},{"key":"S1755020315000386_ref24","first-page":"81","volume-title":"Philosophie et math\u00e9matiques","volume":"10","author":"Ofman","year":"2010"},{"key":"S1755020315000386_ref15","doi-asserted-by":"publisher","DOI":"10.1002\/malq.201200013"},{"key":"S1755020315000386_ref14","volume-title":"Livres arithm\u00e9tiques d\u2019Euclide","author":"Itard","year":"1961"},{"key":"S1755020315000386_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01228045"},{"key":"S1755020315000386_ref3","volume-title":"Grundlagen der Mathematik in geschichtlicher Entwicklung","author":"Becker","year":"1954"},{"key":"S1755020315000386_ref25","doi-asserted-by":"publisher","DOI":"10.20416\/lsrsps.v1i1.53"},{"key":"S1755020315000386_ref2","first-page":"533","article-title":"Die Lehre von Geraden und Ungeraden im neunten Buch der euklidischen Elemente","volume":"3","author":"Becker","year":"1936","journal-title":"Quellen und Studien zur Geschichte der Mathematik, Astronomie und Physik, Abteilung B: Studien"},{"key":"S1755020315000386_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00283-014-9521-x"},{"key":"S1755020315000386_ref26","unstructured":"Pambuccian V . (2016). A problem in Pythagorean arithmetic. Notre Dame Journal of Formal Logic, to appear."},{"key":"S1755020315000386_ref34","first-page":"395","article-title":"Sur la constitution des livres arithm\u00e9tiques des \u00c9l\u00e9ments d\u2019Euclide et leur rapport \u00e0 la question de I\u2019irrationalit\u00e9","author":"Zeuthen","year":"1910","journal-title":"Oversigt over det Kongelige Danske Videnskabernes Selskabs Forhandlinger"},{"key":"S1755020315000386_ref8","doi-asserted-by":"publisher","DOI":"10.1111\/j.1600-0498.1996.tb00611.x"},{"key":"S1755020315000386_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF01447827"},{"key":"S1755020315000386_ref10","first-page":"125","article-title":"Sur l\u2019axiomatique de l\u2019arithm\u00e9tique euclidienne","volume":"2","author":"Gardies","year":"1998","journal-title":"Oriens Occidens"},{"key":"S1755020315000386_ref9","unstructured":"Conrad K . (2015). Hensel\u2019s lemma. http:\/\/www.math.uconn.edu\/\u223ckconrad\/blurbs\/gradnumthy\/hensel.pdf."},{"key":"S1755020315000386_ref16","first-page":"16","article-title":"Platon et math\u00e9matique","volume":"40","author":"Kahane","year":"1984","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Franco-Japonaise des Sciences Pures et Appliqu\u00e9es"},{"key":"S1755020315000386_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BF01447852"},{"key":"S1755020315000386_ref32","first-page":"4893","article-title":"Review of McCabe (1976)","volume":"54","author":"Waterhouse","year":"1978","journal-title":"Mathmetical Reviews"},{"key":"S1755020315000386_ref19","doi-asserted-by":"publisher","DOI":"10.1086\/352343"},{"key":"S1755020315000386_ref21","first-page":"240","article-title":"Eine Axiomatik zum 7. Buch der Elemente von Euklid","volume":"22","author":"Malmendier","year":"1975","journal-title":"Mathematisch-physikalische Semesterberichte"},{"key":"S1755020315000386_ref12","volume-title":"Philolaus of Croton: Pythagorean and Presocratic","author":"Huffman","year":"1993"},{"key":"S1755020315000386_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S0269889705000347"},{"key":"S1755020315000386_ref17","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"Kaye","year":"1991"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020315000386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T21:12:01Z","timestamp":1718313121000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020315000386\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,18]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["S1755020315000386"],"URL":"https:\/\/doi.org\/10.1017\/s1755020315000386","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,18]]}}}