Penser, modéliser et maîtriser le calcul informatique

La révolution numérique a pour racine le calcul informatique, c'est-à-dire le calcul automatique sur des informations encodées numériquement. Je décrirai ici les différents principes du calcul automatique et leur réalisation dans des modèles de calcul, objets à la fois intuitifs et mathématiques au centre de la pensée informatique. Ces modèles permettent de mieux maîtriser la transition difficile entre notre pensée, créatrice mais lente et pas toujours rigoureuse, et les circuits électroniques, hyper-rapides et exacts mais totalement serviles.

Ce livre, initialement publié sous le même titre en 2009 en partenariat avec Fayard, est désormais commercialisé par le Collège de France sous un nouvel ISBN.

Polytechnicien, ingénieur général des mines en détachement à l’Inria (Institut de recherches en informatique et automatique), membre de l’Académie des sciences et de l’Académie des technologies, Gérard Berry a donné en 2007-2008 une première année d’enseignement au Collège de France dans la chaire Innovation technologique Liliane Bettencourt (Pourquoi et comment le monde devient numérique, 2008). Il revient au Collège de France pour une nouvelle année d’enseignement (2009-2010) comme premier titulaire de la nouvelle chaire Informatique et sciences numériques créée en partenariat avec l’Inria.

ISBN

978-2-7226-0786-6

Number in collection

208

Publication date

12 November 2024

Language

français

Number of pages

Price

12.00 €

Distribution

FMSH-Diffusion

Format

Édition imprimée

Order the book

La révolution numérique actuelle a pour racine le calcul informatique, c'est-à-dire le calcul automatique sur des informations encodées numériquement. Fondée sur l'information et non sur la matière et l'énergie, elle est plus proche des anciennes révolutions de l'écriture et de l'imprimerie que de la récente révolution industrielle. Si ces trois révolutions antérieures gardaient un côté matériel, visible et palpable, qui les rendaient compréhensibles de tout un chacun, cet aspect concret et rassurant a disparu dans le nouveau monde numérique. Qui se rend compte qu'imprimer un texte, regarder la télévision, téléphoner ou piloter un avion se font par l'exécution ordonnée de milliards de calculs élémentaires, les mêmes partout ? Qui sait que maîtriser l'informatique est fondamentalement difficile, et demande une validation dans tous les détails de la correction des calculs réellement effectués par rapport à ce qu'a pensé leur concepteur ?