Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)
@article{PourEl1974AbstractCA,
title={Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)},
author={M. B. Pour-El},
journal={Transactions of the American Mathematical Society},
year={1974},
volume={199},
pages={1-28}
}COMPUTABILITY AND ITS RELATION TO THE GENERAL PURPOSE ANALOG COMPUTER (SOME CONNECTIONS BETWEEN LOGIC, DIFFERENTIAL EQUATIONS AND ANALOG COMPUTERS) BY MARIAN BOYKAN POUR-EL(l) ABSTRACT. Our aim is to study computability from the viewpoint of the analog computer. We present a mathematical definition of an analog generable function of a real variable. This definition is formulated in terms of a simultaneous set of nonlinear differential equations possessing a "domain of generation." (The latter… CONTINUE READING
163 Citations
On the Functions Generated by the General Purpose Analog Computer
- Mathematics, Computer Science
- Inf. Comput.
- 2017
- 12
- Highly Influenced
- PDF
Digital Simulation of Analog Computation and Church's Thesis
- Computer Science, Mathematics
- J. Symb. Log.
- 1989
- 43
Computing with Polynomial Ordinary Differential Equations
- Mathematics, Computer Science
- J. Complex.
- 2016
- 5
- PDF
Computational bounds on polynomial differential equations
- Mathematics, Computer Science
- Appl. Math. Comput.
- 2009
- 14
- PDF
Some recent developments on Shannon's General Purpose Analog Computer
- Computer Science
- Math. Log. Q.
- 2004
- 59
- PDF
An Analog Characterization of the Grzegorczyk Hierarchy
- Mathematics, Computer Science
- J. Complex.
- 2002
- 65
Polynomial differential equations compute all real computable functions on computable compact intervals
- Mathematics, Computer Science
- J. Complex.
- 2007
- 59
- PDF
Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length
- Mathematics, Computer Science
- J. ACM
- 2017
- 18
- PDF
The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation
- Mathematics, Computer Science
- TAMC
- 2006
- 27
- PDF
References
SHOWING 1-10 OF 19 REFERENCES
IV. On an instrument for calculating (∫φ(x) ψ (x)dx), the integral of the product of two given functions
- Computer Science
- Proceedings of the Royal Society of London
- 1876
- 25
- PDF
Apóstol, Mathematical analysis: A modem approach to advanced calculus, Addison-Wesley, Reading, Mass., 1957
- MR
- 1957