Estamos experimentando algunos errores en la base de datos. Algunas funciones pueden no responder correctamente.
El Problema de Halting de Turing
por Tibor Rado · 1962
Sinopsis
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
sin portada
On the Foundations of Mathematics
sin portada
Model Theory
sin portada
Logic and Set Theory
sin portada
Mathematical Logic
sin portada
Fundamentals of Set Theory
sin portada
Principles of Mathematical Logic
Axiom of Choice
Set Theory and its Philosophy
Linguistics and Mathematics
Philosophical Foundations of Set Theory
Libros similares
Libros relacionados según distintos criterios de búsqueda