0 and 1 in Greek mathematics

Following up on an earlier post about zero in Greek mathematics and this timeline of zero, I want to say something more about the role of 0 (zero) and 1 (one) in ancient Greek thought. Unfortunately, some of the discussion on Greek mathematics out there is a bit like this:

0 and 1 as quantities

The ancient Greeks could obviously count, and they had bankers, so they understood credits and debts, and the idea of your bank account being empty. However, they had not reached the brilliant insight of Brahmagupta, around 628 AD, that you could multiply a debt (−) and a debt (−) to get a credit (+).

The ancient Greeks had three words for “one” (εἷς = heis, μία = mia, ἑν = hen), depending on gender. So, in the opening line of Plato’s Timaeus, Socrates counts: “One, two, three; but where, my dear Timaeus, is the fourth of those who were yesterday my guests … ? (εἷς, δύο, τρεῖς: ὁ δὲ δὴ τέταρτος ἡμῖν, ὦ φίλε Τίμαιε, ποῦ τῶν χθὲς μὲν δαιτυμόνων … ; )

The Greeks had two words for “nothing” or “zero” (μηδέν = mēden and οὐδέν = ouden). So, in the Christian New Testament, in John 21:11, some fisherman count fish and get 153, but in Luke 5:5, Simon Peter says “Master, we toiled all night and took nothing (οὐδὲν)!

0 and 1 in calculations

In ordinary (non-positional) Greek numerals, the Greeks used α = 1, ι = 10, and ρ = 100. There was no special symbol for zero. Greek mathematicians, such as Archimedes, wrote numbers out in words when stating a theorem.

Greek astronomers, who performed more complex calculations, used the Babylonian base-60 system. Sexagesimal “digits” from 1 to 59 were written in ordinary Greek numerals, with variations of ō for zero. The overbar was necessary to distinguish ō from the letter ο, which denoted the number 70 (since an overbar was a standard way of indicating abbreviations, it is likely that the symbol ō was an abbreviation for οὐδὲν).

Initially (around 100 AD) the overbar was quite fancy, and it became shorter and simpler over time, eventually disappearing altogether. Here it is in a French edition of Ptolemy’s Almagest of c. 150 AD:

In Greek-influenced Latin astronomical calculations, such as those used by Christians to calculate the date of Easter, “NULLA” or “N” was used for zero as a value. Such calculations date from the third century AD. Here (from Gallica) is part of a beautiful late example from around 700 AD (the calendar of St. Willibrord):

Outside of astronomy, zero does not seem to get mentioned much, although Aristotle, in his Physics (Book 4, Part 8) points out, as if it is a well-known fact, that “there is no ratio of zero (nothing) to a number (οὐδὲ τὸ μηδὲν πρὸς ἀριθμόν),” i.e. that you cannot divide by zero. Here Aristotle may have been ahead of Brahmagupta, who thought that 0/0 = 0.

0 and 1 as formal numbers?

We now turn to the formal theory of numbers, in the Elements of Euclid and other works. This is mathematics in a surprisingly modern style, with formal proofs and (more or less) formal definitions. In book VII of the Elements (Definitions 1 & 2), Euclid defines the technical terms μονάς = monas (unit) and ἀριθμὸς = arithmos (number):

  1. A monas (unit) is that by virtue of which each of the things that exist is called one (μονάς ἐστιν, καθ᾽ ἣν ἕκαστον τῶν ὄντων ἓν λέγεται).
  2. An arithmos (number) is a multitude composed of units (ἀριθμὸς δὲ τὸ ἐκ μονάδων συγκείμενον πλῆθος).

So 1 is the monas (unit), and the technical definition of arithmos excludes 0 and 1, just as today the technical definition of natural number is taken by some mathematicians to exclude 0. However, in informal Greek language, 1 was still a number, and Greek mathematicians were not at all consistent about excluding 1. It remained a number for the purpose of doing arithmetic. Around 100 AD, for example, Nicomachus of Gerasa (in his Introduction to Arithmetic, Book 1, VIII, 9–12) discusses the powers of 2 (1, 2, 4, 8, 16, 32, 64, 128, 256, 512 = α, β, δ, η, ιϛ, λβ, ξδ, ρκη, σνϛ, φιβ) and notes that “it is the property of all these terms when they are added together successively to be equal to the next in the series, lacking a monas (συμβέβηκε δὲ πᾱ́σαις ταῖς ἐκθέσεσι συντεθειμέναις σωρηδὸν ἴσαις εἶναι τῷ μετ’ αὐτὰς παρὰ μονάδα).” In the same work (Book 1, XIX, 9), he provides a multiplication table for the numbers 1 through 10:

The issue here is that Euclid was aware of the fundamental theorem of arithmetic, i.e. that every positive integer can be decomposed into a bag (multiset) of prime factors, in no particular order, e.g. 60 = 2×2×3×5 = 2×2×5×3 = 2×5×2×3 = 5×2×2×3 = 5×2×3×2 = 2×5×3×2 = 2×3×5×2 = 2×3×2×5 = 3×2×2×5 = 3×2×5×2 = 3×5×2×2 = 5×3×2×2.

Euclid proves most of this theorem in propositions 30, 31 and 32 of his Book VII and proposition 14 of his Book IX. The number 0 is obviously excluded from consideration here, and the number 1 is special because it represents the empty bag (even today we recognise that 1 is a special case, because it is not a prime number, and it is not composed of prime factors either – although, as late as a century ago, there were mathematicians who called 1 prime, which causes all kinds of problems):

  • If two numbers (arithmoi) by multiplying one another make some number, and any prime number measure the product, it will also measure one of the original numbers (ἐὰν δύο ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινα, τὸν δὲ γενόμενον ἐξ αὐτῶν μετρῇ τις πρῶτος ἀριθμός, καὶ ἕνα τῶν ἐξ ἀρχῆς μετρήσει) – i.e. if a prime p divides ab, then it divides a or b or both
  • Any composite number is measured by some prime number (ἅπας σύνθετος ἀριθμὸς ὑπὸ πρώτου τινὸς ἀριθμοῦ μετρεῖται) – i.e. it has a prime factor
  • Any number (arithmos) either is prime or is measured by some prime number (ἅπας ἀριθμὸς ἤτοι πρῶτός ἐστιν ἢ ὑπὸ πρώτου τινὸς ἀριθμοῦ μετρεῖται) – this would not be true for 1
  • If a number be the least that is measured by prime numbers, it will not be measured by any other prime number except those originally measuring it (ἐὰν ἐλάχιστος ἀριθμὸς ὑπὸ πρώτων ἀριθμῶν μετρῆται, ὑπ᾽ οὐδενὸς ἄλλου πρώτου ἀριθμοῦ μετρηθήσεται παρὲξ τῶν ἐξ ἀρχῆς μετρούντων) – this is a partial expression of the uniqueness of prime factorisation

The special property of 1, the monas or unit, was sometimes expressed (e.g. by Nicomachus of Gerasa) by saying that it is the “beginning of arithmoi … but not itself an arithmos.” As we have already seen, nobody was consistent about this, and there was, of course, no problem in doing arithmetic with 1. Everybody agreed that 1 + 2 + 3 + 4 = 10. In modern mathematics, we would avoid problems by saying that natural numbers are produced using the successor function S, and distinguish that function from the number S(0) = 1.

The words monas and arithmos occur in other Greek writers, not always in the Euclidean technical sense. For example, in a discussion of causes and properties in the Phaedo (105c), Plato tells us that “if you ask what causes an arithmos to be odd, I shall not say oddness, but the monas (οὐδ᾽ ᾧ ἂν ἀριθμῷ τί ἐγγένηται περιττὸς ἔσται, οὐκ ἐρῶ ᾧ ἂν περιττότης, ἀλλ᾽ ᾧ ἂν μονάς).” Aristotle, in his Metaphysics, spends some time on the philosophical question of what the monas really is.

In general, the ancient Greeks seem to have had quite a sophisticated understanding of 0 and 1, though hampered by poor vocabulary and a lack of good symbols. Outside of applied mathematics and astronomy, they mostly worked with what we would call the multiplicative group of the positive rational numbers. What they were missing was any awareness of negative numbers as mathematical (not just financial) concepts. That had to wait until Brahmagupta, and when it came, 0 suddenly became a whole lot more interesting, because it eventually became possible to define more advanced mathematical concepts like fields.

The history of zero: an infographic

Following up on an earlier post about Zero in Greek mathematics, here is a timeline for the use of zero in Europe (click to zoom). I have used images of, or quotes from, primary sources where possible (reliably dated Indian primary sources are much harder to find than Greek ones, unfortunately).

Chinese uses of zero are probably also derived from the Greeks, but Mayan uses are clearly independent.

COVID-19 and Vitamin-D

The chart above shows national Covid mortality against latitude of national capitals (open circles are for the Southern Hemisphere, solid circles for the Northern). The trend line in blue has a correlation of 0.50 (with p < 10−13). Countries further away from the equator are definitely reporting more Covid deaths.

It is possible that these numbers reflect under-counting in the tropics (although this is unlikely for Singapore = SG) and over-counting in wealthier countries away from the tropics (e.g. by reporting deaths of patients with positive Covid tests as Covid deaths, even if the actual cause of death is unrelated). However, it seems unlikely that under-counting and over-counting can explain everything here.

This paper in The Lancet notes that “It has long been clear that groups that traditionally exhibit vitamin D deficiency or insufficiency, such as older adults and nursing home residents, and Black, Asian, and minority ethnic populations, are the same groups that have also been disproportionately impacted by COVID-19. Additionally, increased time spent indoors due to strict lockdowns and shielding triggered concerns that some people might not obtain the necessary physiological levels of vitamin D from sunlight.

My chart above is consistent with this: decreased sunshine away from the equator appears to increase Covid mortality, presumably due to vitamin D deficiency. This study in QJM notes, “vitamin D supplementation is effective in reducing COVID-19 severity. Hence vitamin D should be recommended as an adjuvant therapy for COVID-19.” Personally, I have been taking this advice for quite some time.

Human embryology again

Returning to the topic of human embryology, here is a human fetal timeline for the first 16 weeks post fertilisation (obstetricians count from the LMP = last menstrual period, which adds about 2 weeks). It is a little disturbing quite how much scientific misinformation is being circulated in regard to the topic. False information is not conducive to honest debate, and is highly corrosive of the trust people have in professionals such as scientists (it’s also unethical on both religious and Kantian grounds). In particular, contrary to what some have suggested:

Fetal length data in the table is mostly from here. Except where indicated, linked images are subsequent to miscarriage or to surgery to resolve ectopic pregnancy, so may be distressing to some readers.

Week post fertilisation Week post LMP Fetal length Image
1 3 0.01 cm / 0.005 inches 8–cell image
2 4 0.02 cm / 0.008 inches
3 5 0.1 cm / 0.04 inches heart begins beating at 21 days
4 6 0.5 cm / 0.2 inches image on flickr
5 7 1 cm / 0.4 inches image on wikimedia
6 8 1.6 cm / 0.6 inches image on flickr
7 9 2.3 cm / 0.9 inches image on flickr
8 10 3.2 cm / 1.3 inches
9 11 4.1 cm / 1.6 inches
10 12 5.4 cm / 2.1 inches
11 13 6.7 cm / 2.6 inches ultrasound image
12 14 14.7 cm / 5.8 inches
13 15 16.7 cm / 6.6 inches
14 16 18.6 cm / 7.3 inches
15 17 20.4 cm / 8 inches ultrasound image
16 18 22 cm / 8.7 inches

Below (from here) is a chart of heart development: