Qiaochu de Yuanes en su respuesta a esta pregunta , que recuerda a un post en el blog (en concreto, comentario 16 de la misma) por Terry Tao:
Por ejemplo, uno no puede esperar a encontrar un algoritmo para determinar la existencia de suave soluciones arbitrarias no lineal de ecuaciones diferenciales parciales, debido a que es posible simular una máquina de Turing usando las leyes de la física clásica, que a su vez puede ser modelado mediante (a moderadamente complicado sistema de) no lineal de la PDE
Es este "es posible" una aplicación de un Newton tesis, como de costumbre tesis de Church-Turing, que va a lo largo de la línea de "si algo es imaginably factible en la vida real, uno puede simular con el habitual ecuaciones de la física", o que tiene la simulación sido realmente se lleva a cabo?
Qué se necesita Pde para simular máquinas de Turing, o son Odas lo suficientemente bueno?
