Aunque ambos libros tratan de lógica matemática y datan del mismo año, el de Shoenfield es un tratado técnico, mientras que el de Van Heijenoort es una antología histórica. Recomendar este último es no obvio porque, en lugar de otro texto técnico, se ofrece una perspectiva histórica de los cimientos del campo, mostrando la evolución de las ideas que Shoenfield presenta de forma axiomática. [routledge.com](https://www.routledge.com/Mathematical-Logic/Shoenfield/p/book/9781568811352)
Un Curso de Lógica Matemática
por Joseph R. Shoenfield · 1967
Ver sugerenciasSinopsis
Un texto clásico que cubre los fundamentos de la lógica matemática, incluyendo teoría de modelos, teoría de la recursión y teoría de la demostración, sentando las bases para entender los límites de la computación.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
La conexión es no obvia porque, en lugar de un texto formal de lógica, este libro explora las implicaciones filosóficas y cognitivas de conceptos centrales en la lógica matemática (como los teoremas de incompletitud de Gödel, que son un tema profundo en el libro de Shoenfield) a través de analogías artísticas y musicales, haciendo accesible la complejidad de la lógica a un público más amplio. [karlin.mff.cuni.cz](https://www.karlin.mff.cuni.cz/~krajicek/shoenfield.pdf)
Ambos libros abordan la base de la aritmética y la lógica matemática. Mientras que Shoenfield presenta la lógica ya formalizada, Frege profundiza en la cuestión filosófica subyacente de qué son los números y cómo se justifican lógicamente, compartiendo la misma búsqueda profunda de fundamentos racionales pero desde una perspectiva más primordial y fundacional. [karlin.mff.cuni.cz](https://www.karlin.mff.cuni.cz/~krajicek/shoenfield.pdf)
Joseph Shoenfield menciona a Azriel Lévy como una de las personas con las que tuvo valiosas conversaciones al escribir 'Mathematical Logic'. Recomendar un libro de Lévy proporciona una conexión directa con uno de los influyentes en el círculo intelectual del autor original, ofreciendo una perspectiva complementaria o más profunda en uno de los temas centrales del libro de referencia (la teoría de conjuntos). [karlin.mff.cuni.cz](https://www.karlin.mff.cuni.cz/~krajicek/shoenfield.pdf)
Aunque Mendelson es conocido en el ámbito académico, su obra no es tan comúnmente citada en listas generales de "filosofía de la lógica" como otros autores, haciéndolo una elección más oscura pero pertinente. Su tratamiento de la lógica matemática es muy cercano en espíritu y contenido al de Shoenfield, ofreciendo una perspectiva rigurosa pero ligeramente diferente de los mismos conceptos fundamentales, lo que permite una comprensión más completa del campo. [amazon.com](https://www.amazon.com/Mathematical-Logic-Addison-Wesley-Joseph-Shoenfield/dp/1568811357)
El libro de Shoenfield, como muchos textos de lógica matemática, se estructura alrededor de la presentación axiomática y la construcción formal de sistemas lógicos. Hilbert fue pionero en esta aproximación, y su obra ofrece un ejemplo fundamental de cómo se estructura la búsqueda de la fundamentación matemática mediante sistemas formales, compartiendo la misma ambición y método estructural de la lógica axiomática. [routledge.com](https://www.routledge.com/Mathematical-Logic/Shoenfield/p/book/9781568811352)