Diferencia entre revisiones de «La tesis de Church-Turing/Introducción»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 22:
Gödel teorizó sobre la incompletitud de los sistemas axiomáticos, pero, tras varios intentos, fue Alan Turing quien apoyó esta teoría con la creación de su máquina, minuciosamente ideada para que pudiera interpretar cualquier algoritmo, y que sin embargo tenía problemas fuera de su alcance.
Para demostrar este hecho,
La teoría de la computabilidad es conocida, también, como la teoría de las funciones recursivas. Esta disciplina contempla la existencia de procedimientos puramente mecánicos para resolver diferentes problemas.
Aunque esta teoría pertenece, principalmente, al campo de las matemáticas puras, es especialmente importante para aquellos que no son matemáticos.
Algunos de los resultados que se encuentran englobados dentro de la teoría de la computabilidad
* La existencia de problemas absolutamente insolubles
Línea 36:
== La computabilidad Turing ==
Otro de los resultados más importantes de esta teoría es la existencia de las máquinas universales de Turing
La máquina puede recibir como información de entrada instrucciones o estados de la misma.
En 1930, la computabilidad Turing permitió clasificar las funciones para las que existen algoritmos.
Por tanto la cuestión es saber si la intuición humana supera o no la capacidad de una máquina de Turing.
▲En 1930, la computabilidad Turing permitió clasificar las funciones para las que existen algoritmos. Pero el dilema (la tesis o conjetura) era si, habiendo probado que había problemas no resolubles por la Máquina de Turing porque carecían de resolución algorítmica, si había también alguno que, aun teniéndolo, tampoco podía ser computado por ella.
|