Real recursive functions and their hierarchy

DOI10.1016/j.jco.2004.06.001zbMath1085.03030OpenAlexW2168711698MaRDI QIDQ706790

Jerzy Mycka, Costa, José Félix

Publication date: 9 February 2005

Published in: Journal of Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jco.2004.06.001

zbMATH Keywords

Analog computationGeneral purpose analog computerRecursive functions over the reals

Mathematics Subject Classification ID

Related Items (15)

Polynomial differential equations compute all real computable functions on computable compact intervals ⋮ Computability of analog networks ⋮ The elementary computable functions over the real numbers: applying two new techniques ⋮ Computability with polynomial differential equations ⋮ A survey of recursive analysis and Moore's notion of real computation ⋮ The P\(\neq\) NP conjecture in the context of real and complex analysis ⋮ A hypercomputational alien ⋮ How much can analog and hybrid systems be proved (super-)Turing ⋮ Analog computation beyond the Turing limit ⋮ Computability on reals, infinite limits and differential equations ⋮ A new conceptual framework for analog computation ⋮ A foundation for real recursive function theory ⋮ The influence of domain interpretations on computational models ⋮ Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions ⋮ A Survey on Analog Models of Computation

Cites Work

• Unnamed Item
• Unnamed Item
• Some mathematical limitations of the general-purpose analog computer
• The existence of noncollision singularities in Newtonian systems
• Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
• Equality is a jump
• Classical recursion theory. Vol. II
• 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.
• The extended analog computer
• An analog characterization of the Grzegorczyk hierarchy
• A Differentially Algebraic Replacement Theorem, and Analog Computability
• Arithmetical Predicates and Function Quantifiers
• Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
• On the role of mathematics and mathematical knowledge in the invention of Vannevar Bush's early analog computers
• Mathematical Theory of the Differential Analyzer
• Iteration, inequalities, and differentiability in analog computers
• Non-Turing computations via Malament--Hogarth space-times

This page was built for publication: Real recursive functions and their hierarchy