Je viens de terminer un cours sur la calculabilité et la logique qui était un cours intéressant. Le conférencier recommande quelques livres sur ses diapositives, dont "Gödel, Escher, Bach". Je peux voir que le livre est assez célèbre et semble très intéressant. Mais j'ai quelques questions à poser concernant son contenu.
Le contenu est-il toujours valable aujourd'hui? Je suppose que la plupart des choses théoriques ne changent pas pendant la nuit, mais y a-t-il des points majeurs qui ne tiennent plus aujourd'hui que je devrais être au courant?
Je suppose que nous avons en fait réalisé des progrès au cours des 30 dernières années environ. L'un de vous peut-il recommander un livre sur le sujet qui inclue ces progrès (logique, IA, calculabilité)?
Une autre question: dois-je connaître Escher et Bach?