Juste que "Gödel, Escher, Bach" n'est pas du tout un livre d'algorithmique... C'est un superbe ouvrage qui parle de la récursivité via la musique de Bach, les dessins d'Escher, et le brillant théorème de Gödel (que j'ai pu comprendre grâce à ce livre).
Et pour ce faire, il couvre un tas de domaines éclectiques comme la complexité des colonies de fourmis...