It was coined by professor John McCarthy in 1956, although the term had to wait longer to take off.

Thanks for the clarifications. As always, cool names take some time to take off (if you have time, you may be tented to check out "penguin diagrams" and how they became world famous.

Cheers!