Ho appena completato un corso sulla computabilità e la logica che è stato un corso interessante. Il docente raccomanda alcuni libri sulle sue diapositive, tra cui "Gödel, Escher, Bach". Vedo che il libro è abbastanza famoso e sembra molto interessante. Ma ho alcune domande da porre riguardo al suo contenuto.
Il contenuto è ancora valido oggi? Immagino che la maggior parte delle cose teoriche non cambi durante la notte, ma ci sono alcuni punti importanti che non valgono più oggi di cui dovrei essere a conoscenza?
Presumo che in realtà abbiamo fatto alcuni progressi negli ultimi 30 anni circa. Qualcuno di voi può raccomandare un libro sull'argomento che includa questo progresso (logica, intelligenza artificiale, calcolabilità)?
Un'altra domanda: devo sapere di Escher e Bach?