Diferencia entre revisiones de «La tesis de Church-Turing/Introducción»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 16:
. '''Tercer nivel:''' se consideran el resto de problemas, como por ejemplo, los que requieren un tiempo linealmente proporcional a sus tamaños.
== Conclusiones Obtenidas ==
Tras varios intentos, Alan Turing consiguió demostar que este problema no tiene solución, porque no es posible encontrar un algoritmo que nos permita solucionarlo. Para demostrar este hecho, basta con encontrar un sólo problema matemático que carezca de solución algorítmica.
Si nos apoyamos en la noción intuitiva de algoritmo, nunca seríamos capaces de probar que algún problema no posee una solución de carácter algorítmica. Por ello, primero es necesario estudiar todas las clases de algoritmos posibles. Este fue el camino escogido por Turing para refutar el problema decisorio.
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 puesto que se encuentra muy relacionada tanto con determinadas cuestiones filosóficas como con la teoría de los computadores digitales.
Algunos de los resultados que se encuentran englobados dentro de la teoría de la computabilidad, pero que se encuentran relacionados con la filosofía, son:
| |||