Acabo de completar un curso sobre computabilidad y lógica que fue un curso interesante. El profesor recomienda algunos libros en sus diapositivas, que incluyen "Gödel, Escher, Bach". Puedo ver que el libro es bastante famoso y se ve muy interesante. Pero tengo algunas preguntas que hacer sobre su contenido.
¿El contenido sigue siendo válido hoy? Supongo que la mayoría de las cosas teóricas no cambian de la noche a la mañana, pero ¿hay algún punto importante que ya no tenga hoy que deba tener en cuenta?
Asumo que en realidad HEMOS progresado en los últimos 30 años más o menos. ¿Puede alguno de ustedes recomendar un libro sobre el tema que incluya este progreso (lógica, IA, computabilidad)?
Otra pregunta: ¿Tengo que saber sobre Escher y Bach?