Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Computability in analysis and physics
- M. B. Pour-El, J. I. Richards
- Mathematics, Computer Science
- Perspectives in Mathematical Logic
- 1989
TLDR
The wave equation with computable initial data such that its unique solution is not computable
- M. B. Pour-El, I. Richards
- Mathematics
- 1 March 1981
We consider the three-dimensional wave equation. It is well known that the solution U(X, y, z, t) is uniquely determined by two initial conditions: the values of u and au/at at time t = 0. Our… Expand
COMPUTABILITY AND NONCOMPUTABILITY IN CLASSICAL ANALYSIS
- M. B. Pour-El, I. Richards
- Mathematics
- 1 February 1983
This paper treats in a systematic way the following question: which basic constructions in real and complex analysis lead from the computable to the noncomputable, and which do not? The topics… Expand
Axiomatizable Theories with Few Axiomatizable Extensions
- D. Martin, M. B. Pour-El
- Mathematics, Computer Science
- J. Symb. Log.
- 1 June 1970
In this paper we prove two theorems. They answer questions raised by Myhill in 1956. (We recall the well-known fact that Myhill's invention of the maximal set in 1956 [2] stemmed from his attempt to… Expand
The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
- M. B. Pour-El, N. Zhong
- Mathematics, Computer Science
- Math. Log. Q.
- 1997
We give a rough statement of the main result. Let D be a compact subset of ℝ3× ℝ. The propagation u(x, y, z, t) of a wave can be noncomputable in any neighborhood of any point of D even though the… Expand
Effectively Extensible Theories
- M. B. Pour-El
- Mathematics, Computer Science
- J. Symb. Log.
- 26 April 1968
On a simple definition of computable function of a real variable-with applications to functions of a complex variable
- M. B. Pour-El, J. Caldwell
- Mathematics, Computer Science
- Math. Log. Q.
- 1975