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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Ce road-movie intimiste est l'une des BD à ne pas manquer en cette rentrée
Découvrez 5 romans en format poche et tentez de les gagner...
Lovecraft comme vous ne l'avez jamais lu, à travers une sélection de lettres qui rend son univers encore plus complexe et fascinant
Des conseils de lecture qui sentent bon la rentrée !
