¿Existe algún conjunto construido de leyes físicas a partir de las cuales podamos obtener lógicamente que cualquier función que se pueda implementar en algún dispositivo sea Computable de Turing?
EDITAR
Creo que si nos limitamos a la mecánica clásica (quiero decir si suponemos que cualquier dispositivo obedece solo a las leyes de la mecánica clásica), entonces la tesis de LA TC puede ser probada.
