It Began with Babbage (3 page)

The search for universals is also not unknown in the sciences of the artificial. For example, explanations of metallurgical techniques such as tempering and annealing, or the behavior of structural beams under load, or the characteristics of transistor circuits all have this universal quality. There is always an aspiration for universal principles in the artificial sciences.

However, the attainment of universal knowledge is not the
sine qua non
of progress in the sciences of the artificial. Design and implementation of the individual artifact always have primacy. A particular machine, a particular building, a particular system—these are what ultimately matter. If an architect designs a museum that, when built (implemented), serves the purpose for which it was intended, the project is deemed successful. Its relationship to other museums and their architectures may be of great interest to that architect and her colleagues, and to architectural historians, but that relationship is of no consequence as far as that museum project itself is concerned. So also for the design and implementation of a particular computer or a particular kitchen appliance or a particular medical device.
Ultimately, a science of the artificial is a science of the individual
.

In the chapters that follow, we will witness the unfolding of these ideas in the case of one particular science of the artificial: computer science.

We will be traversing the historical landscape from a particular vantage point: the second decade of the 21st century. We will be looking to the past—admittedly, not a very remote past, because computational artifacts are a relatively recent phenomena.

One of the dilemmas faced by historians is the following: To what extent do we allow our current circumstances to influence our judgment, assessment, and understanding of the past? This question was first raised famously in 1931 by the (then-very young) British historian Herbert Butterfield (1900–1979).
⁶
Discussing the so-called English Whig historians of the 19th century (
Whigs
were the liberals or progressives, in contrast to the
Tories
, the conservatives), Butterfield offered a scathing critique of these historians who, he said, valorized or demonized historical figures according to their own 19th-century values. This viewing of the past through the lens of the present thus came to be called, derisively,
whiggism
or, more descriptively,
present-centeredness
.

Ever since Butterfield, conventional wisdom has advocated that present-centeredness should be avoided at all cost. The past must be judged according to the context and values of that past, not of the historian's own time. Yet, the fact is, historians
select
events and people of the past as objects of historical interest in the light of their current concerns and values. The cautionary point is that the historian must negotiate a narrow and tricky path, eschewing
judging
the past according to current values or concerns, yet
selecting
from the past according to his current concerns. We will also see, in this book, that
as 21st
-
century readers
(historians or nonhistorians, scientists or nonscientists, academics or general readers), we often understand aspects of the history of computer science better by appealing to
concepts, words, terms, and phrases that are used
now
. And so, often, I allow the intrusion of present-centered language as a means to understanding things of the past. In other words, I strive to achieve a judicious blend of whiggism and antiwhiggism in this narrative.
⁷

So, even before we embark on this story of the genesis of computer science, the reader is forewarned about the nature of this science. It is a science of many hues. To summarize:

1. Its domain comprises computational artifacts that can be material, abstract, or in between (liminal), and that can function automatically (that is, with minimal human intervention) to manipulate, process, and transform symbols (or information).

2. It is, thus, a science of symbol processing.

3. Its objective is to understand the nature of computational artifacts and, more fundamentally, their purposes (
why
they come into the world), and their making (
how
they come into the world).

4. It is, thus, a science of the artificial.

5. The
how
of their making comprises collectively the twin processes of design and implementation.

6. In general, design is both the
process
by which a symbolic representation of an artifact is created as well as the
symbolic representation
itself. Implementation is both the
process
by which a representation is put into effect, as well as the
artifact
that is the outcome of that process.

7. It is a science of the
ought
rather than of the
is
.

8. It is (primarily) a science of the individual. With these caveats in mind, let us proceed with the story.

  
1
. P. Dear., (2006).
The intelligibility of nature
. Chicago, IL: University of Chicago Press.

  
2
. H. A. Simon., (1996).
The sciences of the artificial
(3rd ed.). Cambridge, MA: MIT Press.

  
3
.
Liminality
refers to a state of ambiguity, of betwixt and between, a twilight state.

  
4
. P. Galison., (2010). Trading with the enemy. In M. Gorman (Ed.),
Trading zones and interactive expertise
(pp. 26–51). Cambridge, MA: MIT Press (see especially p. 30).

  
5
. I have borrowed the phrase
putting into effect
to signify implementation from P. S. Rosenbloom. (2010).
On computing: The fourth great scientific domain
(p. 41). Cambridge, MA: MIT Press.

  
6
. H. Butterfield (1973).
The Whig interpretation of history
. Harmondsworth, UK: Penguin Books (original work published 1931).

  
7
. E. Harrison. (1987). Whigs, prigs and historians of science.
Nature, 329
, 233–234.

THE GERMAN MATHEMATICIAN
Gottfried Wilhelm Leibniz (1646–1716) is perhaps best remembered in science as the co-inventor (with Newton) of the differential calculus. In our story, however, he has a presence not so much because, like his great French contemporary the philosopher Blaise Pascal (1623–1662), he built a calculating machine—in Pascal's case, the machine could add and subtract, whereas Leibniz's machine also performed multiplication and division
¹
—but for something he wrote vis-à-vis calculating machines. He wished that astronomers could devote their time strictly to astronomical matters and leave the drudgery of computation to machines, if such machines were available.
²

Let us call this
Leibniz's theme
, and the story I will tell here is a history of human creativity built around this theme. The goal of computer science, long before it came to be called by this name, was to delegate the mental labor of computation to the machine.

Leibniz died well before the beginning of the Industrial Revolution, circa 1760s, when the cult and cultivation of the machine would transform societies, economies, and mentalities.
³
The pivot of this remarkable historical event was steam power. Although the use of steam to move machines
automatically
began with the English ironmonger and artisan Thomas Newcomen (1663–1727) and his invention of the atmospheric steam engine in 1712,
⁴
just 4 years before Leibniz's passing, the steam engine as an efficient source of mechanical power, as an efficient means of automating machinery, as a substitute for human, animal, and water power properly came into being with the invention of the separate condenser in 1765 by Scottish instrument maker, engineer, and entrepreneur James Watt (1738–1819)—a mechanism that greatly improved the efficiency of Newcomen's engine.
⁵

The steam engine became, so to speak, the alpha and omega of machine power. It was the prime mover of ancient Greek thought materialized. And Leibniz's theme conjoined with the steam engine gave rise, in the minds of some 19th-century thinkers, to a desire to automate calculation or computation and to free humans of this mentally tedious labor. One such person was English mathematician, “gentlemen scientist,” and denizen of the Romantic Age, Charles Babbage.
⁶

Charles Babbage (1791–1871), born into the English upperclass, did not need to earn a living. Son of a wealthy banker, he studied at Trinity College, Cambridge, and cofounded with fellow students John Herschel (1792–1871) and George Peacock (1791–1858) the Analytical Society, the purpose of which was to advance the state of mathematics in Cambridge.
⁷
Babbage left Cambridge in 1814, married the same year, and, with the support of an allowance from his father and his wife's independent income, settled in London to the life of a gentleman scientist, focusing for the next few years on mathematical research.
⁸
In 1816, he was elected a Fellow of the Royal Society (FRS), the most venerable of the European scientific societies, founded in 1662.
⁹

In 1828, the year after he inherited his late father's estate and became a man of independent means in his own right, and a widower as well,
¹⁰
Babbage was elected to the Lucasian chair of mathematics in Cambridge—the chair held by Isaac Newton from 1669 to 1702,
¹¹
(and, in our own time, by Stephen Hawking from 1979–2009), and still regarded as England's most prestigious chair in mathematics. Babbage occupied this chair until 1839, although—treating this appointment as a sinecure—he never actually took up residence in Cambridge nor did he deliver a single lecture while he held this chair.

In his memoirs,
Passages from the Life of a Philosopher
(1864), Babbage claimed that his first thoughts along the lines of Leibniz's theme came to him while he was still a student in Cambridge, around 1812 to 1813. He was sitting half-asleep in the rooms of the Analytical Society, a table of logarithms open before him. A fellow member of the Society, seeing him in this state, asked what he was dreaming about, to which he replied that he was thinking how these logarithms could be calculated by a machine.
¹²

We do not know the truthfulness of this account. Anecdotes of scientists and poets ideating in a state of semisleep or in a dream are not uncommon. Celebrated examples include the German scientist Friedrich August von Kekulé (1829–1896), who dreamed the structure of the benzene molecule,
¹³
and the English poet Samuel Taylor Coleridge (1772–1834), who imagined the unfinished poem “Kubla Khan” while sleeping under the influence of opium.
¹⁴

If this is true, the dream must have lain buried in Babbage's subconscious for a very long time—until about 1819—when, occupied with ways of calibrating astronomical
instruments accurately, he began thinking about machines to compute mathematical tables.
¹⁵
Writing elsewhere in 1822, Babbage mentions working on a set of astronomical tables with his friend, the multidisciplinary scientist Herschel, and discussing with Herschel the possibility of a machine powered by a steam engine for performing the necessary calculations.
¹⁶

Thus it was that, beginning in 1819, Babbage conceived the idea and began designing the first of his two computational artifacts, the
Difference Engine
. Its aim was the expression of Leibniz's theme in a specific kind of way—the fast, automatic, and reliable production of mathematical tables of a certain kind. The name of the machine was derived from the computational procedure it would use to compute the tables, called the method of differences, a method already well known for the manual preparation of tables.
¹⁷

Babbage tells us what he wanted of his machine. First, it must be “really automatic”—that is, when numbers were supplied to it, it would be able to perform mathematical operations on them without any human intervention.
¹⁸
From an engineering point of view, this meant that after the numbers were placed in the machine, it would produce results by mechanisms alone—“the mere motion of a spring, a descending weight” or some other “constant force.”
¹⁹
Second, the machine must be accurate, not only in the generation of numbers, but also in the printed tables, for this was an arena where inaccuracy and unreliability were known to creep in. This meant that the computing machine must be coupled directly with the printing device and, in fact, must drive the latter automatically so that no error-prone human intervention would be admitted.
²⁰

Mechanizing the preparation of mathematical tables would not only free human mental labor for other less tedious tasks, but also would speed up the process and eliminate human fallibility and replace it with machine infallibility. We are seeing here an elaboration of Leibniz's theme and of what Babbage had apparently dreamed of some half-dozen years before.

The Difference Engine was to be a “special-purpose” machine, because it could produce mathematical tables only. However, by deploying the method of differences, it was general within the confines of this special purposeness; the method of differences offered a general principle by which
all
tables might be computed by a single, uniform process.
²¹

To understand the principle underlying the Difference Engine, consider the following example.
²²
Suppose we compute the values of the expression
N
²
+
N
+ 10 for the consecutive integers
N
= 0, 1, 2, …, 5. We can display the numbers thus produced by the two leftmost columns of
Table 1.1
.