Récursivité - Baladiffusion - “La Voix du Savoir”

(4 votes, moyenne: 3.75 sur 5)

 Loading ...

La récursivité est le fait de décrire un processus dépendant de données, en faisant appel à ce même processus sur d’autres données plus «simples».

Les algorithmes récursifs constituent un exemple typique de processus récursifs.

Sommaire
* 1 Récursivité en informatique et en logique
* 2 Récursivité en linguistique
* 3 Récursivité dans les arts
* 4 Récursivité en biologie
* 5 Récursivité, imprédicativité et auto-référence

Récursivité en informatique et en logique

En informatique et en logique, une fonction ou plus généralement un algorithme qui contient un appel à elle-même est dite récursive. Deux fonctions peuvent s’appeler l’une l’autre, on parle alors de récursivité croisée.

Récursivité en linguistique

La grammaire du sanskrit de Pānini utilise déjà la récursivité au Ve siècle av. J.-C. tandis que les constructions des langues sont essentiellement récursives, comme, par exemple, la construction des groupes nominaux: la clé de la serrure de la porte d’entrée de la maison de la rue du bout du village.

Récursivité dans les arts

En art, le procédé récursif est appelé mise en abyme. L’artiste Maurits Cornelis Escher est connu pour ses œuvres inspirées de la récursivité. La publicité a fait aussi usage de la récursivité. Les plus célèbres publicités françaises de ce style sont celles de la vache qui rit et de l’étiquette de Dubonnet

Récursivité en biologie

La récursivité apparaît de façon presque récurrente en biologie dans les motifs de végétaux et les processus de développement notamment.

Récursivité, imprédicativité et auto-référence

Le fait de définir une concept à partir de lui-même a été appelé par les logiciens et les mathématiciens, l’imprédicativité (voir l’article anglais impredicative) et cela ne doit pas être confondu avec la récursivité, bien que cela s’y apparente. On parle aussi d’auto-référence. Il existe des théories logiques imprédicatives (comme le système F dû à Jean-Yves Girard), mais elles doivent être définies avec précautions si l’on veut préserver leur cohérence, car les paradoxes ne sont pas loin. Ainsi en théorie des ensembles, le paradoxe de Russell montre qu’il ne peut pas y avoir d’ensemble constitué des ensembles qui ne se contiennent pas eux-mêmes (popularisé comme le paradoxe du barbier, en effet « si le barbier est celui qui rase ceux qui ne se rasent pas eux-mêmes, qui rase le barbier? »). Toujours en théorie des ensembles, l’axiome de fondation proscrit les ensembles qui se contiennent eux-mêmes.

C’est pour jouer sur ces principes que des informaticiens facétieux ont défini des acronymes récursifs qui ne définissent rien puisqu’ils sont imprédicatifs et incohérents. De même est imprédicatif, l’aphorisme suivant: “Pour comprendre le principe de récursivité, il faut d’abord comprendre le principe de récursivité”. Dans la même veine, Orwell avait noté dans son roman 1984 que “la compréhension même du mot « double pensée » implique l’emploi de la double pensée”.

Extrait de l’article Récursivité de Wikipedia

 Récursivité: Lire maintenant | Lire en Popup | Télécharger

Publié par   Philippe Joannis le 14 décembre 2006