Diferencia entre revisiones de «La tesis de Church-Turing/Introducción»
Contenido eliminado Contenido añadido
Línea 29:
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:
• La existencia de problemas absolutamente insolubles
• Teorema de la incompletitud de Gödel
Otro de los resultados más importantes de esta teoría es la existencia de las máquinas universales de Turing. Esta afirmación hace que se refuerce la idea (sobre todo, de aquellas personas que trabajan con computadores digitales) de que es posible crear un ordenador de propósito general que, además, se podría programar para ser utilizado en cualquier ordenador digital determinístico que nos podamos imaginar.
A medida que crecía la certeza de que encontrar una solución al problema decisorio supondría encontrar sino todas, gran parte de las soluciones a los diferentes problemas matemáticos provocó que algunos matemáticos, muy especialmente Von Neumann, llegaran a la conclusión de que esto no era posible. Esta afirmación se vio reforzada por la publicación de Gödel, en 1931, de su artículo.
La computabilidad Turing permitió, en 1930, clasificar las funciones para las que existen algoritmos.
| |||