La tesis de Church-Turing/Implicaciones

Tras estudiar en profundidad la tesis de Church-Turing, nos encontramos con que existen diversas implicaciones filosóficas bastante interesantes e importantes. Además, podemos encontrar cuestiones que nos permiten vincular la tesis de Church con la física y con la construción de hipercomputadoras.

Si aplicamos los principios físicos, podemos encontrarnos con que esta tesis tiene diversos significados:

• Consideramos que nuestro Universo es, en realidad, una máquina de Turing. En este caso, no seríamos capaces de concebir ni de imaginar ningún tipo de máquina cuyo poder computacional fuera mayor que el de una máquina de Turing y, que además, no sea capaz de procesar funciones no recursivas. O, lo que es lo mismo, estamos limitando la capacidad de cómputo de nuestra máquina al universo en el que estamos trabajando.

• Si consideramos que el Universo no es una máquina de Turing (o, lo que es equivalente, no es posible computar la leyes que rigen el universo) entonces podremos construir una máquina cuyo poder computacional sea mayor que el de una máquina de Turing.

• Por último, podemos concebir el Universo como una Hipercomputadora. En este caso, podríamos construir máquina más eficaces que las máquinas de Turing utilizando, únicamente, los resultados de dicha hipercomputadora: el universo o la naturaleza. Sin embargo, para que esto pudiera ser realidad se tendría que verificar que el universo es continuo y que, además, hace uso de dicha propiedad.