Diferencia entre revisiones de «La tesis de Church-Turing/Introducción»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 37:
Otro de los resultados más importantes de esta teoría es la existencia de las máquinas universales de Turing, esto es, máquinas que simulan ser una máquina de Turing recibiendo en su entrada (en la cinta) todo lo relativo a la máquina a imitar, pero que tienen un conjunto finito que no debe ser modificado.
Pero al fin, lo único que se dice es que las instrucciones que la máquina de algún modo recibe sobre cómo tratar la información puede introducirse como estados de la máquina o como entrada por la cinta.▼
▲
En 1930, la computabilidad Turing permitió clasificar las funciones para las que existen algoritmos. Pero el dilema (la tesis o conjetura) era si,
Dado que será la intuición o creatividad humana la que lo intente probar, todo se resumía en saber si la computación intuitiva superaba a la de Turing.
|