Real recursive functions and their hierarchy

DOI10.1016/J.JCO.2004.06.001MaRDI QIDQ706790zbMATH OpenOpenAlexFDO

Authors Jerzy Mycka, José Félix Costa

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

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Recursive functions and relations, subrecursive hierarchies (03D20) Higher-type and set recursion theory (03D65) Turing machines and related notions (03D10)

Recommendations

• Recursion theory on the reals and continuous-time computation
• A foundation for real recursive function theory
• A survey of recursive analysis and Moore's notion of real computation
• Real recursive functions and Baire classes
• Recursive analysis characterized as a class of real recursive functions

Cites work

• scientific article; zbMATH DE number 1189126 (Why is no real title available?)
• scientific article; zbMATH DE number 2013793 (Why is no real title available?)
• A Differentially Algebraic Replacement Theorem, and Analog Computability
• Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
• An analog characterization of the Grzegorczyk hierarchy
• Analog computers and recursive functions over the reals.
• Arithmetical Predicates and Function Quantifiers
• Classical recursion theory. Vol. II
• Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
• Equality is a jump
• Iteration, inequalities, and differentiability in analog computers
• Mathematical Theory of the Differential Analyzer
• Non-Turing computations via Malament--Hogarth space-times
• On the role of mathematics and mathematical knowledge in the invention of Vannevar Bush's early analog computers
• Recursion theory on the reals and continuous-time computation
• Small universal Turing machines
• Some mathematical limitations of the general-purpose analog computer
• The existence of noncollision singularities in Newtonian systems
• The extended analog computer
• \(\mu\)-recursion and infinite limits.

Cited in

(26)

• scientific article; zbMATH DE number 2013793 (Why is no real title available?)
• Differential recursion
• A Survey on Analog Models of Computation
• Machines, Computations, and Universality
• Computability of analog networks
• Computability on reals, infinite limits and differential equations
• \(\mu\)-recursion and infinite limits.
• A survey of recursive analysis and Moore's notion of real computation
• The elementary computable functions over the real numbers: applying two new techniques
• A foundation for real recursive function theory
• Real recursive functions and Baire classes
• A new conceptual framework for analog computation
• Hierarchies of function classes defined by the first-value operator
• Recursive analysis characterized as a class of real recursive functions
• Recursive Functions and Constructive Mathematics
• How much can analog and hybrid systems be proved (super-)Turing
• Computability with polynomial differential equations
• scientific article; zbMATH DE number 465472 (Why is no real title available?)
• Continuous-time computation with restricted integration capabilities
• The New Promise of Analog Computation
• The influence of domain interpretations on computational models
• The P\(\neq\) NP conjecture in the context of real and complex analysis
• Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions
• Analog computation beyond the Turing limit
• Polynomial differential equations compute all real computable functions on computable compact intervals
• A hypercomputational alien

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q706790)