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

&

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.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The experimental mathematician : the pleasure of discovery and the role of proof.Jonathon M. Borwein - unknown
Computational Mechanisms and Models of Computation.Marcin Miłkowski - 2014 - Philosophia Scientiae 18:215-228.
Simulation, computation and dynamics in economics.K. Vela Velupillai & Stefano Zambelli - 2015 - Journal of Economic Methodology 22 (1):1-27.
Neural Computation and the Computational Theory of Cognition.Gualtiero Piccinini & Sonya Bahar - 2013 - Cognitive Science 37 (3):453-488.
Theory of quantum computation and philosophy of mathematics. Part I.Krzysztof Wójtowicz - 2009 - Logic and Logical Philosophy 18 (3-4):313-332.
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.
Concrete Digital Computation: What Does it Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
Computational Mechanisms and Models of Computation.Marcin Miłkowski - 2014 - Philosophia Scientiae 18:215-228.
In computation, parallel is nothing, physical everything.Selmer Bringsjord - 2001 - Minds and Machines 11 (1):95-99.
Provability and mathematical truth.David Fair - 1984 - Synthese 61 (3):363 - 385.
The Impact of Computing on Epistemology: Knowing Gödel's Mind Through Computation.Selmer Bringsjord - unknown
Review: John McCarthy, A Basis for a Mathematical Theory of Computation, Preliminary Report; John McCarthy, P. Braffort, D. Hirschberg, A Basis for a Mathematical Theory of Computation. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
Philosophy, mathematics, science and computation.Enrique V. Kortright - 1994 - Topoi 13 (1):51-60.
Mathematical engineering and mathematical change.Jean-Pierre Marquis - 1999 - International Studies in the Philosophy of Science 13 (3):245 – 259.
Magicicada, Mathematical Explanation and Mathematical Realism.Davide Rizza - 2011 - Erkenntnis 74 (1):101-114.

Analytics

Added to PP
2016-09-02

Downloads
16 (#851,323)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-deductive methods in mathematics.Alan Baker - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references