Digital simulation of analog computation and Church's thesis

DOI10.2307/2274761zbMath0683.03040OpenAlexW2003595677WikidataQ56812643 ScholiaQ56812643MaRDI QIDQ4732471

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

analog computationalgebraic differential equationscomputable functionsconstructive analysisdigital computation

Mathematics Subject Classification ID

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

Related Items

Iteration, inequalities, and differentiability in analog computers ⋮ Analog computation beyond the Turing limit ⋮ Analog computation with dynamical systems

Cites Work

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