The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
暂无分享,去创建一个
[1] M. B. Pour-El,et al. The wave equation with computable initial data such that its unique solution is not computable , 1981 .
[2] G. Kreisel. A Notion of Mechanistic Theory , 1974 .
[3] Marian Boykan Pour-El,et al. Computability in analysis and physics , 1989, Perspectives in Mathematical Logic.
[4] J. Myhill,et al. A recursive function, defined on a compact interval and having a continuous derivative that is not recursive. , 1971 .
[5] W. D. Evans,et al. PARTIAL DIFFERENTIAL EQUATIONS , 1941 .