Leibniz on Symbolic Computation and the “Combinatorial Machine”
“I often think about a Combinatorial or Analytical Machine, by which even calculation with letters might be accomplished”.
- Leibniz
Among the many remarkable ideas found in Leibniz’s manuscripts are reflections on what we would now call symbolic computation. While Leibniz is widely known for his work on binary arithmetic, and to a lesser extent on conceiving binary calculating machines, his ambitions extended much further: he envisaged systems in which reasoning itself could be mechanised through the manipulation of symbols.
At the heart of this vision was what he called “the combinatorial or analytical machine”. Unlike his famous Stepped Reckoner, which was designed to perform the four basic operations of arithmetic on numbers, this proposed device was intended to carry out calculations with letters that represented general terms; in other words, the manipulation of algebraic variables like a, b, and c. Leibniz was essentially conceptualizing a kind of seventeenth-century symbolic processor.
From Numbers to Symbols
The manuscript describes a complex architecture of rounded knobs, wires, and plates, which function as positions or registers in which terms of the calculation are formed. In this system, each knob represented a specific variable or unknown. When a user touched a knob, it would pull a series of wires connected to various plates throughout the machine, though only those plates that have been “opened” (or enabled) would respond. That is, if the spring-controlled “catches” or “brakes” on those plates were released, the corresponding letter would be displayed, allowing the machine to represent complex polynomial terms.
What makes this design truly modern is Leibniz’s attempt to automate algebraic elimination. He describes a process where equations are entered, and the machine—through a series of mechanical “pulls”—systematically eliminates unknowns until only one remains. This is not mere arithmetic, but the mechanical execution of an algorithm.
The Logic of “Pieces that Pull”
Perhaps the most striking insight in Leibniz’s description is his realization of cascading operations. He writes that the greatest ingenuity of the machine lies in the fact that the plates are not merely passive recipients of a pull, but are themselves capable of pulling other plates: “In this, therefore, the greatest ingenuity will consist: that not only are the plates pulled, but they also pull. For thus the whole calculation, once made, can be propagated in an instant”. In this configuration, the plates function as mechanical relays: when one plate is pulled into position, it acts as a physical trigger for a secondary set of wires, automating the “next step” of the calculation and allowing complex, nested operations to be completed without further human intervention. This is an early intuition of what we might now call signal propagation or modular computation. By allowing one part of the machine to trigger another, Leibniz was imagining a device that could handle powers (or “dimensions” in his terminology) and complex multiplications automatically. He even brainstormed ways to handle exponents, so that repeated activations accumulate, allowing a term like a2 or a3 to be represented.
What is especially striking is that the machine operates purely on the form of symbols, not their meaning. This anticipates the modern idea of formal computation: that reasoning can be reduced to rule-governed symbol manipulation. He even envisages coupling the device to a printing mechanism, so that the steps of the calculation, rather than just the result, could be recorded on paper.
The Limits of the Material
Despite his optimism, Leibniz was a realist. He identified physical complexity as the primary obstacle to building such a machine, noting that for a calculation involving several unknowns, one might need a thousand plates. More dauntingly, he worried about the “strings entangling themselves”. This “spaghetti code” of physical wires meant that the transposition of his logic into a physical instrument was likely beyond the reach of seventeenth-century engineering.
A Visionary Legacy
Leibniz concluded his notes with a characteristic mix of humility and vision, doubting the instrument could be built but never doubting the logic behind it. Today, we see his proposed “combinatorial machine” as a precursor to the work of Charles Babbage and the eventual birth of computer science. Leibniz understood that if human thought could be reduced to a formal language of symbols (“Universal Characteristic”, as he called it) then the labour of the mind could be offloaded to the gears of a machine. He invited us to stop arguing and start calculating: Calculemus (“Let us calculate”).
Much of Leibniz’s work in this area remains scattered across manuscripts and has never been brought together in a modern English edition. The text discussed here is one example among many that point to the breadth and ambition of his ideas. The Leibniz Philosophical Papers Project aims to recover these writings directly from manuscript sources and present them in a scholarly English edition. Further details can be found at: https://opencollective.com/leibniz-papers-project.
— Lloyd Strickland, 21.iv.2026
Back to Edition Overview