论文信息 - Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators - 字舞流文

Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators

M. B. Pour-El | I. Richards

[1] A. Grzegorczyk. On the definitions of computable real continuous functions , 1957 .

[2] Yiannis N. Moschovakis,et al. Notation systems and recursive ordered fields , 1966 .

[3] N. A. Sanin,et al. Constructive real numbers and constructive function spaces , 1968 .

[4] J. Myhill,et al. A recursive function, defined on a compact interval and having a continuous derivative that is not recursive. , 1971 .

[5] G. Kreisel. A Notion of Mechanistic Theory , 1974 .

[6] Marian Boykan Pour-El,et al. On a simple definition of computable function of a real variable-with applications to functions of a complex variable , 1975, Math. Log. Q..

[7] John C. Shepherdson,et al. On the Definition of Computable Function of a Real Variable , 1976, Math. Log. Q..

[8] Marian Boylan Pour-el,et al. A computable ordinary differential equation which possesses no computable solution , 1979 .

[9] Oliver Aberth,et al. Computable analysis , 1980 .

[10] M. B. Pour-El,et al. The wave equation with computable initial data such that its unique solution is not computable , 1981 .

[11] M. B. Pour-El,et al. COMPUTABILITY AND NONCOMPUTABILITY IN CLASSICAL ANALYSIS , 1983 .