Experimental computation as an ontological game changer: The impact of modern mathematical computation tools on the ontology of mathematics

3Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free