- Title
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
- Creator
- Bailey, David H.; Borwein, Jonathan M.
- Relation
- Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics p. 25-67
- Publisher Link
- http://dx.doi.org/10.1007/978-3-319-21473-3_3
- Publisher
- Springer International Publishing
- Resource Type
- book chapter
- Date
- 2015
- Description
- 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.
- Subject
- philosophy of science; mathematical sciences; mathematical computation; mathematical discovery
- Identifier
- http://hdl.handle.net/1959.13/1317076
- Identifier
- uon:23327
- Identifier
- ISBN:9783319214726
- Language
- eng
- Hits: 802
- Visitors: 777
- Downloads: 0
| Thumbnail | File | Description | Size | Format |
|---|