A new conceptual framework for analog computation
From MaRDI portal
Publication:1022610
DOI10.1016/j.tcs.2007.01.005zbMath1164.68005OpenAlexW2157007834MaRDI QIDQ1022610
Jerzy Mycka, Costa, José Félix
Publication date: 22 June 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.01.005
analog computationdynamical systemsdynamical systems capable of universal computationrecursive function theory over the reals
Constructive and recursive analysis (03F60) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items
A survey of recursive analysis and Moore's notion of real computation ⋮ Is there any real substance to the claims for a ``new computationalism? ⋮ Computability on reals, infinite limits and differential equations ⋮ Abstract geometrical computation. III: Black holes for classical and analog computing ⋮ A foundation for real recursive function theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Universal computation and other capabilities of hybrid and continuous dynamical systems
- Real recursive functions and their hierarchy
- Some mathematical limitations of the general-purpose analog computer
- Dynamical recognizers: real-time language recognition by analog computers
- The existence of noncollision singularities in Newtonian systems
- Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
- Classical recursion theory. Vol. II
- Real number models under various sets of operations
- Small universal Turing machines
- Recursion theory on the reals and continuous-time computation
- \(\mu\)-recursion and infinite limits.
- Analog computers and recursive functions over the reals.
- Continuous-time computation with restricted integration capabilities
- Analog computation with dynamical systems
- The extended analog computer
- An analog characterization of the Grzegorczyk hierarchy
- Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
- Fourier Analysis and Its Applications
- Unpredictability and undecidability in dynamical systems
- Mathematical Theory of the Differential Analyzer
- A logical calculus of the ideas immanent in nervous activity
- Iteration, inequalities, and differentiability in analog computers
- Non-Turing computations via Malament--Hogarth space-times
