En la primera edición de Elliott Mendelson clásico de Introducción a la Lógica Matemática (1964) no es un apéndice, dando una versión de Schütte (1951), la variación en Gentzen la prueba de la consistencia de PA. Esto es intrigante cosas, quebradizo y muy accesible presentado. El apéndice es, sin embargo, suprimido en las ediciones posteriores (de hecho, a partir del segundo, quiero aprender de los comentarios de abajo).
Ahora, un número de personas han dicho que el apéndice es una de las cosas más interesantes sobre el libro. Estoy de acuerdo. Yo también recuerdo haber sido muy emocionado por que cuando llegué por primera vez en el libro un largo tiempo atrás!
Así que: ¿alguien ha oído hablar del folklore popular de la historia acerca de por qué Mendelson suprimió el apéndice? Nunca he oído que se ha sugerido que hay un problema con la consistencia de la prueba.
El contexto, si usted está interesado: estoy escribiendo una encuesta a algunos de los Grandes Libros sobre Lógica Matemática que se convertirán en parte de mi autoaprendizaje-la Lógica de la Guía, y tengo que Mendelson. Usted puede obtener la versión actual de la Guía por la que va a http://www.logicmatters.net/students/tyl/
