Was Euclid's Approach to Arithmetic Axiomatic?

Oriens - Occidens 2:141-181 (1998)
  Copy   BIBTEX


The lack of specific arithmetical axioms in Book VII has puzzled historians of mathematics. It is hardly possible in our view to ascribe to the Greeks a conscious undertaking to axiomatize arithmetic. The view that associates the beginnings of the axiomatization of arithmetic with the works of Grassman [1861], Dedekind [1888] and Peano [1889] seems to be more plausible. In this connection a number of interesting historical problems have been raised, for instance, why arithmetic was axiomatized so late. This question was first posed and quite conclusively answered by Yanovskaja [1956]. Her major and quite conclusive argument was that “algorithms in arithmetic have absolute character, while in geometry we have to do with reducibility algorithms”. In this paper we are going to draw attention on certain peculiarities of the construction of the arithmetical Books of Euclid’s "Elements" and show that Euclidean arithmetic is constructed by effective procedures. In spite of the use of inference by reductio ad absurdum and methods equivalent to mathematical induction, Euclidean arithmetic retains its finitary character. It is not full arithmetic, but a finitary fragment of classical arithmetic, and thereby there was not any internal reason for its axiomatization.



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Greek Mathematics to the Time of Euclid.Ian Mueller - 2018 - In Sean D. Kirkland & Eric Sanday (eds.), A Companion to Ancient Philosophy. Evanston, Illinois: Northwestern University Press. pp. 686–718.


Added to PP

32 (#516,119)

6 months
5 (#710,385)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ioannis Vandoulakis
Open University of Cyprus

Citations of this work

The arithmetic of the even and the odd.Victor Pambuccian - 2016 - Review of Symbolic Logic 9 (2):359-369.

Add more citations

References found in this work

No references found.

Add more references