Moore's Law and The Future of [Technology] Economy

Why and how innovation should become mainstream economic impetus

Tag: Logic

14 février 2013

Le statut et l’importance des services logiciels [2] : le statut ontologique du logiciel

Pour Turing, face à un problème immensément complexe comme celui de construire une machine intelligente, tout est question de logiciel – c’est un premier pas vers le fait de donner un sens précis au terme d’intelligence[1]. On sait bien d’ailleurs que le logiciel qui permettra (un jour, nous le supposons possible) de répondre à la question sera d’une complexité bien supérieure à celle de la machine matérielle permettant de l’exécuter. Lire la suite »

Poster un commentaire
14 février 2013

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 »

Poster un commentaire
14 février 2013

Le second versant : les services

Services : idées et imagination

Attaquons maintenant la partie probablement la plus intéressante du second versant  pour un non spécialiste des technologies de l’information: celui des services. Autant la première partie, avec ses variations sur le thème des infrastructures, répétant et déclinant en le complexifiant le thème de la machine universelle originelle, peut passionner l’homme avide de connaissance… ou le geek, autant la seconde partie est sans limite, destinée à l’être humain, et part à son exploration. Lire la suite »

Poster un commentaire