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.
 
EstaDe afirmaciónesta hace queforma se refuercereafirma la ideacreencia, (sobre todo,principalmente de aquellas personas que trabajan con computadores digitales), de que es posible imaginar y crear un ordenador de propósitopróposito general. que,Esto además,nos sepermitiría podríautilizar programardicho para ser utilizadoordenador en cualquier ordenadortipo de computador digital determinístico que nos podamos imaginarconcebir.
 
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.
 
PeroEn al finesencia, lo único que se diceintenta decir es que las instrucciones que la máquina de algún modo recibe sobreindicando cómola manera en que se va a tratar la información de entrada, puede introducirse como estados de la máquina o como entrada porpara la cinta.
La computabilidad Turing permitió, en 1930, clasificar las funciones para las que existen algoritmos.
 
En 1930, la computabilidad Turing permitió clasificar las funciones para las que existen algoritmos. Pero el dilema (la tesis o conjetura) era si, probadohabiendo yaprobado que había problemas no resolubles por la MTMáquina de Turing porque nocarecían de teníanresolución algoritmoalgorítmica, si había también alguno que, aun teniéndolo, tampoco podía ser computado por ella.
 
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.