Récursivité
Période historique : XXe siècle
Résoudre un problème en s'invoquant soi-même sur des instances plus petites jusqu'à un cas de base terminal.
Contenu & Formulation mathématique
Genèse & Portée historique
Principe fondamental de conception algorithmique et de définition mathématique où une fonction ou procédure fait appel à elle-même dans son propre corps. Liée par essence au raisonnement par récurrence, elle permet d'exprimer des solutions d'une grande élégance conceptuelle.
Le logicien Stephen Kleene formalisa la théorie des fonctions récursives dans les années 1930, démontrant avec Turing et Church qu'elle constitue l'un des piliers équivalents de la calculabilité universelle.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Récursivité
Principe : Décomposer un problème en sous-problèmes identiques de taille strictement décroissante jusqu'à atteindre un cas trivial d'arrêt.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.