The Atlantic

How Aristotle Created the Computer

The philosophers he influenced set the stage for the technological revolution that remade our world.

Source: Wikimedia / donatas1205 / Billion Photos / vgeny Karandaev / The Atlantic

The history of computers is often told as a history of objects, from the abacus to the Babbage engine up through the code-breaking machines of World War II. In fact, it is better understood as a history of ideas, mainly ideas that emerged from mathematical logic, an obscure and cult-like discipline that first developed in the 19th century. Mathematical logic was pioneered by philosopher-mathematicians, most notably George Boole and Gottlob Frege, who were themselves inspired by Leibniz’s dream of a universal “concept language,” and the ancient logical system of Aristotle.

Mathematical logic was initially considered a hopelessly abstract subject with no conceivable applications. As one computer scientist commented: “If, in 1901, a talented and sympathetic outsider had been called upon to survey the sciences and name the branch which would be least fruitful in [the] century ahead, his choice might well have settled upon mathematical logic.” And yet, it would provide the foundation for a field that would have more impact on the modern world than any other.

The evolution of computer science from mathematical logic culminated in the 1930s, with two landmark papers: Claude Shannon’s “A Symbolic Analysis of Switching and Relay Circuits,” and Alan Turing’s “On Computable Numbers, With an Application to the Entscheidungsproblem.” In the history of computer science, Shannon and Turing are towering figures, but the importance of the philosophers and logicians who preceded them is frequently overlooked.

A well-known history of computer science describes Shannon’s paper as “possibly the most important, and also the most noted, master’s thesis of the century.” Shannon wrote it as an electrical engineering student at MIT. His adviser, Vannevar Bush, built a prototype computer known as the Differential Analyzer that could rapidly calculate differential equations. The device was mostly mechanical, with subsystems controlled by electrical relays, which were organized in an ad hoc manner as there was not yet a systematic theory underlying circuit design. Shannon’s thesis topic came about when Bush recommended he try to discover such a theory.

Shannon’s paper is in many ways a typical electrical-engineering paper, filled with equations and diagrams of electrical circuits. What is unusual is that the primary reference was a 90-year-old work of mathematical philosophy, George Boole’s The Laws of Thought.

Today, Boole’s name is well known to computer scientists (many programming languages have a basic data type called a Boolean), but in 1938 he was rarely read outside of philosophy departments. Shannon himself encountered Boole’s work in an undergraduate philosophy class. “It just happened that no one else was familiar with both fields at the same time,” he commented later.

Boole is

You're reading a preview, sign up to read more.

More from The Atlantic

The Atlantic3 min readPolitics
Why a Republican Senator Wanted a Vote on Single-Payer Health Care
The Senate voted down a single-payer health care amendment introduced by Republican Senator Steve Daines on Thursday, in a political gambit aimed at putting Senate Democrats on the record on a divisive issue. The amendment failed to pass after no law
The Atlantic4 min readPolitics
Conservative Groups Fume Over Failed Repeal Votes
Activists on the right have been pushing to repeal the Affordable Care Act since 2010—only to see some Republicans defend the law once they got the power to get rid of it.
The Atlantic4 min readPop Culture
What's Wrong With Arcade Fire's Everything Now?
Arcade Fire albums usually arrive with a technological gimmick—mysterious hotlines, shell corporations, immersive apps. It's benevolent overkill: Their orchestral-rock tunes often feel like VR films anyways. The Montreal collective creates songs with