A computable ordinary differential equation which possesses no computable solution

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Computability and recursion theory (03D99) Constructive and recursive analysis (03F60) Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12)

Cited in

(49)

Computations via Newtonian and relativistic kinematic systems
Computational bounds on polynomial differential equations
Power series solutions of algebraic differential equations
Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
Approximation to measurable functions and its relation to probabilistic computation
The wave equation with computable initial data such that its unique solution is not computable
Noncomputability in models of physical phenomena
On the computational complexity of integral equations
On the hierarchy and extension of monotonically computable real numbers.
The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not
An example of noncomputability of exponents of a system of ordinary differential equations
On the computability of the set of automorphisms of the unit square
Programming with ordinary differential equations: some first steps towards a programming language
Computability aspects for 1st-order partial differential equations via characteristics
The case for hypercomputation
How much can analog and hybrid systems be proved (super-)Turing
Algorithmic foundations of computable general equilibrium theory
The promise of analog computation
On Effective Convergence of Numerical Solutions for Differential Equations
Computability and analysis, a historical approach
Some Research Problems about Algebraic Differential Equations
Dummett's case for intuitionism
A Domain-Theoretic Account of Picard's Theorem
Computability, noncomputability and undecidability of maximal intervals of IVPs
Computability and Noncomputability in Classical Analysis
Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
The knaster-tarski fixed-point theorem is not uniformly constructive
Extensions of Hilbert's tenth problem
Undecidable event detection problems for ODEs of dimension one and two
Computations with oracles that measure vanishing quantities
Decision problems for differential equations
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
Complexity of blowup problems (extended abstract)
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
Experimental computation of real numbers by Newtonian machines
Event detection for ODES and nonrecursive hierarchies
Computability of entropy and information in classical Hamiltonian systems
Robust non-computability of dynamical systems and computability of robust dynamical systems
Second-order parameterizations for the complexity theory of integrable functions
The complexity of computing in continuous time: space complexity is precision
Computability of initial value problems
Computable analysis for extraction of certified programs and its applications
Computation with real numbers and continuous-time dynamical systems
Simulation of Turing machines with analytic discrete ODEs: polynomial-time and space over the reals characterised with discrete ordinary differential equations
Differential equations in constructive analysis and in the recursive realizability topos
Can Newtonian systems, bounded in space, time, mass and energy compute all functions?

This page was built for publication: A computable ordinary differential equation which possesses no computable solution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3859258)