Diferencia entre revisiones de «Alan Turing»

 

== La Universidad y sus estudios sobre computabilidad ==

 

En su memorable estudio "''Los números computables, con una aplicación al [[Entscheidungsproblem]]''" (publicado en [[1936]]), Turing reformuló los resultados obtenidos por [[Kurt Gödel]] en [[1931]] sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce como [[Máquina de Turing]], unos dispositivos formales y simples. Demostró que dicha máquina era capaz de implementar cualquier problema matemático que pudiera representarse mediante un algoritmo. Las máquinas de Turing siguen siendo el objeto central de estudio en la [[teoría de la computación]]. Llegó a probar que no había ninguna solución para el problema de decisión, ''[[Entscheidungsproblem]]'', demostrando primero que el [[problema de la parada]] para las máquinas de Turing es irresoluble: no es posible decidir algorítmicamente si una máquina de Turing dada llegará a pararse o no. Aunque su demostración se publicó después de la demostración equivalente de [[Alonzo Church]] respecto a su [[cálculo lambda]], el estudio de Turing es mucho más accesible e intuitivo. También fue pionero con su concepto de "''Máquina Universal (de Turing)''", con la tesis de que dicha máquina podría realizar las mismas tareas que cualquier otro tipo de máquina. Su estudio también introduce el concepto de [[números definibles]].