michael_nielsen

But there's a different starting point, another rather natural question, that is more promising. It's to ask: how many possible distinct _words_ are there of any given length?

Now, the roman alphabet was much like our modern alphabet, but with a few differences. It had 23 characters, mostly the same as ours today: ABC.... Z (but with a few differences, eg no J).

How many words are there of length 2 in this alphabet? Well, the possible words are AA, AB, AC... AZ, followed by BA, BB, BC, ..., BZ. Then CA, CB,..., CZ.

Obviously, that means there are 23 times 23 = 529 possible "words" of length 2. Of course, multiplication was actually pretty tricky for the romans (mostly because they didn't have arabic numerals!) But figuring this out was well within their ken.

Stated in roman numerals: there are DIXXX possible words of length II in the roman alphabet.

What about words of length III? Well, we can just enumerate again: AAA, AAB, AAC, ...., AAZ, ABA, ABB, ... ABZ. Keep going, you get to BAA, BAB. And so on. It's not too difficult to see the answer is 23 x 23 x 23.

Unfortunately, 23 x 23 x 23 (= 12,167) was starting to stress the roman numeral system. They had ways of dealing with such numbers, but it got pretty convoluted. The system was mostly designed to work up to a few thousand.

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.)