Computability and the morphological complexity of some dynamics on continuous domains

Theoretical Computer Science

Volumn 398, Issue 1-3, 2008, Pages 170-182

  Hoyrup, Mathieu ^a   Kolçak, Arda ^a   Longo, Giuseppe ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

Chaotic dynamics; Computability over continuous domains; Decidability; Shadowing; Singularities; Unpredictability

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL GEOMETRY; NUMERICAL METHODS;

CHAOTIC DYNAMICS; CONTINUOUS DOMAINS; SHADOWING; SINGULARITIES;

CHAOS THEORY;

EID: 42749085555     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.01.048     Document Type: Article

References (42)

1. Bailly F., and Longo G. Mathématiques et sciences de la nature. La singularité physique du vivant (2006), Hermann, Paris English introduction, downloadable
2. F. Bailly, G. Longo, Extended critical situations: The physical singularity of life phenomena, Journal of Biological Systems (2008) (in press)
3. Bailly F., and Longo G. Randomness and determination in the interplay between the continuum and the discrete. Mathematical Structures in Computer Science 17 2 (2007) 289-307 (special issue). (largely revised version of the appendix to the book: [1])
4. O. Bournez, Modèles continus. Calcul. Habilitation à diriger les recherches, LORIA, Univ. de Nancy, Décembre, 2006
5. Brattka V., and Presser G. Computability on subsets of metric spaces. Theoretical Computer Science 305 (2003) 43-76
6. Brattka V., and Weihrauch K. Computability on subsets of Euclidean space I: Closed and compact subsets. Theoretical Computer Science 219 (1999) 65-93
7. Collins P. Continuity and computability of reachable sets. Theoretical Computer Science 341 (2005)
8. F. De Jaeger, Calculabilité sur les réels. Thèse en Informatique (dir.: M. Escardo, G. Longo), Université de Paris VII, Novembre 2002
9. De Jaeger F. Computability of the functionals over the reals with the effective filter spaces. Topology Proceedings 26 2 (2001-2002)
10. Devaney R.L. An introduction to Chaotic Dynamical Systems (1989), Addison-Wesley
11. Edalat A. Dynamical systems, measures and fractals via domain theory. Information and Computation 120 1 (1995) 32-48
12. Edalat A. Domains for computation in mathematics, physics and exact real arithmetic. Bulletin of Symbolic Logic 3 4 (1997) 401-452
13. Ershov Yu.L. Model C of partial continuous functionals. In: Gandy R., and Hyland M. (Eds). Logic Colloquium vol. 76 (1976), North-Holland, Amsterdam
14. G. Frege, The Foundations of Arithmetic, 1884. Engl. transl. Evanston, 1980
15. Gierz G., et al. A compendium of Continuous lattices (1980), Springer-Verlag, Berlin
16. Guckenheimer J. Sensitive dependence to initial conditions for one dimensional maps. Comm. Math. Phys. 70 (1979) 133-160
17. D. Hilbert, Les fondements de la géométrie, 1899 (trad. fran., Dunod, 1971)
18. Hoyrup M. Dynamical systems: Stability and simulability. 3-body, classical-quantum, discrete-continuum. Mathematical Structures in Computer Science 17 2 (2007) 247-260 (special issue)
19. Hyland M. Filter spaces and continuous functionals. Annals of Mathematics and Logic 16 (1979) 101-143
20. Katok A. Introduction to the Modern Theory of Dynamical Systems (1995), Cambridge
21. A. Kolcak, Physical predictability and the dynamics of intervals, Information and Computation, 2008 (Draft, in preparation)
22. J. Laskar, La stabilité de système solaire, Chaos et déterminisme, Seuil, 1992
23. Longo G., and Moggi E. The hereditary partial recursive functionals and recursion theory in higher types. Journal of Symbolic Logic 49 4 (1984) 1319-1332
24. G. Longo, Space and time in the foundation of mathematics, or some challenges in the interaction with other sciences, Invited lecture at the First AMS/SMF meeting, Lyon, July 2001 (french version in Intellectica, 2003/1-2, n. 36-37)
25. G. Longo, Some topologies for computations, Invited Lecture, in: Proceedings of Géométrie au XX siècle, 1930-2000, Hermann, Paris, 2004
26. G. Longo, The reasonable effectiveness of mathematics and its cognitive roots. In: L. Boi (ed.), Geometries of Nature, Living Systems and Human Cognition series in New Interactions of Mathematics with Natural Sciences and Humaties, World Scientific, 2005, pp. 351-382
27. Longo G. Laplace, Turing and the imitation game impossible geometry: Randomness, determinism and programs in Turing's test. In: Epstein R., Roberts G., and Beber G. (Eds). Parsing the Turing Test (2008), Springer
28. Myhill J., and Shepherdson J.C. Effective operations on partial recursive functions. Zeitschrijt für Mathematische Logik und Grundlagen der Mathematik 1 (1955)
29. Y. Moschovakis, Recursive metric spaces. Fundamenta. Mathematicae, LV, 1964
30. Pilyugin S.Yu. Shadowing in Dynamical Systems (1999), Springer, Berlin
31. Pour-El M.B., and Richards J.I. Computability in analysis and physics. Perspectives in Mathematical Logic (1989), Springer, Berlin
32. H. Rogers, Theory of Recursive Functions and Effective Computability, 1967
33. Rice H. Classes of recursively enumerable sets and their decision problem. Transactions of the AMS 74 (1953)
34. T. Sauer, Shadowing breakdown and large errors in dynamical simulations of physical systems, George Mason Univ., 2003, preprint
35. D.S. Scott, Outline of a mathematical theory of computation, in: 4th Ann. Princeton Conf. on Info. Sci. and Syst., 1970
36. Scott D.S. Continuous lattices. Toposes, Algebraic Geometry and Logic. LNM vol. 274 (1972), Springer-Verlag, Berlin
37. Scott D.S. Data types as lattices. SIAM Journal of Computation 5 (1976) 522-587
38. Tappenden J. Geometry and generality in Frege's philosophy of Arithmetic. Synthese 102 3 (1995)
39. Turing A. On computable numbers with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society 42 (1936)
40. Turing A. Computing machines and intelligence. Mind LIX 236 (1950) 433-460
41. Turing A. The chemical basis of morphogenesis. Philolophical Transactions of the Royal Society B237 (1952) 37-72
42. Weihrauch K. Computable Analysis, in: Texts in Theoretical Computer Science (2000), Springer, Berlin