Diferencia entre revisiones de «La tesis de Church-Turing/Interpretaciones»

Contenido eliminado Contenido añadido
Legoisa (discusión | contribs.)
Línea 55:
 
Esta tesis afirma que la máquina de Turing es tan eficiente como un computador. Es decir, si alguna función es computable por algún dispositivo hardware para una entrada de tamaño n, entonces dicha función es computable por una máquina de Turing en (T(n))k para algún k fijo (dependiente del problema).
 
== La Tesis de Zuse-Fredkin ==
 
Esta tesis fue enunciada formalmente en 1960 por Zuse y Fredkin. A continuación, se muestra la idea principal de la misma:
 
''"El universo es un autómata celular"''
 
Si una persona considera que la tesis de Church es verdadera entonces no puede encontrar ninguna razón que le indica que la tesis de Zuse-Fredkin es falsa, y viceversa.
 
En primer lugar, partimos de que si somos capaces de probar la tesis de Zuse-Fredkin, entonces podremos deducir de manera inmediata la tesis de Church-Turing. El argumento es el siguiente:
 
* Si el universo es una autómata celular universal (UCA, Universal Cellular Automaton), obviamente, nos encontraremos con procesos computacionales pequeños, lo que nos permitirá llegar a la conclusión de que disponemos de una serie de algoritmos que actúan sobre una región específica del espacio/tiempo del autómata.
 
* Por otro lado, cada UCA es capaz de simular cualquier otra máquina abstracta computacional, incluyendo a la Máquina Universal de Turing.
 
A continuación, vamos a analizar un poco la tesis de Church-Turing para determinar por qué su aparición corrobora la tesis de Zuse-Fredkin.
 
La tesis de Church-Turing intenta demostrar que cada función matemática computable tiene una representación isomórfica (es decir, se encuentra representado mediante un algoritmo) en un dispositivo computacional, llamado UTM.
 
La tesis de Zuse-Fredkin dice, en su mayoría, lo mismo como, por ejemplo, que el Universo es un dispositivo computacional que se puede considerar como una gran máquina computacional que podemos llamar Autómata Celular (CA).
 
También podemos decir que la tesis de Zuse-Fredkin está expuesto indirectamente un ‘hint’ directo (o, incluso, un “corolario físico”) expuesto en la tesis de Church-Turing. ¿Por qué?
 
A continuación, se muestra la razón propuesta:
 
* Toda la física, que conocemos actualmente, no es nada más que un intento por “comprender” la Realidad, para lo que se utiliza una fórmula que consiste en construir una serie de “modelos matemáticos” (o “teorías”) que explican los fenómenos que se producen en el Universo.
 
Pero, por otro lado, podemos decir que cualquier “fórmula” o “teoría” puede ser representada (de acuerdo con la tesis de Church) mediante una UTM.
 
La única forma que conocemos para “estudiar” (o “comprender”) la Realidad se basa en utilizar modelos o teorías matemáticas; he aquí la gran idea de la tesis de Zuse-Fredkin de que el Universo es una especie de dispositivo computacional, denominado, autómata celular.