Digital simulation of analog computation and Church's thesis

DOI10.2307/2274761MaRDI QIDQ4732471zbMATH OpenOpenAlexWikidataFDO

Authors Lee A. Rubel

Publication date 1989

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274761

zbMATH Keywords

computable functionsanalog computationconstructive analysisalgebraic differential equationsdigital computation

Mathematics Subject Classification ID

Abstract differential equations (12H20) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 5064401
• An analogue-digital Church-Turing thesis
• The promise of analog computation
• The complexity of analog computation
• A new conceptual framework for analog computation
• The New Promise of Analog Computation
• scientific article; zbMATH DE number 3965350
• Church's thesis and physical computation
• A Survey on Analog Models of Computation
• Analog computers in stochastic phenomena

Cites work

• Power series solutions of algebraic differential equations
• The Darboux property and solutions of algebraic differential equations
• The complexity of analog computation

Cited in

(6)

• Analog computation with dynamical systems
• Iteration, inequalities, and differentiability in analog computers
• scientific article; zbMATH DE number 4042317 (Why is no real title available?)
• An analogue-digital Church-Turing thesis
• scientific article; zbMATH DE number 5064401 (Why is no real title available?)
• Analog computation beyond the Turing limit

This page was built for publication: Digital simulation of analog computation and Church's thesis

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