Histoire de la mécanisation des calculs au logiciel
Après nous avoir fait voyager « de l’algorithme à la notion de programme » ce qui nous a fait rencontrer « Monsieur Algorithme », de son vrai nom Abou-Jafar Al-Khuwārizmī, puis Ada Lovelace, le documentaire-fiction réalisé par l’INRIA nous invite maintenant à retracer l’histoire « de la mécanisation des calculs au logiciel ».
Dans ce nouvel épisode, Gérard Berry explique : « L’informatique s’incarne dans des machines. L’homme sait d’abord fabriquer des outils, c’est-à-dire des objets simples à utiliser. Puis, il a fabriqué des machines, c’est-à-dire des outils qui utilisent une force autre que la sienne et qui peuvent exécuter, de manière autonome, certaines opérations, même complexes et programmées, comme pour le métier à tisser Jacquard. Mais la machine mécanique ne sait pas se modifier elle-même. Au contraire, l’ordinateur, qui est une machine à information, sait modifier son propre programme et devient ainsi une machine véritablement universelle. Turing a montré que toutes les machines universelles connues sont équivalentes. Elles permettent toutes de maitriser l’intelligence mécanique… ».
Alors que l’informatique et les sciences numériques devraient arriver au