论文信息 - A computable ordinary differential equation which possesses no computable solution - 字舞流文

A computable ordinary differential equation which possesses no computable solution

Marian Boylan Pour-el | I. Richards

[1] H. G. Rice,et al. Recursive real numbers , 1954 .

[2] E. Coddington,et al. Theory of Ordinary Differential Equations , 1955 .

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

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

[5] 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..

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

[7] Proceedings of the 1978 annual conference , 1978 .