Noncomputability in models of physical phenomena

DOI10.1007/BF02650184zbMath0493.35057MaRDI QIDQ1168502

Ian Richards, Marian Boykan Pour-El

Publication date: 1982

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

zbMATH Keywords

wave equationrecursive analysisPeano's existence theoremcomputable function of a real variableno computable solution

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Constructive and recursive analysis (03F60) Wave equation (35L05) Initial value problems for second-order hyperbolic equations (35L15) Applications of computability and recursion theory (03D80)

Related Items (5)

The complexity of analog computation ⋮ The stochastic thermodynamics of computation ⋮ The promise of analog computation ⋮ Physical limits of inference ⋮ Zeno machines and hypercomputation

Cites Work

• The wave equation with computable initial data such that its unique solution is not computable
• Computable functionals
• On the definitions of computable real continuous functions
• A computable ordinary differential equation which possesses no computable solution
• On a simple definition of computable function of a real variable‐with applications to functions of a complex variable

This page was built for publication: Noncomputability in models of physical phenomena