Erlang, the mathematician?

[Craig Dickson]

Joe Armstrong wrote:

>> just out of curiosity, was Erlang named for the Danish mathematician
Agner
>> Krarup Erlang?
>
> Yes

The language spec says this, and I don't doubt it, but I've always suspected
a secondary meaning in the name: a contraction of the phrase "ERiccson
LANGuage". Is this just coincidental, or was anyone actually thinking this
at the time?

Craig