Las otras respuestas sugieren principalmente la lectura popular fácil. Creo que puede hacerlo mejor con una introducción más formal a los principales resultados de la lógica del siglo 20 y la teoría de la función recursiva. ¿Has oído hablar de los teoremas de incompletitud de Godel? Manteniendo la letra pequeña a un mínimo, son:
- Cualquier teoría axiomática consistente capaz de expresar los axiomas de aritmética de Peano elementales contendrá una oración indecidible , de modo que ni la oración ni su negación puedan probarse dentro de la teoría.
- Si alguna de esas teorías contiene una declaración de su propia consistencia, entonces es inconsistente.
Es difícil exagerar la importancia de estos teoremas. Bertrand Russell y AN Whitehead intentaron reducir la matemática a la lógica, y llegó un joven de 20 y algo que probó de manera decisiva que su proyecto no puede tener éxito. Si está realmente interesado en la lógica, entonces no puede dejar de estar interesado en trabajar con la prueba completa de los teoremas de Godel. Para este propósito, este libro es excelente: Introducción a la lógica matemática, Quinta edición (Matemáticas discretas y sus aplicaciones): Elliott Mendelson: 9781584888765: Amazon.com: Libros