Marian Boykan Pour-El and Ian Richards. A computable ordinary differential equation which possesses no computable solution, Annals of mathematical logic, vol. 17 (1979), pp. 61–90. - Marian Boykan Pour-El and Ian Richards. The wave equation with computable initial data such that its unique solution is not computable. Advances in mathematics, vol. 39 (1981), pp. 215–239.

G. Kreisel

doi:10.2307/2273108

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Clark, Peter 1990. Explanation in Physics: Explanation in Physical Theory. Royal Institute of Philosophy Supplement, Vol. 27, Issue. , p. 155.

Kohlenbach, Ulrich 1993. Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation. Annals of Pure and Applied Logic, Vol. 64, Issue. 1, p. 27.

1993. Randomness and Undecidability in Physics. p. 243.

Monk, John 1995. Skill, Technology and Enlightenment: On Practical Philosophy. p. 219.

Brattka, V. and Kalantari, I. 1998. Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory. Vol. 138, Issue. , p. 583.

Copeland, B. Jack and Sylvan, Richard 1999. Beyond the universal Turing machine. Australasian Journal of Philosophy, Vol. 77, Issue. 1, p. 46.

Kreinovich, Vladik and Longpré, Luc 2004. Fast quantum algorithms for handling probabilistic and interval uncertainty. Mathematical Logic Quarterly, Vol. 50, Issue. 4-5, p. 405.

Stannett, Mike 2004. Alan Turing: Life and Legacy of a Great Thinker. p. 135.

Velupillai, K. Vela 2006. Algorithmic foundations of computable general equilibrium theory. Applied Mathematics and Computation, Vol. 179, Issue. 1, p. 360.

Velupillai, K. Vela 2007. VARIATIONS ON THE THEME OFCONNINGaINMATHEMATICAL ECONOMICS. Journal of Economic Surveys, Vol. 21, Issue. 3, p. 466.

Copeland, B. Jack and Shagrir, Oron 2007. Physical Computation: How General are Gandy’s Principles for Mechanisms?. Minds and Machines, Vol. 17, Issue. 2, p. 217.

Beggs, E.J and Tucker, J.V 2007. Experimental computation of real numbers by Newtonian machines. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 463, Issue. 2082, p. 1541.

Beggs, Edwin Costa, José Félix Loff, Bruno and Tucker, John V 2008. Computational complexity with experiments as oracles. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 464, Issue. 2098, p. 2777.

Beggs, E.J. and Tucker, J.V. 2009. Computations via Newtonian and relativistic kinematic systems. Applied Mathematics and Computation, Vol. 215, Issue. 4, p. 1311.

BEGGS, EDWIN J. COSTA, JOSÉ FÉLIX and TUCKER, JOHN V. 2012. The impact of models of a physical oracle on computational power. Mathematical Structures in Computer Science, Vol. 22, Issue. 5, p. 853.

Cooper, S. Barry and Leeuwen, Jan Van 2013. Alan Turing: His Work and Impact. p. 651.

Nayebi, Aran 2014. Practical Intractability: A Critique of the Hypercomputation Movement. Minds and Machines, Vol. 24, Issue. 3, p. 275.

Wójtowicz, Krzysztof 2021. Hajnal Andréka and István Németi on Unity of Science. Vol. 19, Issue. , p. 165.

Article contents

Abstract

Access options

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

Abstract

Access options

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests