Idée reçue : L'informatique nomade, c'est la liberté !

Si vous créez vous-même une application pour votre iPhone, vous devrez, pour la charger sur votre propre téléphone, passer obligatoirement par le site web du fabricant, qui se réserve le droit de bannir votre application du système. Le seul moyen de passer outre est de « jailbreaker » l'appareil, c'est-à-dire contourner certaines protections mises en place par le fabricant.

[caption id="" align="aligncenter" width="320"] EULA, c'est l'acronyme de End user license agreement, ces conditions générales d'utilisation que vous « acceptez » souvent sans les lire... Illustration : James Provost, Flickr.[/caption]

Brider un ordinateur comme une mobylette ?

Cependant, les ordinateurs ne sont pas comme les mobylettes : on ne peut pas les brider aussi simplement qu'on installe un limiteur de vitesse (qui contrôle le débit d’essence). N'importe quel ordinateur est en effet une machine universelle, capable de simuler n'importe quel autre ordinateur, et d'exécuter n'importe quel algorithme (peut-être plus ou moins efficacement) : on dit qu'ils sont Turing-complets. En particulier, il est impossible de concevoir un ordinateur fondamentalement incapable d’exécuter autre chose que ce que le vendeur vous autorise à utiliser, puisque les ordinateurs sont intrinsèquement universels. Une machine, ordinateur ou smartphone, peut soit tout calculer, soit ne rien calculer du tout, mais il n'y a pas d’entre-deux. Difficile à croire ? Cette affirmation, que l'on appelle « la thèse de Church-Turing », est pourtant à la base de l'informatique théorique, comme expliqué ci-dessous.