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...
Lire la suite
14,50 €
Expédié sous 3 à 6 jours
Livré chez vous entre le 23 avril et le 26 avril
En magasin
Résumé
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.
Sommaire
QU'EST-CE QUE LE CALCUL ?
Deux vues classiques
Des questions philosophiques
Comment calcule un ordinateur ?
Les enjeux du calcul
QUE PEUT-ON CALCULER ? Gödel : une révolution dans la logique