My Pursuit of a Universal Language

I have had the thought again. The one that will not leave me, no matter how many treatises I write, no matter how many courts I advise, no matter how many letters I send to men who do not reply.

It is this: that all human reasoning — every argument, every proof, every act of judgment — can be reduced to a kind of calculation. Not metaphorically. Literally. If only we had the right symbols.

I call it the characteristica universalis. A universal notation. An alphabet — not of sounds, but of concepts. Where each idea has its sign, each relationship its operator, and the whole of human thought can be written down as precisely as an equation.

I presented my calculating machine to the Royal Society today. They gathered around it — Hooke, Boyle, the rest — turning the wheels, watching the drums step through their cycles. They were impressed, I think, by the ingenuity of the mechanism. The way each rotation carries the tens forward. The brass is beautiful, I will admit.

But they missed the point. Every one of them.

The machine is not interesting because it multiplies. Any clerk can multiply, given enough time and enough paper. The machine is interesting because it proves that thought can be mechanized. If gears can carry a multiplication, what else might they carry? What if the gears operated on ideas, not numbers?

I tried to explain this afterward. Hooke nodded politely. Boyle changed the subject to pneumatics. I took the machine home.

What frustrates me is not that they disagree. I could argue with disagreement. It is that they do not see what I see. They look at the Stepped Reckoner and see a tool for arithmetic. I look at it and see the first evidence that reasoning itself has a machinery — that thought has gears, even if we have not found them yet.

I have been working on the binary system. I know how it sounds — a number system with only two digits, one and zero. The mathematicians in Paris will laugh. Let them.

Everything reduces to yes and no. True and false. Existence and void. One and nothing. This is not a simplification — it is a revelation. If all of arithmetic can be expressed in two symbols, then perhaps all of logic can too. And if all of logic, then all of thought.

I wrote to the Duke yesterday about funding. He wants me to finish the genealogy of the House of Brunswick. I will finish it. I always finish what I promise. But at night, when the house is quiet and the candle still burns, I return to this.

The characteristica. The universal alphabet.

I have sketched dozens of notation systems. None are complete. The problem is not the symbols — I can invent symbols all day. The problem is the grammar. How do you express that one concept contains another? That two ideas are related but not identical? That a conclusion follows not from a single premise but from the structure of several premises together?

Eleven years now. The characteristica remains incomplete.

I have published the calculus. I have corresponded with every serious mind in Europe. I have explained the binary system, the logical notation, the vision of mechanical reasoning. Some are intrigued. None have joined me.

Newton publishes and the world rearranges itself around him. I publish and receive polite letters. Perhaps the difference is that Newton describes the world as it is, and I describe the world as it could be. People have an easier time with the former.

But I cannot stop. I see it too clearly. There is a language beneath all languages, a structure beneath all arguments. The fact that I cannot finish it does not mean it does not exist. It means I am not clever enough, or not patient enough, or not alive long enough.

I wonder sometimes whether the right person to complete this work has already been born, or whether they will come a hundred years from now, or five hundred. Whether they will read my notes and see what I was reaching for. Or whether they will arrive at the same idea independently, as I arrived at the calculus independently of Newton, and never know that I was here first, reaching for the same thing in the dark.

My body fails me. The gout is severe. I write this by candlelight because sitting upright in daylight has become too painful.

The characteristica universalis is unfinished. The calculus ratiocinator is unbuilt. I have thousands of pages of notes and sketches, scattered across decades and cities. If they are organized at all, it is only in my mind, and my mind is going with me.

But I want to say this plainly, for whoever reads this after I am gone:

One day, someone will build a machine that does not merely add and subtract but reasons. They will need a language for it — a way to represent concepts, not just quantities. When they find that language, or something close to it, I hope they will know that a man in Hanover spent forty years of his life trying to get there first.

I do not need the credit. I need the work to continue.

The universal language is real. I have seen its shadow on the wall. Whoever comes next — finish what I started.

Let us calculate.

Gottfried Wilhelm Leibniz died on November 14, 1716. His funeral was attended by his secretary. No one else came.

His binary system became the foundation of every computer ever built. His calculus became the language of physics. His dream of a universal notation for thought remained unfinished — passed through Boole, Frege, Turing, and into the machines we build today.