Ce travail propose une interprétation nouvelle de l'effectivité qu'a l'informatique à transformer notre monde humain. Cette interprétation se passe des notions habituelles de calcul et d'information et se fonde plutôt sur l'idée que les investigations, par lesquelles nous résolvons nos problèmes, peuvent être récapitulées en des procédures qui expliquent comment éviter l'effort d'une seconde recherche. Lorsque ces procédures sont exprimées par des règles exactes, prédéfinies dans un système, et que celles-ci parcourent exhaustivement l'ensemble des conditions possibles du problème, alors elles sont systématiques et peuvent être programmées. Il est possible de construire une machine universelle (capable d'exécuter des procédures quelconques, du moment qu'elles sont décrites dans un système de règles, quel qu'il soit) dans des contrôles de transmission (système d'irrigation, mécanisme d'horlogerie, circuit électrique, etc.). Programmer, c'est insérer une telle machine dans une situation afin d'y résoudre un problème. La machine rend une règle effective dans la situation. Lorsque celle-ci est symbolique (une investigation en cours) la machine non seulement accélère la recherche, mais également lui donne accès à de nouvelles opérations, permet de vérifier le raisonnement, etc. Lorsque la situation est l'expérience elle-même, la programmation rend dynamiques nos systèmes de règles institutionnels et techniques (par exemple une administration ou une usine). Ces deux formes d'effectivité expliquent les bouleversements qu'occasionne l'informatique dans notre monde humain.