Le calcul confié aux machines

L'INVENTION des calculateurs électroniques s'est accompagnée d'une réflexion profonde sur la nature du calcul et sur l'efficacité des méthodes. Une science toute nouvelle en est sortie, qui va jusqu'à déterminer les limites intrinsèques à l'acte de calculer. Guillaume Watier nous initie à ce champ de recherches où brillent les noms de Turing, de Church et de Gödel. Il montre comment calculent les ordinateurs et il nous entraîne jusqu'aux promesses des machines à venir.