I think that's a very generous interpretation - assuming that you mean the goal is long-term, else it basically is a claim anyway. Elsewhere he talks about "building up technology stack that is needed" in two previous products, which is now "in definitive form" - suggesting that the "goal" is in terms of a succession of products of which this is (close to) the pinnacle, rather than a long-term goal for the current product. He also outright states that this language is [now] "a new type of programming language" which "makes feasible for the first time all sorts of programming that were basically absurd to consider before" (emphasis mine), which is along the same lines as "redefining programming".
As a Wolfram Research employee I suppose you are in a privileged position regarding what Wolfram meant, but that's what I'm reading from what he said.
Oh, and I'm not outright stating the language does not redefine the process of programming - depending on your definition of "redefine", and whether the language lives up to the hype (I have barely tried Mathematica and certainly it looks very powerful in some areas). Nor is wanting to do so unique to Wolfram - things like Bret Victor's "The Future of Programming" attempt to take up the same kind of mantle. I am merely criticizing the idea that Wolfram didn't say it does.
As a Wolfram Research employee I suppose you are in a privileged position regarding what Wolfram meant, but that's what I'm reading from what he said.
Oh, and I'm not outright stating the language does not redefine the process of programming - depending on your definition of "redefine", and whether the language lives up to the hype (I have barely tried Mathematica and certainly it looks very powerful in some areas). Nor is wanting to do so unique to Wolfram - things like Bret Victor's "The Future of Programming" attempt to take up the same kind of mantle. I am merely criticizing the idea that Wolfram didn't say it does.