Elementarily computable functions over the real numbers and ℝ-sub-recursive functions

Theoretical Computer Science

Volumn 348, Issue 2-3 SPEC. ISS., 2005, Pages 130-147

  Bournez, Olivier ^a   Hainry, Emmanuel ^a  

^a LORIA   (France)

Author keywords

Analog computations; Analysis; Computability; Real recursive functions; Recursive analysis

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; INTEGRATION; MATHEMATICAL MODELS; OPTIMIZATION; TURING MACHINES;

ANALOG COMPUTATIONS; COMPUTABILITY; REAL RECURSIVE FUNCTIONS; RECURSIVE ANALYSIS;

FUNCTIONS;

EID: 33644529710     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.09.010     Document Type: Conference Paper

References (40)

1. V.I. Arnold Ordinary Differential Equations 1978 MIT Press Cambridge, MA
2. E. Asarin, A. Bouajjani, Perturbed Turing machines and hybrid systems, in: Logic in Computer Science, 2001, pp. 269-278.
3. E. Asarin, and O. Maler Achilles and the tortoise climbing up the arithmetical hierarchy J. Comput. System Sci. 57 3 1998 389 398
4. L. Blum, F. Cucker, M. Shub, and S. Smale Complexity and Real Computation 1998 Springer Berlin
5. L. Blum, M. Shub, and S. Smale On a theory of computation and complexity over the real numbers; NP completeness, recursive functions and universal machines Bull. Amer. Math. Soc. 21 1 1989 1 46
6. O. Bournez Achilles and the tortoise climbing up the hyper-arithmetical hierarchy Theoret. Comput. Sci. 210 1 1999 21 71
7. O. Bournez, Complexité Algorithmique des Systèmes Dynamiques Continus et Hybrides, Ph.D. Thesis, Ecole Normale Supérieure de Lyon, Janvier 1999.
8. O. Bournez, E. Hainry, Real recursive functions and real extentions of recursive functions, in: Machines, Computations and Universality (MCU'2004), Lecture Notes in Computer Science, Vol. 3354, Saint-Petersburg, Russia, 2004.
9. M.D. Bowles U.S. technological enthusiasm and British technological skepticism in the age of the analog brain IEEE Ann. History Comput. 18 4 1996 5 15
10. V. Brattka Computability over topological structures S.B. Cooper S.S. Goncharov Computability and Models 2003 Kluwer Academic Publishers New York 93 136
11. M.L. Campagnolo, Computational complexity of real valued recursive functions and analog circuits, Ph.D. Thesis, IST, Universidade Técnica de Lisboa, 2001.
12. M. Campagnolo, C. Moore, and J.F. Costa An analog characterization of the subrecursive functions P. Kornerup Proc. 4th Conf. Real Numbers and Computers 2000 Odense University Press 91 109
13. M. Campagnolo, C. Moore, and J.F. Costa An analog characterization of the Grzegorczyk hierarchy J. Complex. 18 4 2002 977 1000
14. J.-P. Demailly, Analyse Numérique et Equations Différentielles, Presses Universitaires de Grenoble, 1991.
15. G. Etesi, and I. Németi Non-Turing computations via malament-hogarth space-times Internat. J. Theoret. Phys. 41 2002 341 370
16. D.S. Graça, and J.F. Costa Analog computers and recursive functions over the reals J. Complex. 19 5 2003 644 664
17. A. Grzegorczyk Computable functionals Fundamenta Mathematicae 42 1955 168 202
18. T. Henzinger, J.-F. Raskin, Robust undecidability of timed and hybrid systems, Hybrid Systems: Computation and Control; Second Internat. Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999; Proc. 1569, 1999.
19. M.L. Hogarth Does general relativity allow an observer to view an eternity in a finite time? Found. Phys. Lett. 5 1992 173 181
20. D. Lacombe Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles III Comptes Rendus de l'Académie des Sciences Paris 241 1955 151 153
21. L. Lipshitz, and L.A. Rubel A differentially algebraic replacement theorem, and analog computability Proc. Amer. Math. Soc. 99 2 1987 367 372
22. C. Moore Recursion theory on the reals and continuous-time computation Theoret. Comput. Sci. 162 1 1996 23 44
23. J. Mycka μ -recursion and infinite limits Theoret. Comput. Sci. 302 2003 123 133
24. J. Mycka, J.F. Costa, Analog computation and beyond, submitted for publication.
25. J. Mycka, J.F. Costa, The P ≠ NP conjecture, submitted for publication.
26. J. Mycka, J.F. Costa, The computational power of continuous dynamic systems, in: Machines, Computations and Universality (MCU'2004), Lecture Notes in Computer Science, Vol. 3354, Saint-Petersburg, Russia, September 2004, pp. 163-174.
27. J. Mycka, and J.F. Costa Real recursive functions and their hierarchy J. Complex. 20 6 2004 835 857
28. J. Mycka, J.F. Costa, What lies beyond the mountains, computational systems beyond the Turing limit, European Association for Theoretical Computer Science Bulletin, 2005, to appear.
29. P. Odifreddi Classical recursion theory, Studies in Logic and the Foundations of Mathematics Vol. 125 April 1992 North-Holland Amsterdam
30. T. Ord, Hypercomputation: computing more than the Turing machine, Technical Report, University of Melbourne, September 2002. Available at http://www.arxiv.org/abs/math.LO/0209332.
31. P. Orponen, Algorithms, Languages and Complexity, Chapter: A Survey of Continuous-Time Computational Theory, Kluwer Academic Publishers, 1997, pp. 209-224.
32. B. Poizat, Les petits cailloux, Aléas, 1995.
33. M.B. Pour-El Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers) Trans. Amer. Math. Soc. 199 1974 1 28
34. H. Rose Subrecursion: Functions and Hierarchies 1984 Clarendon Press London
35. C.E. Shannon Mathematical theory of the differential analyser J. Math. Phys. MIT 20 1941 337 354
36. H. Siegelmann Neural Networks and Analog Computation-Beyond the Turing Limit 1999 Birkauser Basel
37. W. Thomson (Lord Kelvin), On an instrument for calculating the integral of the product of two given functions, in: Proc. Royal Society of London, Vol. 24, 1876, pp. 266-276.
38. A. Turing, On computable numbers, with an application to the Entscheidungsproblem 42(2) (1936) 230-265.
39. K. Weihrauch Computable Analysis 2000 Springer Berlin
40. Q. Zhou Subclasses of computable real valued functions Lecture Notes in Computer Science Vol. 1276 1997 Springer Berlin 156 165