Investigadores del Instituto de Ciencias Matemáticas (ICMAT) y la Universidad Politécnica de Cataluña han logrado diseñar una construcción abstracta que simula, usando la dinámica de fluidos, cualquier máquina de Turing. El enfoque, propuesto por Terence Tao hace años para tratar de resolver uno de los problemas del milenio, el de las ecuaciones de Navier-Stokes que describe el movimiento de los fluidos, ha sido retomado por cuatro investigadores españoles (Eva Miranda de la UPC, Daniel Peralta-Salas del ICMAT-CSIC, Robert Casona de BGSMath-UPC, y Francisco Presas del ICMAT-CSIC), y por primera vez han conseguido construir soluciones para un fluido capaz de simular cualquier máquina de Turing. El resultado se publica hoy en la revista Proceedings of the National Academy of Sciences (PNAS). Visto en agenciasinc.es.

El fluido estudiado por los investigadores se puede considerar como una ‘máquina de agua': "toma como dato de entrada un punto del espacio, lo procesa -siguiendo la trayectoria del fluido por ese punto- y ofrece como resultado la siguiente región a la que se ha desplazado el fluido".

Enlaces:

• Cardona, R., Miranda, E., Peralta-Salas, D., & Presas, F. (2020). Constructing Turing complete Euler flows in dimension $3$. arXiv preprint arXiv:2012.12828.
• Constructing Turing complete Euler flows in dimension 3 in less than 3minutes. Vídeo explicativo de Eva Miranda