Ambos textos exploran profundamente la teoría de la computabilidad, enfocándose en problemas indecidibles relacionados con la ejecución de programas.
El Problema de Halting de Turing
por Tibor Rado · 1962
Ver sugerenciasSinopsis
Este texto aborda formalmente el problema indecidible de determinar si un programa arbitrario terminará o continuará ejecutándose indefinidamente, introduciendo el concepto de la función 'Busy Beaver'.
Sé el primero en valorar este libro.
Más de Tibor Rado
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este ensayo histórico presenta el problema de la parada, alineándose con el enfoque de Rado en cuestiones fundamentales de la lógica computacional.
Al igual que el libro de Rado, este texto se centra en el problema del 'beaver ocupado', proporcionando un análisis detallado de la computación teórica.