If mathematics were to be measured by how it is used, then almost all math is silicon computation.
With the introduction of metamathematical concepts such as effective procedures, algorithmic decidability, finite resources and ubiquitous computation the focus of formal thinking has shifted from valid proof to computational feasibility.
Wolfram’s Mathematica has demonstrated that symbol processing is no longer within the domain of humans. This perspective reflects William Bricken's choice of profession as a computer scientist.