An example of noncomputability of exponents of a system of ordinary differential equations

DOI10.3103/S0027132221020078OpenAlexW3186283379WikidataQ115223427 ScholiaQ115223427MaRDI QIDQ1980446

A. V. Tyulenev

Publication date: 8 September 2021

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0027132221020078

zbMATH Keywords

Lyapunov exponentscomputable real numberupper central exponentcomputable solution of differential equation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Cites Work

• A computable ordinary differential equation which possesses no computable solution
• Nicht konstruktiv beweisbare Sätze der Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An example of noncomputability of exponents of a system of ordinary differential equations