La “Introducción matemática a la lógica” de Enderton [1] es uno de los mejores libros que he leído, no solo uno de los mejores libros de matemáticas, uno de los mejores libros.
Hay una presentación muy clara y simple de la lógica proposicional y de primer orden, desde lo más básico hasta los resultados clásicos de los años veinte y treinta: el teorema de la integridad, los teoremas de Lowenheim-Skolem, los teoremas de la incompletitud de Gödel y la falta de sostenibilidad de Tarski, y el problema Entscheidungsproblem . El libro se vuelve difícil, pero siento que en cada etapa, el autor se esforzó por maximizar la claridad e introducir solo los conceptos relevantes.
Probablemente no habría podido trabajar en el libro de forma aislada. Probablemente ayudaría tener a alguien con quien consultar si te quedas atascado.
[1] http://www.amazon.com/dp/0122384520
- ¿Qué se siente al aprender que algo en lo que cree firmemente es en realidad lógica o racionalmente incorrecto?
- ¿Qué tipo de lógica evitaría que un inversor no quiera, al menos, verificar esta empresa?
- ¿Cómo se pueden conciliar las leyes de la lógica, como la no contradicción, el medio excluido y la identidad propia, con el superposicionamiento cuántico?
- ¿Es intuitivo el axioma del límite superior mínimo de los números reales?
- Ingeniería eléctrica y electrónica: ¿se utiliza el tipo de dispositivo SCR en las puertas lógicas (AND, OR, NOT)?