On: “Math 2.0” will need to value mathematical progress more holistically

[flir]

But these days hardware is software. One microcontroller replaces so much electronics. Software is eating the world, as the man said.