10

Why Did Thomas Harriot Invent Binary?

 1 year ago
source link: https://link.springer.com/article/10.1007/s00283-023-10271-9
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

Working on a manuscript?

Avoid the common mistakes

From the early eighteenth century onward, primacy for the invention of binary numeration and arithmetic was almost universally credited to the German polymath Gottfried Wilhelm Leibniz (1646–1716) (see, for example, [5, p. 335] and [10, p. 74]). Then, in 1922, Frank Vigor Morley (1899–1980) noted that an unpublished manuscript of the English mathematician, astronomer, and alchemist Thomas Harriot (1560–1621) contained the numbers 1 to 8 in binary. Morley’s only comment was that this foray into binary was “certainly prior to the usual dates given for binary numeration” [6, p. 65]. Almost thirty years later, John William Shirley (1908–1988) published reproductions of two of Harriot’s undated manuscript pages, which, he claimed, showed that Harriot had invented binary numeration “nearly a century before Leibniz’s time” [7, p. 452]. But while Shirley correctly asserted that Harriot had invented binary numeration, he made no attempt to explain how or when Harriot had done so. Curiously, few since Shirley’s time have attempted to answer these questions, despite their obvious importance. After all, Harriot was, as far as we know, the first to invent binary. Accordingly, answering the how and when questions about Harriot’s invention of binary is the aim of this short paper.

The story begins with the weighing experiments Harriot conducted intermittently between 1601 and 1605. Some of these were simply experiments to determine the weights of different substances in a measuring glass, such as claret wine, seck (i.e., sack, a fortified wine), and canary wine (see [3, Harriot, Add. Mss. 6788, 176r]), while other experiments were intended to determine the specific gravity, that is, the relative density, of a variety of substances.Footnote 1

Here are three results from Harriot’s experiments [3, Harriot, Add. Mss. 6788, 176r]:

Claret wine

 

14283_2023_10271_Figa_HTML.gif

1212

1818

 

1212

1818

116116

Canary wine

 

1212

1414

24 gr.

Harriot’s method of recording his measurements is the key to his invention of binary and so deserves some comment. Using the troy system of measurement, he recorded the weight of each substance by decomposing it into ounces (sometimes using the old symbol for ounces, 283_2023_10271_Figb_HTML.gif , a variant of the more common ℥), then 1212 ounce, 1414 ounce, 1818 ounce, 116116 ounce, and finally grains. Since a troy ounce is composed of 480 grains, the various weights of his scale have the following grain values:

1oz = 480 grains

1212 oz = 240 grains

1414 oz = 120 grains

1818 oz = 60 grains

116116 oz = 30 grains

Together, the four part-ounce weights are 30 grains shy of one ounce, and indeed, in all of Harriot’s experiments, the measurement of grains never goes above 30. With this in mind, let us look again at his record of weighing claret wine:

Claret wine

14283_2023_10271_Figc_HTML.gif

1212

1818

The first number (14) is ounces, the final number (24) grains, and the numbers in between refer to part ounces—the 1212 in the 1212 ounce position indicating that the 1212 ounce weight was used, the 0 in the 1414 ounce position indicating that the 1414 ounce weight was not used, etc.Footnote 2

With regard to Harriot’s invention of binary, of particular interest is one manuscript (reproduced below) that contains a record of a weighing experiment at the top, and examples of binary notation and arithmetic at the bottom. Here are the calculations from the weighing experiment, which was concerned with finding the difference in capacity between two measuring glasses [3, Harriot, Add. Mss. 6788, 244v]:

troz.

A. Rounde measuring glasse weyeth dry

3283_2023_10271_Figd_HTML.gif

1212

1818

116116

+ 21 gr.

B. The other rounde measure

3283_2023_10271_Fige_HTML.gif

1414

1818

116116

+5 gr.

A. Glasse & water

11283_2023_10271_Figf_HTML.gif

1818

+ 28 gr.

 

1212

1818

116116

Water

1414

1818

116116

+ 7 gr.

B. Glasse & water

10283_2023_10271_Figg_HTML.gif

1212

116116

+ 10 gr.

 

1414

1818

116116

Water

1818

diff.

  

1414

116116

+ 2 gr.

Note here that “troz” stands for “troy ounce.” Underneath all this, Harriot sketched a table of the decimal numbers 1 to 16 in binary notation and worked out three examples of multiplication in binary: 109 × 109 = 11881, 13 × 13 = 169, and 13 × 3 = 39; see Figure 1.

Figure 1
figure 1

Thomas Harriot’s binary multiplication [3, Harriot, Add. Mss. 6788, 244v]. Courtesy of the British Library Board.

So far as I know, the only person who has attempted to explain Harriot’s transition from weighing experiments to the invention of binary is Donald E. Knuth, who writes:

Clearly he [Harriot] was using a balance scale with half-pound, quarter-pound, etc., weights; such a subtraction was undoubtedly a natural thing to do. Now comes the flash of insight: he realized that he was essentially doing a calculation with radix 2, and he abstracted the situation [4, p. 241].

While Knuth is mistaken about the size of weights used, apparently missing the abbreviation “troz” (= troy ounce) and taking the glyph 283_2023_10271_Figh_HTML.gif to refer to pound rather than ounce, his suggestion regarding Harriot’s “flash of insight” looks plausible. But it is possible to go further, because it is unlikely that Harriot hit upon binary notation simply because he was using weights in a power-of-2 ratio, something that was a well-established practice at the time. Equally if not more important was the fact that he recorded the measurements made with these weights in a power-of-2 ratio too. For when recording the weights of the various part-ounce measures, Harriot used a rudimentary form of positional notation, in which for every position he put down either the full place value or 0, depending on whether or not the weight in question had been used. Hence when weighing the first “glass and water,” Harriot’s result is equivalent to:

Position:

Ounces

1212 ounces

1414 ounces

1818 ounces

116116 ounces

Grains

Harriot’s measurement:

1818

Or indeed, if we just focus on the part-ounces and express them as powers of 2:

2–1 ounce

2–2 ounce

2–3 ounce

2–4 ounce

2–3 ounce

From such a method of recording weights in a power-of-2 ratio, it is but a very small step to binary notation, in which, instead of noting in each position either 0 or the full place value, one simply puts down either 0 or 1 depending on whether or not the weight in question was needed. Harriot’s invention of binary therefore owed at least as much to his own idiosyncratic form of positional notation for recording part-ounce weights as it did to his use of those weights.

One oddity with Harriot’s “flash of insight” is that it did not lead him to binary expansions of reciprocals, which is what his notation is closest to. That is, he did not represent 1212 ounce as [0].1, 1414 ounce as [0].01, 1818 ounce as [0.]001, or 116116 ounce as [0].0001. Instead, he continued to use decimal fractions to record the part-ounce weights in his weighing experiments. So although binary was an outgrowth of Harriot’s idiosyncratic method of recording part-ounce weights, at no point did he use binary to record these weights. From that we may surmise that he did not think binary notation offered greater convenience or clarity than his own method of recording part-ounce weights.

Yet Harriot was sufficiently intrigued by his new number system to explore it over a further four manuscript pages, working out how to do three of the four basic arithmetic operations (all but division) in binary notation. On one sheet, Harriot wrote examples of binary addition (equivalent to 59 + 119 = 178 and 55 + 114 = 169) and subtraction (equivalent to 178 – 59 = 119 and 169 – 55 = 114) and the same example of multiplication in binary (109 × 109) as above, this time solved in two different ways (Harriot, Add. Mss. 6786, 347r). On a different sheet, he converted 11011012 to 109, calling the process “reduction,” and then worked through the reciprocal process, called “conversion,” of 109 to 11011012 (Harriot, Add. Mss. 6786, 346v). On yet another sheet, he jotted down a table of 0 to 16 in binary, a simple binary sum: 100000 + [0]1[00]1[0] = 110010 (i.e., 32 + 19 = 51), and another example of multiplication, 101 × 111 = 100011 (i.e., 5 × 7 = 35) (Harriot, Add. Mss. 6782, 247r). And on a different sheet again (reproduced below), he drew a table of 0 to 16 in binary, another with the binary equivalents of 1, 2, 4, 8, 16, 32, and 64, gave several examples of multiplication in binary (equivalent to 3 × 3 = 9; 7 × 7 = 49; and 45 × 11 = 495), and produced a simple algebraic representation of the first few terms of the powers of 2 geometric sequence (see Figure 2):

Figure 2
figure 2

A page of Thomas Harriot’s calculations. In the bottom left-hand corner can be seen the calculation of first few terms of the powers of two geometric series reproduced in the text [3, Harriot, Add. Mss. 6786, 516v]. Courtesy of the British Library Board.

aabaab

aaabbaaabb

aaaabbbaaaabbb

2[×]212[×]21

2[×]2[×]21[×]12[×]2[×]21[×]1

2[×]2[×]2[×]21[×]1[×]12[×]2[×]2[×]21[×]1[×]1

And on a further sheet, Harriot employed a form of binary reckoning using repeated squaring, combining this with floating-point interval arithmetic, in order to calculate the upper and lower bounds of 228262 [3, Harriot, Add. Mss. 6786, 243v]; for further details see [4, pp. 242–243]). The whole of Harriot’s work on binary is captured on the handful of manuscript pages described in this paper.

Now that we know how Harriot arrived at binary, it remains to ask when he did so. Although Harriot often recorded the date on his manuscripts, unfortunately he did not do so on any of the manuscript pages featuring binary numeration. As such, it is not possible to determine the exact date of his invention, though it can be narrowed down, as we shall see. Knuth conjectured that “Harriot invented binary arithmetic one day in 1604 or 1605” on the grounds that the manuscript containing a weighing experiment together with binary numeration and arithmetic is catalogued between one dated June 1605 and another dated July 1604 [4, p. 241].

Yet as Knuth concedes, Harriot’s manuscripts are not in order (as should be clear enough from the fact that one dated July 1604 follows one dated June 1605), so affixing a date to one manuscript based on its position in the catalogue is problematic. As noted at the outset, Harriot’s weighing experiments began in 1601, indeed on September 22, 1601, and already in manuscripts from that year he was using his idiosyncratic method of recording part-ounce weights (see [3, Harriot, Add. Mss. 6788 172r] and [176r]) that led to his thinking of binary, so it cannot be ruled out that binary was invented as early as September 1601. The latest date for Harriot’s invention of binary is probably November 1605, at which time Harriot’s patron, Henry Percy, 9th Earl of Northumberland (1564–1632), was imprisoned in connection with the Gunpowder Plot.

Around this time, Harriot, too, fell under suspicion of being involved in the plot and was imprisoned for a number of weeks before successfully pleading for his freedom. After his release, he did not resume his weighing experiments or, we may suppose, the investigations into binary that arose from them. This is perhaps unsurprising. Whereas Leibniz saw a practical advantage in using binary notation to illustrate problems and theorems involving the powers of 2 geometric sequence (see [8]), Harriot appears to have treated binary as little more than a curiosity with no practical value.

Nevertheless, Harriot’s invention of binary is a startling achievement when you realize that the idea of exploring nondecimal number bases, as opposed to tallying systems, was not commonplace in the seventeenth century. While counting in fives, twelves, or twenties was well understood and widely practiced, the idea of numbering in bases other than 10 was not. The modern idea of a base for a positional numbering system was still coalescing, but it was conceived by a few, with Harriot perhaps the first. Unfortunately, despite his great insight, Harriot did not publish any of his work on binary, and his manuscripts remained unpublished until quite recently, being scanned and put online in 2012–2015. Although Harriot rightly deserves the accolade of inventing binary many decades before Leibniz, his work on it remained unknown until 1922, and so did not influence Leibniz or anyone else, nor did it play any part in the adoption of binary as computer arithmetic in the 1930s (see [9]). That is one accolade that still belongs to Leibniz.


About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK