Guía de Lógica Matemática para Principiantes

Opiniones de los lectores

El libro es una continuación del primer volumen, que abarca temas de lógica y matemáticas. Aunque es ameno y aumenta la comprensión, algunos lectores consideran que le falta profundidad en las secciones posteriores en comparación con las expectativas.

Papel de buena calidad, fácil de leer, ameno, aumenta significativamente la comprensión de los temas de lógica.

La segunda parte puede no ser necesaria para todos los lectores, le falta el detalle esperado en los temas posteriores, puede ser abrumador debido a la cantidad de memorización requerida.

(basado en 2 opiniones de lectores)

Título original:

A Beginner's Further Guide to Mathematical Logic

Contenido del libro:

Este es el último libro escrito por el difunto gran maestro de los rompecabezas y lógico, el Dr. Raymond Smullyan.

Este libro es una secuela de mi Beginner's Guide to Mathematical Logic.

El volumen anterior trata de elementos de lógica proposicional y de primer orden, contiene un poco sobre sistemas formales y recursividad, y concluye con capítulos sobre el famoso teorema de incompletitud de G del, junto con resultados relacionados.

El presente volumen comienza con un poco más de lógica proposicional y de primer orden, seguido de lo que yo llamaría un capítulo «fein», que generaliza simultáneamente algunos resultados de la teoría de la recursividad, los sistemas aritméticos de primer orden y lo que yo llamo una «máquina de decisión». Luego vienen cinco capítulos sobre sistemas formales, teoría de la recursividad y aplicaciones metamatemáticas en un entorno general. Los cinco últimos capítulos tratan del hermoso tema de la lógica combinatoria, que no sólo es intrigante por sí misma, sino que tiene importantes aplicaciones a la informática. El Laboratorio Nacional Argonne está especialmente implicado en estas aplicaciones, y me enorgullece decir que sus miembros han encontrado utilidad a algunos de mis resultados en lógica combinatoria.

Este libro no cubre temas tan importantes como la teoría de conjuntos, la teoría de modelos, la teoría de la prueba y los desarrollos modernos en la teoría de la recursividad, pero el lector, después de estudiar este volumen, estará ampliamente preparado para el estudio de estos temas más avanzados.