Les hauts ferrés

Il est bien connu que en théorie des modèles finis, l'existence d'un ordre total (linear order) donne une puissance semblable aux modèles de calculs réalistes. Il suffit de rajouter cet ordres aux structures, ou de pouvoir rajouter une fonction de choix, pour obtenir cette puissance. Sans ce pouvoir on est très limité !

Si je devais faire une présentation sur ce sujet un jour, je pense que cette citation de Léo Ferré s'impose:

Le désordre, c'est l'ordre moins le pouvoir !

Ajouter un commentaire

Le code HTML est affiché comme du texte et les adresses web sont automatiquement transformées.

La discussion continue ailleurs

URL de rétrolien : http://www.milchior.fr/blog/index.php?trackback/329

Fil des commentaires de ce billet