La física cuántica es complicada, de eso no cabe duda.
Nos pasamos la vida desarrollando algoritmos y resoluciones analíticas para
una multitud de problemas distintos.
Algunos de estos problemas son muy comunes en el campo, como calcular
la energía del estado fundamental de un sistema o su evolución temporal.
Por este motivo muchos grupos se han especializado exclusivamente en desarrollar métodos de cálculo para estos problemas.
En última instancia, estos problemas tienen un coste computacional muy elevado (exponencial) y por eso también se trabaja en el desarrollo de ordenadores cuánticos. Sin embargo, para algunos problemas parece que no será suficiente todo ese esfuerzo.
Es sabido desde hace bastante tiempo que no todos los problemas se pueden resolver. Para demostrar algo así sólo basta con encontrar un ejemplo de problema irresoluble.
Así lo hizo Alan Turing, padre de la computación.
El problema que propuso fue el Problema de la Parada (Halting Problem).
El problema es el siguiente: Dado un programa de ordenador cualquiera, averiguar si terminará o no terminará.
La condición es que la resolución se debe hacer de manera algorítmica.
Esto quiere decir que no tenemos que solucionarlo para cada posible programa uno a uno, sino que tenemos que programar un ordenador de modo que nos diga de manera autónoma si un programa terminará o no.
La demostración de que este problema es irresoluble de manera algorítmica es bastante sencilla, y la podemos encontrar en este vídeo:
No hay comentarios:
Publicar un comentario