Les hauts ferrés
Par Arthur Milchior le vendredi 20 août 2010, 13:50 - Mathématiques - Lien permanent
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 !