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 Godel. Il montre comment calculent les ordinateurs et il nous entraîne jusqu'aux promesses des machines à venir.

L'esprit des sciences

On peut souhaiter explorer les sciences autrement que par les traités ou par les cours. Cette collection entend répondre à un tel désir de culture scientifique. Ses ouvrages, d'accès aisé, permettent à un large public de découvrir, de comprendre et d'apprécier.

Georges Barthélemy