The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
From MaRDI portal
Publication:4366130
DOI10.1002/malq.19970430406zbMath0883.03045MaRDI QIDQ4366130
Ning Zhong, Marian Boykan Pour-El
Publication date: 18 November 1997
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19970430406
03F60: Constructive and recursive analysis
03D80: Applications of computability and recursion theory
Related Items
Complexity of Blowup Problems, Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs, Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I), The Significance of Relativistic Computation for the Philosophy of Mathematics, Computability of Differential Equations, Computational unsolvability of domains of attraction of nonlinear systems, Computability of entropy and information in classical Hamiltonian systems, Computational bounds on polynomial differential equations, Computability structure of the Sobolev spaces and its applications, Comparing representations for function spaces in computable analysis, Computability with polynomial differential equations, Computability and Dynamical Systems, On Computability of Navier-Stokes’ Equation, Computability of the Solutions to Navier-Stokes Equations via Effective Approximation, Computability, noncomputability and undecidability of maximal intervals of IVPs
Cites Work