[lispm]

McCarthy: 'Recursive Functions of Symbolic Expressions and Their Computation by Machine':

'In this article, we first describe a formalism for defining functions recursively. We believe this formalism has advantages both as a programming language and as a vehicle for developing a theory of computation'

There is a lot of fluff in the Wolfram article:

'To be fair, the Wolfram Language is the sole example that exists of a full-scale computational language. But one gets a sense of magnitude from it. While the core of a standard programming language typically has perhaps a few tens of primitive functions built in, the Wolfram Language has more than 5600—with many of those individually representing major pieces of computational intelligence. And in its effort to be able to talk about the real world, the Wolfram Language also has millions of entities of all sorts built into it. And, yes, the Wolfram Language has had more than three decades of energetic, continuous development put into it.'

Just like other attempts in making vast amounts of world knowledge available for computation. See for example Cyc of Cycorp.