An Example of Noncomputability of Exponents of a System of Ordinary Differential Equations

被引：0
作者：
A. V. Tyulenev
机构：
[1] Russian University of Transport (MIIT),
来源：
Moscow University Mathematics Bulletin | 2021年 / 76卷
关键词：
Lyapunov exponents; upper central exponent; computable real number; computable solution of a differential equation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：53 / 59
页数：6
相关论文
共 3 条
[1]  
Specker E.(1949)Nicht konstruktiv beweisbare Sätze der Analysis J. Symbolic Logic 14 145-158
[2]  
Pour-El M. B.(1979)A computable ordinary differential equation which possesses no computable solution Ann. Math. Logic 17 61-90
[3]  
Richards J. I.(undefined)undefined undefined undefined undefined-undefined
1