Una pregunta muy suave, pero espero que no fuera de lugar.
En la primera edición del clásico de Elliott Mendelson Introducción a la lógica matemática (1964) hay un apéndice, que da una versión de la variación de Schütte (1951) sobre la prueba de Gentzen de la consistencia de PA. Se trata de un material intrigante, presentado de forma nítida y bastante accesible. Sin embargo, el apéndice se suprime en ediciones posteriores (de hecho, a partir de la segunda), aunque se da mucho espacio a otros materiales y a un nuevo apéndice.
Varias personas han dicho que el apéndice es una de las cosas más interesantes del libro. Estoy de acuerdo. A mí también me entusiasmó cuando lo encontré por primera vez hace mucho tiempo.
Entonces: ¿alguien ha oído una historia folclórica sobre por qué Mendelson suprimió el apéndice? Nunca he oído sugerir que haya un problema con la prueba de coherencia tal como se da.
Contexto, por si te interesa: pregunté esto hace un par de semanas en math.SE (sin obtener respuesta) cuando empezaba a escribir un estudio de algunos de los Grandes Libros de Lógica Matemática que formarán parte de mi Guía para Enseñar Lógica por Ti Mismo (sobre todo para filósofos, aunque a otros podría interesarles), y había llegado a Mendelson. Puede obtener la versión actual de la Guía en http://www.logicmatters.net/students/tyl/
