El algoritmo que no puede existir
Impossibile aggiungere al carrello
Rimozione dalla Lista desideri non riuscita.
Non è stato possibile aggiungere il titolo alla Libreria
Non è stato possibile seguire il Podcast
Esecuzione del comando Non seguire più non riuscita
El algoritmo que no puede existir
-
Letto da:
-
Di:
¿Puede existir un programa capaz de analizar cualquier otro programa y decidir siempre si terminará o seguirá ejecutándose para siempre? Alan Turing demostró que no. Este capítulo explora la máquina de Turing, la idea de computación universal y el problema de la parada, una de las fronteras fundamentales de la informática teórica. Mediante una construcción autorreferencial, Turing mostró que ciertos problemas no son simplemente demasiado difíciles para nuestras computadoras: ningún algoritmo general capaz de resolverlos puede existir. La misma teoría que ayudó a definir qué significa computar también reveló que la computación tiene límites imposibles de superar con más velocidad o memoria.
See omnystudio.com/listener for privacy information.