Indeed, one of the ways in which someone was trying to prove that Navier-Stokes can't be solved was to build a Turing machine out of turbulent vortices. If it's

Indeed, one of the ways in which someone was trying to prove that Navier-Stokes can't be solved was to build a Turing machine out of turbulent vortices. If it's possible, then an analytic solution to their motion would be equivalent to solving the halting problem.