Philosophy of Science 70 (2):359-382 (2003)
Some have suggested that certain classical physical systems have undecidable long-term behavior, without specifying an appropriate notion of decidability over the reals. We introduce such a notion, decidability in (or d- ) for any measure , which is particularly appropriate for physics and in some ways more intuitive than Ko's (1991) recursive approximability (r.a.). For Lebesgue measure , d- implies r.a. Sets with positive -measure that are sufficiently "riddled" with holes are never d- but are often r.a. This explicates Sommerer and Ott's (1996) claim of uncomputable behavior in a system with riddled basins of attraction. Furthermore, it clarifies speculations that the stability of the solar system (and similar systems) may be undecidable, for the invariant tori established by KAM theory form sets that are not d-.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Computing the Uncomputable; or, The Discrete Charm of Second-Order Simulacra.Matthew W. Parker - 2009 - Synthese 169 (3):447-463.
Similar books and articles
Signals, Evolution and the Explanatory Power of Transient Information.Brian Skyrms - 2002 - Philosophy of Science 69 (3):407-428.
Attractor Spaces as Modules: A Semi-Eliminative Reduction of Symbolic AI to Dynamic Systems Theory. [REVIEW]Teed Rockwell - 2004 - Minds and Machines 15 (1):23-55.
Chaos.Michael Strevens - 2006 - In D. M. Borchert (ed.), Encyclopedia of Philosophy, second edition.
Weak Links: The Universal Key to the Stability of Networks and Complex Systems.Peter Csermely - 2009 - Springer.
Similar Systems and Dimensionally Invariant Laws.R. Duncan Luce - 1971 - Philosophy of Science 38 (2):157-169.
Analogy and Conceptual Change, or You Can't Step Into the Same Mind Twice.Eric Dietrich - 2000 - In Eric Dietrich Art Markman (ed.), Cognitive Dynamics: Conceptual change in humans and machines. Lawrence Erlbaum. pp. 265--294.
An Analysis of Stability Sets in Pure Coordination Games.Walter Elberfeld - 2000 - Theory and Decision 49 (3):235-248.
Added to index2009-01-28
Total downloads29 ( #169,583 of 2,143,472 )
Recent downloads (6 months)3 ( #227,032 of 2,143,472 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.