Newton, Maxwell and Einstein didn't need to waste any of their time thinking about how to use a computer to solve the problems they worked on.
If I ask Google for the 2018 Wimbledon Champ it tells me it has found 47,00,000 results in (0.90 seconds). Take a step back and think about this.
They have their own knowledge graph. They have Wikipedia access. They have the ATP site cached. They have the Wimbledon site cached. But they aren't able to tell the problem being solved doesn't need 4.7 Million results.
This is the kind of mindlessness that happens when the focus is not on the actual problem, but what the computer can do.
Actually a lost bit of maths history is that computation ability was really important, it was just really manual. Think about Gauss doing least squares to find the orbital parameters of Ceres by hand! Then the stories about him being able to multiply large numbers in his head start to make a bit more sense, not just as a parlor trick.
The cursor for the slide rule was invented by Newton.
This has nothing to do with "The Evans Field Equation"
In the official documentation (as well as his blog posts), the term “Wolfram Language” is used to refer to the combination of the two: both the syntax and the huge standard library, because you almost always encounter one using the other. This seems pretty common to me — I’ve said things like “I used the Ruby language” when I’m also using its built-in modules.
I agree with you in saying that the language part of the Language is nothing particularly special, though.
On the other hand, I feel that his theory of cellular automata as some fundamental underpinning to mathematics is misguided.
Also, I never managed to achieve any reasonable degree of code reuse in Mathematica. Most of my notebooks are single-purpose.
He is a bona fide genius. But it's difficult to tell if his jarring references to the the 'Wolfram Language' and 'Wolfram Alpha' are simple, cynical selling, or if his vanity has blinded him into thinking the 'Wolfram Language' is a notable accomplishment on par with the other useful work he's done with physics, cellular automata and Mathematica.
In general, I am a conflicted fan. By many accounts he's an unpleasant person, and having read _A New Kind of Science_ his Principle of Computational Equivalance is real hand-wavy and not terribly rigorous.
And yet whenever he's mentioned in an HN story I always need to read it.
Being an expert at one thing doesn't make you an expert at everything. But it's hard to realize that when you're king of your world.
A different perspective. Highly creative (smart) people are those who make mental connections that others do not see but which exist. Crazy people are those who make mental connections that others do not see and which don't exist. Perhaps he sees the Wolfram language is superior in some way that doesn't actually exist, or perhaps we're not seeing something that does.
At first I found it shocking that he was being so completely irrational about these things and had become a "true believer" in so much crazy so quickly. But eventually I made the connection. All the innovative stuff he did earlier in life was no different. Every great idea he came up with and pursued with dogged passion was something that everyone else around him thought was stupid and crazy at the time.
Basically he's always been "crazy" in this sense, it's just that sometimes that ability to suspend disbelief and rationality works out well and you invent something useful that nobody else would've tried, and sometimes (probably many times!) it doesn't. His brain hasn't changed how it works, it just happened to latch onto the wrong thing this time.
But he also spent the last thirty years of his career refining and attempting to popularize a model for the structure of the nucleus (the "close-packed spheron model") that never seems to have gained much acceptance. He spent even longer advocating for megavitamin therapy, which is now generally regarded as quackery, and went to his grave pushing the idea that large doses of vitamin C can help cure cancer, despite numerous studies failing to support this.
I'm not saying that Wolfram is exactly like Pauling (although his fascination with his own work on cellular automata certainly seems to share some similarities to Pauling's fascination with the spheron cluster model). But I can't help but wonder if Pauling's reputation would be different if he had had a blog.
In other words, if I could easily use the Mathematica library from Clojure, I wouldn't give the Wolfram Language a second glance. I can't think of even a single language aspect that would tempt me to use the Wolfram Language [context: I've been a Mathematica user since 1993] over Clojure. I have (much) better data structures, a consistent library for dealing with them, transducers, core.async, good support for parallel computation, pattern matching through core.match, and finally a decent programming interface with a REPL, which I can use from an editor that does paren-matching for me (ever tried to debug a complex Mathematica expression with mismatched parens/brackets/braces?).
This is why the man is a contradiction: his thoughts are undeniably interesting, but his focus and anchoring in the "Wolfram Language" is jarring.