Springer International Publishing, (2015), 25-67

3Citations

4Readers

Robust, concrete and abstract, mathematical computation and inference on the scale now becoming possible should change the discourse about many matters mathematical. These include: what mathematics is, how we know something, how we persuade each other, what suffices as a proof, the infinite, mathematical discovery or invention, and other such issues.

CITATION STYLE

APA

Bailey, D. H., & Borwein, J. M. (2015). Experimental computation as an ontological game changer: The impact of modern mathematical computation tools on the ontology of mathematics. In *Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics* (pp. 25–67). Springer International Publishing. https://doi.org/10.1007/978-3-319-21473-3_3

Mendeley helps you to discover research relevant for your work.

Already have an account? Sign in

Sign up for free