A note on discreteness and virtuality in analog computing

Theoretical Computer Science

Volumn 371, Issue 1-2, 2007, Pages 106-114

  Trautteur, Giuseppe ^a   Tamburrini, Guglielmo ^a  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Analog computing; Cognitive modelling; Virtual machine

Indexed keywords

BINARY CODES; COGNITIVE SYSTEMS; COMPUTER SIMULATION; COMPUTER SYSTEMS; DATA PROCESSING; MATHEMATICAL MODELS;

ANALOG COMPUTING; COGNITIVE MODELING; NATURAL MODELING; VIRTUAL MACHINES;

ANALOG COMPUTERS;

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

References (29)

1. E. Asarin, A. Bouajjani, Perturbed Turing machines and hybrid systems, in: Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science, LICS2001, 2001, pp. 269-278
2. Branicky M.S. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoretical Computer Science 138 (1995) 67-100
3. Campagnolo M.L., Moore C., and Costa J. An analog characterization of the Grzegorczyk hierarchy. Journal of Complexity 18 (2002) 977-1000
4. Casey M. The dynamics of discrete-time computation, with application to recurrent neural networks and finite state machine extraction. Neural Computation 8 (1996) 1135-1178
5. Casey M. Correction to proof that recurrent neural networks can robustly recognize only regular languages. Neural Computation 10 (1998) 1067-1069
6. Copeland B.J. Hypercomputation. Minds and Machines 12 (2002) 461-502
7. Davis M. The Universal Computer. The Road from Leibniz to Turing (2000), W. W. Norton & Co., New York
8. M. Davis, The myth of hypercomputation, in: Teuscher [26]
9. S. Dehaene, Evolution of human cortical circuits for reading and arithmetic: The "neuronal recycling" hypothesis, in: Dehaene et al. [10]
10. In: Dehaene S., Duhamel J.-R., Hauser M., and Rizzolatti G. (Eds). From Monkey Brain to Human Brain (2005), Bradford MIT, Cambridge, MA
11. Gallese V., and Goldman A. Mirror neurons and the simulation theory of mind-reading. Trends in Cognitive Sciences 2 (1998) 493-501
12. Gandy R.O. Church's thesis and principles for mechanisms. In: Barwise J., Keisler H.J., and Kunen K. (Eds). The Kleene Symposium (1980), North-Holland, Amsterdam 123-148
13. Graça D.S. Some recent developments on Shannon's general purpose analog computer. Mathematical Logic Quarterly 50 4-5 (2004) 473-485
14. Graça D.S., Campagnolo M.L., and Buescu J. Robust simulations of Turing Machines with analytic maps and flows. In: Cooper S.B., Löwe B., and Torenvliet L. (Eds). New Computational Paradigms. Lecture Notes in Computer Science vol. 3526 (2005), Springer-Verlag, Berlin, Heidelberg 167-179
15. Grzegorczyk A. Some classes of recursive functions. Rozprawy Matematyczne 4 (1953) 1-45
16. E. Lorincz, T. Jellema, J.C. Gomez, N. Barraclough, D. Xiao, D.I. Perrett, Do monkeys understand actions and minds of others? Studies of single cells and eye movements, in: Dehaene et al. [10]
17. J. Myhill, On the possibility of unpredictable machines, parts I and II, Notes of the University of Michigan Intensive Short Course "Programming concepts, automata and adaptive systems", Mimeograph, Ann Arbor, MI, 1966
18. Rogers H. Theory of Recursive Functions and Effective Computability (1967), McGraw-Hill, New York
19. Rolls E. The Brain and Emotion (1999), Oxford University Press, New York
20. Scarpellini B. Zwei unentscheidbare probleme der analysis. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9 (1963) 265-289
21. Scarpellini B. Comments on two undecidable problems of analysis. Minds and Machines 13 (2003) 79-85
22. Sieg W. Calculation by man and machine: Mathematical presentation. Proceedings of the Cracow International Congress of Logic, Methodology and Philosophy of Science. Synthese Series (2002), Kluwer Academic Publishers 245-260
23. Siegelmann H.T. Neural Networks and Analog Computation (1999), Birkhauser, Boston
24. Siegelmann H.T., and Sontag E.D. Analog computation via neural networks. Theoretical Computer Science 131 (1994) 331-360
25. M. Stannett, Hypercomputational models, in: Teuscher [26]
26. In: Teuscher C. (Ed). Alan Turing: Life and Legacy of a Great Thinker (2004), Springer Verlag, Berlin, Heidelberg
27. Turing A. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42 (1936) 230-265
28. Turing A. Computing machinery and intelligence. Mind 59 (1950) 433-460
29. Wittgenstein L. Remarks on the Philosophy of Psychology, Vol. 1 (1980), Blackwell, Oxford