Le statut et l’importance des services logiciels [1] : les grandes idées lancées par Turing
Dans la théorie publiée par Turing en 1936, et contenant notamment la découverte de l’ordinateur, le logiciel est initialement conçu comme une description de machine permettant de substituer à la machine concrète un couple [machine générique, logiciel]. Il est donc un moyen, presque un pis-aller, à la place de la machine concrète. Il est en outre un artefact mathématique permettant la démonstration des résultats fondamentaux sur la puissance et les limites du calcul, en particulier sur l’indécidabilité de l’arrêt de la machine de Turing[1]. Lire la suite »