Déployeur universel

Le principal obstacle à la construction d’un déployeur universel est l’existence de machines qui bouclent indéfiniment et empêchent le déployeur de passer à la simulation des autres machines. Le schéma classique pour régler ce problème est le suivant[1] :

1. énumérer les triplets d’entiers ${\displaystyle (i,e,s)\in \mathbb {N} ^{3}}$ en utilisant la fonction de couplage de Cantor ;
2. par un codage, associer à ${\displaystyle i}$ une entrée ${\displaystyle I_{i}}$ ;
3. par un codage, associer à ${\displaystyle e}$ une machine ${\displaystyle M_{e}}$ ;
4. simuler ${\displaystyle M_{e}}$ sur l’entrée ${\displaystyle I_{i}}$ pendant ${\displaystyle s}$ étapes.

Sous la théorie du computationnalisme, qui postule que l’esprit humain est une machine à calculer complexe, il existe une étape dans l’exécution d’un déployeur universel durant laquelle le fonctionnement d’un cerveau humain est parfaitement simulé[3].

Par ailleurs, un déployeur universel gère toutes les histoires computationnelles^{[style à revoir]} possibles et rejoint la théorie des mondes multiples d'Everett.

• Portail de l'informatique théorique
• Portail des mathématiques
• Portail de la logique
• Portail de la physique