Este texto comparte el enfoque riguroso sobre computabilidad y lógica, explorando a fondo funciones recursivas y máquinas de Turing.
Computabilidad y Lógica
por George S. Boolos, John P. Burgess, Richard Jeffrey · 1974
Ver sugerenciasSinopsis
Un texto riguroso que introduce los conceptos centrales de la computabilidad y la lógica matemática, incluyendo las funciones recursivas, las máquinas de Turing y los teoremas de incompletitud de Gödel.
Sé el primero en valorar este libro.
Más de George S. Boolos
Ver autor →Otras obras del mismo autor en el catálogo
Computability and Logic
1974
Computability and Logic
1974
Teoría de la Computabilidad y Lógica Matemática
1974
The Unprovability of Consistency of Peano Arithmetic
1975
Inheritance and the Theory of Concepts
1980
Mathematical Logic
1987
On Second-Order Quantification
1989
Liar: A Loupe on Truth
1990
The Status of Logic
1992
The Logic of Provability
1993
The Justification of Deduction
1993
Theories of Truth
1996
Logic, Logic, and Logic
1998
A New Perspective on Gödel's Incompleteness Theorem
1998
The Philosophy of Mathematics
2002
Libros similares
Libros relacionados según distintos criterios de búsqueda
La conexión temática radica en su análisis detallado de la lógica simbólica y la teoría de la recursión, igual que en el libro de referencia.
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Martin D. Davis, Ron Sigal, Elaine J. Weyuker
1994·divulgacion
Ambos textos abordan los fundamentos de la computabilidad, explorando complejidades computacionales y propiedades de lenguajes formales en una estructura didáctica.
Este libro presenta comentarios sobre figuras clave como Gödel y Turing, conectando históricamente con los temas tratados en 'Computabilidad y Lógica'.
Al igual que el libro de referencia, este texto trata la incompletitud de Gödel y la teoría de la recursión desde un enfoque riguroso.
Explora las intersecciones de la lógica y la computabilidad, aportando un enfoque accesible a temas complejos relacionados con la teoría de computación.