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

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 ?