Quiero saber quien dijo que es imposible determinar para cualquier algoritmo si tiene fin en un timpo finito.
Personalmente pienso que es posible, o almenos es posible para un conjunto acotado de algoritmos. Pero ojo, cuando digo conjunto acotodo, me refiero a un enemorme conjunto de algoritmos que inclullen todos los algoritmos que solucionan un problema cualquiera.
Quiero poder leer la esplicacion o demostracion asi que si me pasan un link estaria super agradecido.
Pueden comentar su opinion si quieren, pero valoro mas bibliografia.
gracias
