That is funny. But you could also restate that as "computer science could be called the post-turing mass commercialisation of formal systems" cos AFAIK being a pure mathematician was never a path to wealth.
Come to think of it, still isn't so here's one in return
Q. What's the difference between a mathematician and a large pizza?
A. A large pizza can feed a family of four.