Wolfram ends the essay on a tantalizing note ...another level of automation.... [I]nventing and developing [systems using other axiomatic systems] to respond to

Wolfram ends the essay on a tantalizing note ...another level of automation.... [I]nventing and developing [systems using other axiomatic systems] to respond to some particular purpose. I see this almost happening daily on HN with the huge interest in new languages especially functional languages. By almost I mean these are mostly descendants of either Lisp or ML and they are based on the same logic. I'm not sure if you would gain anything by hard-wiring a language into one of the other multitude of axiomatic systems. It would be an intellectual challenge to first select an appropriate system, and then construct a useful language. And it would be hard to recruit people to use it enough to provide useful feedback.