David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 169 (3):447 - 463 (2009)
We examine a case in which non-computable behavior in a model is revealed by computer simulation. This is possible due to differing notions of computability for sets in a continuous space. The argument originally given for the validity of the simulation involves a simpler simulation of the simulation , still further simulations thereof, and a universality conjecture. There are difficulties with that argument, but there are other, heuristic arguments supporting the qualitative results. It is urged, using this example, that absolute validation, while highly desirable, is overvalued. Simulations also provide valuable insights that we cannot yet (if ever) prove.
|Keywords||Computability Decidability Undecidable Computer simulation Validation Models Chaos Dynamical systems Non-linear dynamics Proof Heuristics|
|Categories||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
S. Feferman (2006). Are There Absolutely Unsolvable Problems? Godel's Dichotomy. Philosophia Mathematica 14 (2):134-152.
Axel Gelfert, Simulating Many-Body Models in Physics: Rigorous Results, 'Benchmarks', and Cross-Model Justification.
Peter Koellner (2010). On the Question of Absolute Undecidability. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic. 153-188.
Adam Morton (1993). Mathematical Models: Questions of Trustworthiness. British Journal for the Philosophy of Science 44 (4):659-674.
Matthew W. Parker (2003). Three Concepts of Decidability for General Subsets of Uncountable Spaces. Theoretical Computer Science 351 (1):2-13.
Citations of this work BETA
No citations found.
Similar books and articles
Eckhart Arnold, The Dark Side of the Force: When Computer Simulations Lead Us Astray and ``Model Think'' Narrows Our Imagination --- Pre Conference Draft for the Models and Simulation Conference, Paris, June 12-14 ---. [REVIEW]
Ulrich Krohs (2008). How Digital Computer Simulations Explain Real-World Processes. International Studies in the Philosophy of Science 22 (3):277 – 292.
Stephan Hartmann (1996). The World as a Process: Simulations in the Natural and Social Sciences. In Rainer Hegselmann (ed.), Modelling and Simulation in the Social Sciences from the Philosophy of Science Point of View.
By Nick Bostrom (2003). Are We Living in a Computer Simulation? Philosophical Quarterly 53 (211):243–255.
Johannes Lenhard (2007). Computer Simulation: The Cooperation Between Experimenting and Modeling. Philosophy of Science 74 (2):176-194.
Wendy S. Parker (2008). Computer Simulation Through an Error-Statistical Lens. Synthese 163 (3):371 - 384.
Jordi Fernández (2003). Explanation by Computer Simulation in Cognitive Science. Minds And Machines 13 (2):269-284.
Added to index2009-01-28
Total downloads18 ( #78,331 of 1,089,053 )
Recent downloads (6 months)1 ( #69,801 of 1,089,053 )
How can I increase my downloads?