Computability of the Solutions to Navier-Stokes Equations via Recursive Approximation

Shu-Ming Sun, Ning Zhong, Martin Ziegler

As one of the seven open problems in the addendum to their 1989 book "Computability in Analysis and Physics", Pour-El and Richards proposed ``... the recursion theoretic study of p…