michael_nielsen

The reason was that the basic strategy behind roman numerals is to keep introducing new symbols as you get to larger and larger numbers. That's okay for a while, but eventually breaks down.

So a curious thing about the word-counting problem is that you get large numbers of different possible words, without needing to introduce new symbols. That's interesting if you've been bugged by the need to introduce new symbols to describe large numbers.

It's also interesting that you get very large numbers of different possible words, even with very short strings.

Now, if you were playful, you might wonder a bit about using strings of letters to _represent_ numbers. One way would be to identify I with A, II with B, and so on, through XXIII -> Z.

You could just continue from there: XXIV -> AA. XXV -> AB, and so on. Symbolically: yz -> y*23 + z, where y and z are just single letters.

Of course, this isn't notation the romans would have used. But the ideas - multiplication, equality, addition, are all things the romans understood. It's not too far a stretch.

What about with three digits? Well, with two digits you get up to 23+23*23. So we have: xyz -> x*(23+23*23)+y*23+z. I must admit, that seems slightly ugly to me, and it gets uglier with longer words.

Let's try something slightly different - a tad less obvious, but also prettier. Let's imagine that instead of numbers of variable length, we have just a single universal counter, starting at: .....AAAAAA

We increment by 1 and get to: ...AAAAAB. And then by 1 more and get to: ...AAAAAC. And so on.

Of course, in practice we don't want to write out all the A's on the left. So we'll just adopt the convention of taking those as given. In other words, something like: BD really means ...AAAABD, but the A's on the left are implied.

Now there's a bit of a problem, which is this convention makes ...AAAA be written as just a blank. Obviously that would be unreadable. So we'll introduce an exception: for that, we'll write A, just as a kind of placeholder.

I don't claim, by the way, that this "universal counter" approach is necessarily _more_ obvious than what we were doing earlier. But it's at least plausible as an alternate. And it has the benefit that it's an attractively unified system.

Okay, so the way counting goes is: A, B, C, ..., Z, BA, BB, BC,...., and eventually on to BAA, BAB, and so on.

In this system, xy -> (x-1)*23+y. And xyz -> (x-1)*23*23+(y-1)*23+z. Those seem satisfyingly neat, and the pattern continues.

There is still a slightly ugly thing, which is the -1 terms, which show up over and over again. We could get rid of those if we decided to start counting at 1 -> B, 2 -> C, etc.

If we did that, then we'd have xy -> x*23+y, xyz -> x*23*23+y*23+z, and so on for longer strings. That's even simpler, though A is now playing pretty much the role of a placeholder.

At this point a clever designer might be bugged by the use of the alphabet in this number representation. After all, the alphabet is already being used for words! So it'd be better to switch to different symbols to prevent confusion.

The alternate symbols we use are pretty arbitrary. Let's go for A -> 0, B -> 1, C -> 2, and so on. Of course, we could introduce 23 new symbols. But the 23 is actually pretty arbitrary. So let's use just 10 symbols: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

(Of course, the numeric base we use is pretty uninteresting. Base 10 turns out to have some nice advantages, and also some slight problems. But I think this really is an accidental piece of history.)

With these choices, our number representation is: xyz -> x*10*10+y*10+z. And so on, for larger numbers.

We're very _used to_ this kind of representation. But there's nothing obvious about it at all. Every single thing in the representation can be questioned, and possibly changed. It's fun to try some experiments!

One particularly amusing thing: consider the numbers 132 and 123. The 2 actually has a very different meaning in those two numbers. The fact that _location matters_ is a deep idea.

(I've glossed over 0 in various ways in this account. And over the fact that place-number system pre-dated the romans. If I was more conscientious I'd have talked more about these - they're incredibly deep ideas - but this thread is already long, so I'll keep glossing.)

At this point we have a new numeral system. It's nice in a couple of ways when compared to roman numerals - it doesn't need new symbols to represent larger numbers, and it's extremely compact.

Still, those things perhaps don't seem that important. Certainly not worth replacing an entire piece of intellectual infrastructure with!

But where this number system really shines is in simplifying certain other things you might want to do. For instance, consider addition of the numbers wx and yz.

We have wx + yz = (w*10+x) + (y*10+z) = (w+y)*10 + (x+z). Fiddle with this for a while - it's more work than I want to go through here - and you eventually recover the grade school algorithm for adding two-digit numbers. Do some more work, & you get the n-digit algorithm.

There's a miracle going on here, one we don't notice b/c it's so familiar: I pointed out above that the numerals have very different meanings, depending on their location. But despite this, in the grade-school algorithm we use the _same rules_ for addition, regardless of place!

E.g., in computing 27+38 at some point in the computation we'll use 2+3 = 5; in computing 72+83 at some point we'll also use 2+3=5. That's despite the fact that the 2 and the 3 in the first sum have a very different meaning than in the second sum!

What's responsible for this astonishing fact? If you look back at the reasoning above, you see it's a consequence of associativity, commutativity, and distributivity. That's a pretty huge set of things! And it makes addition _really_ nice in this representation.