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 Godel. Il montre comment calculent les ordinateurs et il nous entraîne jusqu'aux promesses des machines à venir.
|
|
Titre
Le Calcul confié aux Machines
Format
128p. 14,5x19cm
Prix
7,5 €
Chez le même éditeur
|
Mon panier
