Ambos textos examinan la teoría de la computabilidad desde el enfoque de las máquinas de Turing, ofreciendo un fundamento lógico similar.
Máquinas de Turing: La Lógica de la Computabilidad
por Mogens Nielsen · 1999
Ver sugerenciasSinopsis
Este texto es un tratado fundamental sobre las máquinas de Turing y su papel en la definición de la computabilidad efectiva. Profundiza en los aspectos lógicos y formales que subyacen a toda capacidad computacional, sentando las bases para comprender qué puede y qué no puede ser computado.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este ensayo histórico contiene el concepto fundamental de la máquina de Turing, explorando los límites de la computación, algo clave en el libro de Nielsen.
Ofrece una profunda conexión con los fundamentos matemáticos y conceptuales de la obra de Turing, similar al enfoque formal del ensayo de Nielsen.
Introduce de manera seminal el modelo de la máquina de Turing, estableciendo una base teórica relevante que resuena con los temas del libro de Nielsen.
El texto proporciona una base fundamental sobre las máquinas de Turing y su relación con la computabilidad, igualmente relevante para la lógica del ensayo de Nielsen.
Explora los aspectos de computabilidad y funciones recursivas, en línea con la lógica formal que caracteriza al tratado de Nielsen sobre máquinas de Turing.