What is the NKS approach to mathematics?

Matthew Szudzik

Abstract:
Although the electronic computer was first envisioned as an aid in
performing mathematical calculations, its influence has now reached
beyond mathematics and into many unexpected places in peoples' daily
lives.  It is somewhat ironic then that the practice of mathematics has
changed little since antiquity; but is that about to change?  Is a
computer-induced revolution in mathematics just on the horizon?  Based
on the ideas in Stephen Wolfram's 2002 A New Kind of Science, Matthew
Szudzik argues that the answer is "yes", and outlines the issues that
must be addressed for a mathematics of computation to become the
foundation for science in the 21st century.