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