No solo co-autores, sino que profundiza en lógica y computabilidad, abordando la incompletitud de Gödel desde un enfoque riguroso.
Teoría de la Computabilidad y Lógica Matemática
por George S. Boolos, Richard C. Jeffrey · 1974
Ver sugerenciasSinopsis
Este texto clásico aborda los fundamentos teóricos de la computación, la lógica matemática, la recursión y sus límites inherentes, explorando las preguntas fundamentales sobre lo que es computable y lo que no lo es.
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
Computabilidad y Lógica
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
Profundiza en la relación entre lógica y computabilidad, explorando el cálculo de predicados y sus implicaciones filosóficas.
Combina la lógica matemática con la ciencia de la computación, analizando problemas irremediables y funciones recursivas.
Explora los fundamentos de la lógica matemática y la teoría de la recursión, estableciendo puentes entre teoría y computación moderna.
Introduce conceptos de computabilidad y lógica matemática, enfocándose en funciones recursivas y máquinas de Turing con rigor académico.
Examina las intersecciones entre filosofía, lógica y computabilidad, presentando temas complejos de manera clara y accesible.