Acabei de concluir um curso sobre computabilidade e lógica, que foi um curso interessante. O palestrante recomenda alguns livros em seus slides, incluindo "Gödel, Escher, Bach". Eu posso ver que o livro é bastante famoso e parece muito interessante. Mas tenho algumas perguntas a fazer sobre seu conteúdo.
O conteúdo ainda é válido hoje? Eu acho que a maioria das coisas teóricas não muda durante a noite, mas existem pontos importantes que não valem mais hoje que eu deveria estar ciente?
Suponho que realmente fizemos alguns progressos nos últimos 30 anos. Algum de vocês pode recomendar um livro sobre o assunto que inclua esse progresso (lógica, IA, computabilidade)?
Outra pergunta: eu tenho que saber sobre Escher e Bach?