Abstract
Between Calculability and Non-Calculability. Issues of Calculability and Predictability in the Physics of Complex Systems. The ability to predict has been a very important qualifier of what constitutes scientific knowledge, ever since the successes of Babylonian and Greek astronomy. More recent is the general appreciation of the fact that in the presence of deterministic chaos, predictability is severely limited (the so-called ‘butterfly effect’): Nearby trajectories diverge during time evolution; small errors typically grow exponentially with time. The system obeys deterministic laws and still is unpredictable, seemingly a paradox for the traditional viewpoint of Laplacian determinisms. With the concept of deterministic chaos the epistemological issue about an adequate understanding of predictability is no longer just a mere philosophical topic. Physicists on the one hand recognize the limits of (long term) predictability, computability and even of scientific knowledge, on the other hand they work on concepts for extending the horizon of predictability. It is shown in this paper that physics of complex systems is useful to clarify the jungle of different meanings of the terms ‘predictability’ and ‘computability’ — also with philosophical implications for understanding science and nature. Today, from the physical point of view, the relevance of the concepts of predictability seems to be underestimated by philosophers as a mere methodological topic. In the paper I analyse the importance of predictability and computability in physics of complex systems. I show a way how to cope with problems of unpredictability and noncomputability. Nine different concepts of predictability and computability (i.e. open solution, sensitivity/chaos, redundancy/chance) are presented, compared and evaluated.
Similar content being viewed by others
LITERATUR
Abarbanel, H., Brown, R., Sidorowich, J. and Tsimring, L.: 1993, ‘The Analysis of Observed Chaotic Data in Physical Systems’, Rev. Mod. Phys 65, 1331–1392.
Abarbanel, H. D. I.: 1996, Analysis of observed chaotic data, Springer, New York.
Adams, E., Ames, W. F., Kühn, W., Rufeger, W. and Spreuer, H.: 1993, ‘Computational chaos may be due to a single local error’, J. Comp. Phys. 104, 241–250.
Arnold, V. I.: 1978, Mathematical methods of classical mechanics, New York.
Aulbach, B.: 1997, Gewöhnliche Differentialgleichungen, Spektrum, Berlin.
Aurell, E., Boffetta, G., Crisanti, A., Paladin, G. and Vulpiani, A.: 1997, ‘Predictability in the large: An extension of the concept of Lyapunov exponent’, J. Phys. A 30, 1–26.
Badii, R.: 1991, ‘Quantitative characterization of complexity and predictability’, Phys. Lett. A 160, 372–377.
Bennett, C. H.: 1982, ‘The Thermodynamics of Computation-A Review’, Int. Journ. Theor. Phys. 21(12), 905–904.
Bennett, C. H.: 1987, ‘Demons, Engines and the Second Law’, Scientific Amer. Nov., 88–96.
Binder, P. and Jensen, R.: 1986, ‘Simulating chaotic behavior with finite-state machines’, Phys. Rev. A 34, 4460–4463.
Bowen, R.: 1970, ‘Markov partitions for Axiom A diffeomorphisms’, Amer. J. Math. 92, 725–747.
Bowen, R.: 1978, On Axiom A Diffeomorphisms, CBMS Regional Conference Series in Mathematics, 35, A.M.S. Publications, Providence.
Bunge, M.: 1987, Kausalität, Geschichte und Probleme, Mohr, Tübingen.
Buzug, T.: 1994, Analyse chaotischer Systeme, BI, Mannheim.
Cassirer, E.: 1994, Zur modernen Physik, Wiss. Buchgesell., Darmstadt.
Casti, J. L.: 1992, Reality rules: Picturing the world in mathematics, Vol. 1, 2, Wiley, New York.
Chaitin, G. J.: 1974, ‘Information-Theoretic Limitations of Formal Systems’, Jour. Ass. Comp. Mach. 21, 403–424.
Chaitin, G. J.: 1975, ‘Randomness and mathematical proof’, Scientific Amer. 232, Mai, 47–52.
Chaitin, G. J.: 1987, Algorithmic Information Theory, University Press, Cambridge.
Chaitin, G. J.: 1994, ‘Randomness and complexity in pure mathematics’, Int. J. Bif. Chaos 4, 3–15.
Coven, E., Kan, I. and Yorke, J. A.: 1988, ‘Pseudo-orbit shadowing in the family of tent maps’, Trans. Amer. Math. Soc. 308(1), 227–241.
Cvitanovic, P. (ed.): 1989, Universality in Chaos, 2nd ed., Springer, New York.
Davies, P. (ed.): 1989, The new physics, Cambridge.
Dawson, S., Grebogi, C., Sauer, T. and Yorke, J. A.: 1994, ‘Obstructions to Shadowing When a Lyapunov Exponent Fluctuates about Zero’, Phys. Rev. Lett. 73, 1927–1930.
Descartes, R.: 1979, Regeln zur Ausrichtung der Erkenntniskraft, Meiner, Hamburg.
Devaney, R. L.: 1989, An introduction to chaotic dynamical systems, Addison-Wesley, Redwood City.
Feynman, R. P.: 1982, ‘Simulating Physics with Computers’, Int. Journ. Theor. Phys. 21(6/7), 467–488.
Feynman, R. P.: 1988, ‘Quantum Mechanical Computers’, Found. Phys. 16(6), 507–531.
Galilei, G.: 1623, Die Goldwaage, In: G. Schiemann, (Hrsg.): 1996, ‘Was ist Natur?’, dtv, München, 106.
Geroch, R. and Hartle, J. B.: 1986, ‘Computability and Physical Theories’, Found. Phys. 16, 570–576.
Gödel, K.: 1931, ‘On formally undicidable propositions of Principia Mathematica and related Systems’, Monatshefte Math. Phys. 38, 173–198.
Guckenheimer, J., Holmes, S.: 1983, Nonlinear oscillations, dynamical systems, and bifurcations of vector fields, Springer, New York.
Hawking, St.: 1988, Eine kurze Geschichte der Zeit, Rowohlt, Reinbek.
Hempel, C. G. and Oppenheim, P.: 1948, ‘Studies in the Logic of Explanation’, Phil. Sci. 15, 135–175.
Hertz, H.: 1894, Die Prinzipien der Mechanik, Barth, Leipzig.
Hotz, G.: 1994, Ñber Berechenbarkeit fraktaler Strukturen, Steiner, Stuttgart.
Hume, D.: 1990, Enquiries concerning Human Understanding, Univ. Press, Oxford.
Jackson, E. A.: 1989, Perspectives of nonlinear dynamics, Vol. 1, Cambridge University Press, Cambridge.
Kanitscheider, B.: 1993, Von der mechanistischen Welt zum kreativen Universum, Wiss. Buchges., Darmstadt.
Keyes, R. W. and Landauer, R.: 1970, ‘Minimal Energy Dissipation in Logic’, IBM J. Research Develp. 14, 152–157.
Keyes, R. W.: 1975, Physical Limits in Digital Electronics, Proc. IEEE 63(5), 740–767.
Kinnebrock, W.: 1999, Bedeutende Theorien des 20. Jahrhunderts, Oldenbourg, München.
Landauer, R. W.: 1961, ‘Irreversibility and heat Generation in the Computing Process’, IBM J. Research Develop. 5, 183–191.
Landauer, R.W.: 1967, ‘Wanted: A physically possible theory of Physics’, IEEE Spectrum 4, 105–109.
Laplace, P. S.: 1932, Philosophischer Versuch über die Wahrscheinlichkeit, Leipzig: Meyenn, K.v. (Hrsg.): 1990, in Triumph und Krise der Mechanik, Piper, München, 379.
Leiber, Th.: 1996a, ‘Chaos, Berechnungskomplexität und Physik: Neue Grenzen wissenschaftlichen Erkennens?’, Phil. Naturalis 33, 23–54.
Leiber, T.: 1996b, Kosmos, Kausalität und Chaos, Ergon, Würzburg.
Leiber, T.: 1999, Deterministic Chaos and Computational Complexity: The Case of Methodological Complexity Reductions, J. Gen. Phil. Sci. 30, 87–100.
Lorenz, E. N.: 1989, ‘Computational chaos - A prelude to computational instability’, Physica D 35, 299–317.
Mainzer, K.: 1996, Thinking in complexity-The complex dynamics of matter, mind, and mankind, Springer, Heidelberg.
Mainzer, K. (ed.): 1999, Komplexe Systeme und Nichtlineare Dynamik in Natur und Gesellschaft, Springer, Berlin.
Maxwell, J. C.: 1877/1991, Matter and motion, Dover Publications, New York.
Maxwell, J. C.: 1878, Theoie der Wärme, übersetzt nach der 4. Auflage des Orginals von F. Neesen, Vieweg, Braunschweig.
Mittelstaedt, P.: 1989, Philosophische Probleme der modernen Physik, BI, Mannheim.
Neumann, J. v.: 1966, Theory of self-reproducing automata, University of Illinois Press, Urbana.
Nusse, H. E. and Yorke, J. A.: 1988, ‘Is every approximate trajectory of some process near an exact trajecory of a nearby process?’ Commun. Math. Phys. 114, 363–379.
Ott, E.: 1993, Chaos in dynamical systems, Cambridge University Press, Cambridge.
Palmore, J. I. and McCauley, J. L.: 1987, ‘Shadowing by computable chaotic orbits’, Phys. Lett A 122, 399–402.
Peitgen, H.-O., Jürgens, H. and Saupe, D.: 1992, Bausteine des Chaos-Fraktale, Springer, Berlin.
Pour-El, M. B. and Richard, I.: 1982, ‘Noncomputability in Models of Physical Phenomena’, Int. J. Theor. Phys. 21(6/7), 553–555.
Ramsey, B. J.: 1996, ‘If nonlinear models cannot predict, what use are they?’, SNDE, 1(2), 65–71.
Robinson, J.: 1998, ‘All possible chaotic dynamics can be approximated in three dimensions’, Nonlinearity 11, 529–545.
Ruelle, D.: 1989, Elements of differentiable dynamics and bifurcation theory, Acad. Press, London.
Sauer, T., Yorke, J. A. and Casdagli, M.: 1991, ‘Embedology’ J. Stat. Phys. 77(3/4), 579–616.
Schmidt, J. C.: 1998, ‘Chaos und Schöpfung-Bemerkungen zur Veränderung unseres Naturverständnisses’, In: U. Gerber: Hrsg., 1998, ‘Religiosität in der Postmoderne’, Lang, Frankfurt, 151–173.
Schmidt, J. C.: 1999, Aspekte mathematischer Strukturen bei der Modellierung dynamischer Systeme, Dissertation am Institut für Physik der Universität Mainz.
Schmidt, J. C.: 2000, Die physikalische Grenze. Eine modelltheoretische Studie zur Chaostheorie und Nichtlinearen Dynamik, Gardez-Verlag, St. Augustin.
Schreiber, T., Grassberger, P.: 1991 ‘A simple noise-reduction method for real data’, Phys. Lett. A 160, 411–418.
Schurz, G.: 1996, Kinds of unpredictability in deterministic systems, In: P. Weingarten, G. Schurz, (Hrsg.): 1996, Law and prediction in the light of chaos research, Springer, Berlin, 123–141.
Shannon, C. E. and Weaver, W.: 1949, The mathematical theory of communication, University of Illinois Press, Urbana.
Seydel, R.: 1997, ‘Nonlinear Computation’, Int. J. Bif. Chaos 7(9), 2105–2126.
Solomonoff, R. J.: 1964, ‘A formal theory of inductive inference’, Inform. Cont. 7, 1–22.
Stone, M.: 1989, ‘Chaos, Prediction and Laplacean Determinism’, Amer. Phil. Quat. 26(2), 123–131.
Szilard, L.: 1929, ‘On the Decrease of Entropy in a Thermodynamical System by the Intervention of Intelligent Beings’, Zeits. Physik 53, 840–856.
Takens, F.: 1980, ‘Detecting strange attractors in turbulence’, Springer lecture notes in mathematics 898, NewYork.
Takens, F.: 1985, ‘Distinguishing deterministic and random systems’, in: Barenblatt, G. I., Ioss, G., Joseph, D. (eds.): 1985, Nonlinear dynamics and turbulence, Pitman, Boston.
Troparevsky, M. I.: 1992, ‘Computers and chaos: An example’ Int. J. Bif. Chaos 2(4), 997–999.
Turing, A.: 1936, ‘On computable numbers with an application to the Entscheidungsproblem’, Proc. London Math. Soc. 42, 230–256.
Vollmer, G.: 1988, Was können wir wissen?-Die Erkenntnis der Natur, Hirzel, Stuttgart.
Vollmer, G.: 1995, Auf der Suche nach der Ordnung, Hirzel, Stuttgart.
Vollmer, G.: 2000, ‘Was sind und warum gelten Naturgesetze?’, Phil. Naturalis 37(2), 205–239.
Wackerbauer, R., Witt, A., Atmanspacher, H., Kurths, J. and Scheingraber, H.: 1994, ‘A Comparative Classification of Compliexity Measures’, Chaos, Solitions and Fractals 4(1), 133–174.
Weizsäcker, C. F. v.: 1974, ‘Die Einheit der Natur’, München, dtv.
Wiggins, S.: 1990, Introduction to applied nonlinear dynamical systems and chaos, Springer, New York.
Wolfram, St.: 1985, ‘Undecidability and intractability in theoretical Physics’, Phys. Rev. Lett. 54(8), 735–738.
Wolfram, St.: 1985, ‘Origins of randomness in physical systems’, Phys. Rev. Lett. 55(5), 449–452.
Zurek, W. H.: 1989, ‘Algorithmic randomness and physical entropy’, Phys. Rev. A 40(8), 4731–4751.
Zurek, W. H.: 1990, Complexity, Entropy and the Physics of Information, Redwood City.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schmidt, J.C. Zwischen Berechenbarkeit und Nichtberechenbarkeit. Die Thematisierung der Berechenbarkeit in der aktuellen Physik komplexer Systeme. Journal for General Philosophy of Science 34, 99–131 (2003). https://doi.org/10.1023/A:1023296302464
Issue Date:
DOI: https://doi.org/10.1023/A:1023296302464