A new conceptual framework for analog computation

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

zbMATH Keywords

analog computationdynamical systemsdynamical systems capable of universal computationrecursive function theory over the reals

Mathematics Subject Classification ID

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